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
49. 
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:
50. 
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:
51. 
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:
52. 
Cover image for Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
Author 
Lodaya, Kamal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334105.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36039-8
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Finite State Machine Logic Synthesis for Complex Programmable Logic Devices
Finite State Machine Logic Synthesis for Complex Programmable Logic Devices
Author 
Czerwinski, Robert. author. Kania, Dariusz. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334139.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36166-1
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
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:
55. 
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:
56. 
Cover image for Kurt Gödel Essays for his Centennial
Kurt Gödel Essays for his Centennial
Author 
Feferman, Solomon. Parsons, Charles. Simpson, Stephen G..
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Visual Reasoning with Diagrams
Visual Reasoning with Diagrams
Author 
Moktefi, Amirouche. editor. Shin, Sun-Joo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332637.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-0348-0600-8
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Towards a General Theory of Classifications
Towards a General Theory of Classifications
Author 
Parrochia, Daniel. author. Neuville, Pierre. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(332639.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-0348-0609-1
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for The Nature of Truth An updated approach to the meaning of truth ascriptions
The Nature of Truth An updated approach to the meaning of truth ascriptions
Author 
Frapolli, Maria Jose. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335763.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-4464-6
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for The Argument of Mathematics
The Argument of Mathematics
Author 
Aberdein, Andrew. editor. Dove, Ian J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336263.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-6534-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action