Limit Search Results
Author
Bonacina, Maria Paola. editor.
(2)
Legay, Axel. editor.
(2)
Rudolph, Sebastian. editor.
(2)
Son, Tran Cao. editor.
(2)
Subrahmanian, V.S. author.
(2)
Publication Date
-
2013
(100)
Subject
Computer science.
(100)
Logic design.
(55)
Logics and Meanings of Programs.
(55)
Artificial Intelligence (incl. Robotics).
(48)
Artificial intelligence.
(48)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
100 Results Found Subscribe to search results
000000000000DEFAULT
Print
85. 
Cover image for Computational Analysis of Terrorist Groups: Lashkar-e-Taiba Lashkar-e-Taiba
Computational Analysis of Terrorist Groups: Lashkar-e-Taiba Lashkar-e-Taiba
Author 
Subrahmanian, V.S. author. Mannes, Aaron. author. Sliva, Amy. author. Shakarian, Jana. author. Dickerson, John P. author.
Preferred Shelf Number 
ONLINE(331582.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4769-6
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for Reactive Kripke Semantics
Reactive Kripke Semantics
Author 
Gabbay, Dov M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335100.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-41389-6
Format: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts
Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts
Author 
O’Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331002.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4534-9
Format: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Using Event-B for Critical Device Software Systems
Using Event-B for Critical Device Software Systems
Author 
Singh, Neeraj Kumar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331181.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-5260-6
Format: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for A Course on Mathematical Logic
A Course on Mathematical Logic
Author 
Srivastava, Shashi Mohan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331853.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5746-6
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik
Ernst Zermelo - Collected Works/Gesammelte Werke II Volume II/Band II - Calculus of Variations, Applied Mathematics, and Physics/Variationsrechnung, Angewandte Mathematik und Physik
Author 
Zermelo, Ernst. author. Ebbinghaus, Heinz-Dieter. editor. Kanamori, Akihiro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333036.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70856-8
Format: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Industrial Deployment of System Engineering Methods
Industrial Deployment of System Engineering Methods
Author 
Romanovsky, Alexander. editor. Thomas, Martyn. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333675.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-33170-1
Format: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for Cylindric-like Algebras and Algebraic Logic
Cylindric-like Algebras and Algebraic Logic
Author 
Andréka, Hajnal. editor. Ferenczi, Miklós. editor. Németi, István. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(333922.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35025-2
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for On Fuzziness A Homage to Lotfi A. Zadeh – Volume 1
On Fuzziness A Homage to Lotfi A. Zadeh – Volume 1
Author 
Seising, Rudolf. editor. Trillas, Enric. editor. Moraga, Claudio. editor. Termini, Settimo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334017.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35641-4
Format: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers
System Modeling and Optimization 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011, Revised Selected Papers
Author 
Hömberg, Dietmar. editor. Tröltzsch, Fredi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334111.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36062-6
Format: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Erdős Centennial
Erdős Centennial
Author 
Lovász, László. editor. Ruzsa, Imre Z. editor. Sós, Vera T. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334774.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-39286-3
Format: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
Author 
Cellucci, Carlo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(336157.1)
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-6091-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action