Limit Search Results
Author
SpringerLink (Online service)
(139)
Wiley InterScience (Online service)
(3)
Baldoni, Matteo. editor.
(2)
Bjørner, Dines. author.
(2)
Carnap, Rudolf, 1891-1970.
(2)
Language
Subject
Computer science.
(112)
Logic design.
(98)
Software engineering.
(66)
Artificial intelligence.
(43)
Computer Communication Networks.
(31)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
207 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Postmodernism, or, The cultural logic of late capitalism
Postmodernism, or, The cultural logic of late capitalism
Author 
Jameson, Fredric.
Preferred Shelf Number 
PN 98.P67 J3 1991
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
26. 
Cover image for How to Show Things with Words : A Study on Logic, Language and Literature
How to Show Things with Words : A Study on Logic, Language and Literature
Author 
Linhares-Dias, Rui, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1515/9783110899627
https://www.degruyter.com/isbn/9783110899627
Cover https://www.degruyter.com/document/cover/isbn/9783110899627/original
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Why not kill them all? : the logic and prevention of mass political murder
Why not kill them all? : the logic and prevention of mass political murder
Author 
Chirot, Daniel. McCauley, Clark R.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt7pf8w
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers
Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers
Author 
Hnich, Brahim. editor. Carlsson, Mats. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11754602
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Fuzzy Logic and Applications 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers
Fuzzy Logic and Applications 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers
Author 
Bloch, Isabelle. editor. Petrosino, Alfredo. editor. Tettamanzi, Andrea G. B. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11676935
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
Author 
Hill, Patricia M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11680093
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Fuzzy Logic and Applications 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003. Revised Selected Papers
Fuzzy Logic and Applications 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003. Revised Selected Papers
Author 
Gesú, Vito. editor. Masulli, Francesco. editor. Petrosino, Alfredo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/10983652
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings
Computer Science Logic 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings
Author 
Ésik, Zoltán. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11874683
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Mathematical Problems from Applied Logic I Logics for the XXIst Century
Mathematical Problems from Applied Logic I Logics for the XXIst Century
Author 
Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-31072-X
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach
Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach
Author 
Penczek, Wojciech. author. Pólrola, Agata. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-32870-4
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic
Author 
Bollig, Benedikt. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-32923-4
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings
Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006. Proceedings
Author 
Hagiya, Masami. editor. Wadler, Philip. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11737414
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets