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
37. 
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:
38. 
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:
39. 
Cover image for Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers
Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers
Author 
Bezhanishvili, Guram. editor. Löbner, Sebastian. editor. Marra, Vincenzo. editor. Richter, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334337.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36976-6
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for The Aristotelian Tradition and the Rise of British Empiricism Logic and Epistemology in the British Isles (1570–1689)
The Aristotelian Tradition and the Rise of British Empiricism Logic and Epistemology in the British Isles (1570–1689)
Author 
Sgarbi, Marco. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335856.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-4951-1
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
Author 
Ewald, William. editor. Sieg, Wilfried. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336850.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69444-1
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
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:
43. 
Cover image for Making sense of Micronesia the logic of Pacific island culture
Making sense of Micronesia the logic of Pacific island culture
Author 
Hezel, Francis X. Project Muse.
Preferred Shelf Number 
ONLINE
Electronic Access 
Full text available:
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
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:
45. 
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:
46. 
Cover image for Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday
Author 
Coecke, Bob. editor. Ong, Luke. editor. Panangaden, Prakash. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334547.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38164-5
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Author 
Albert, Elvira. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334552.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38197-3
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers
Inductive Logic Programming 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers
Author 
Riguzzi, Fabrizio. editor. Železný, Filip. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334673.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38812-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action