Limit Search Results
Author
SpringerLink (Online service)
(203)
Project Muse.
(5)
Maciaszek, Leszek A. editor.
(3)
Aalst, Wil M. P. editor.
(2)
Baldoni, Matteo. editor.
(2)
Language
Subject
Computer science.
(164)
Logic design.
(113)
Logics and Meanings of Programs.
(104)
Mathematical Logic and Formal Languages.
(101)
Software engineering.
(89)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
255 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Home is where the school is the logic of homeschooling and the emotional labor of mothering
Home is where the school is the logic of homeschooling and the emotional labor of mothering
Author 
Lois, Jennifer. Project Muse.
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text available:
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for The World-Time Parallel Tense and Modality in Logic and Metaphysics
The World-Time Parallel Tense and Modality in Logic and Metaphysics
Author 
Rini, A. A.. Cresswell, M. J..
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for The outer limits of reason what science, mathematics, and logic cannot tell us
The outer limits of reason what science, mathematics, and logic cannot tell us
Author 
Yanofsky, Noson S., 1967- Project Muse.
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text available:
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for After Gödel : Platonism and rationalism in mathematics and logic
After Gödel : Platonism and rationalism in mathematics and logic
Author 
Tieszen, Richard L., author.
Preferred Shelf Number 
QA9 T54 2013
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
29. 
Cover image for Astrolinguistics Design of a Linguistic System for Interstellar Communication Based on Logic
Astrolinguistics Design of a Linguistic System for Interstellar Communication Based on Logic
Author 
Ollongren, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331780.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5468-7
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Selected Advances in Nanoelectronic Devices Logic, Memory and RF
Selected Advances in Nanoelectronic Devices Logic, Memory and RF
Author 
Joodaki, Mojtaba. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333427.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31350-9
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Fundamentals of the Fuzzy Logic-Based Generalized Theory of Decisions
Fundamentals of the Fuzzy Logic-Based Generalized Theory of Decisions
Author 
Aliev, Rafik Aziz. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333898.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34895-2
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
Author 
McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335196.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-45221-5
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Early Software Reliability Prediction A Fuzzy Logic Approach
Early Software Reliability Prediction A Fuzzy Logic Approach
Author 
Pandey, Ajeet Kumar. author. Goyal, Neeraj Kumar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335512.1)
Electronic Access 
http://dx.doi.org/10.1007/978-81-322-1176-1
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Design, Analysis and Test of Logic Circuits Under Uncertainty
Design, Analysis and Test of Logic Circuits Under Uncertainty
Author 
Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335669.1)
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9644-9
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Architecture and Design of Molecule Logic Gates and Atom Circuits Proceedings of the 2nd AtMol European Workshop
Architecture and Design of Molecule Logic Gates and Atom Circuits Proceedings of the 2nd AtMol European Workshop
Author 
Lorente, Nicolas. editor. Joachim, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333670.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33137-4
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Puzzles in Logic, Languages and Computation The Green Book
Puzzles in Logic, Languages and Computation The Green Book
Author 
Radev, Dragomir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333840.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34372-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action