Limit Search Results
Author
SpringerLink (Online service)
(163)
Project Muse.
(6)
Arbab, Farhad. editor.
(2)
Carnap, Rudolf, 1891-1970.
(2)
Cooper, S. Barry. editor.
(2)
Language
Subject
Computer science.
(133)
Logic design.
(128)
Software engineering.
(89)
Artificial intelligence.
(46)
Computer software.
(33)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
239 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Disruptive Logic Architectures and Technologies From Device to System Level
Disruptive Logic Architectures and Technologies From Device to System Level
Author 
Gaillardon, Pierre-Emmanuel. author. O’Connor, Ian. author. Clermidy, Fabien. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-3058-2
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings
Computational Logic in Multi-Agent Systems 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings
Author 
Fisher, Michael. editor. Torre, Leon. editor. Dastani, Mehdi. editor. Governatori, Guido. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32897-8
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Logic, Language, Information and Computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
Logic, Language, Information and Computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
Author 
Ong, Luke. editor. Queiroz, Ruy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32621-9
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Rewriting Logic and Its Applications 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
Rewriting Logic and Its Applications 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers
Author 
Durán, Franciso. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-34005-5
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Vector Control of Induction Machines Desensitisation and Optimisation Through Fuzzy Logic
Vector Control of Induction Machines Desensitisation and Optimisation Through Fuzzy Logic
Author 
Robyns, Benoît. author. Francois, Bruno. author. Degobert, Philippe. author. Hautier, Jean Paul. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-901-7
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for The Cold War and After : History, Theory, and the Logic of International Politics.
The Cold War and After : History, Theory, and the Logic of International Politics.
Author 
Trachtenberg, Marc.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.2307/j.ctt7rk9r
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for The Three Failures of Creationism : Logic, Rhetoric, and Science
The Three Failures of Creationism : Logic, Rhetoric, and Science
Author 
Fitch, Walter M., 1929-2011.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://www.jstor.org/stable/10.1525/j.ctt1pnn5n
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for New Directions in Logic, Language and Computation ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers
New Directions in Logic, Language and Computation ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers
Author 
Lassiter, Daniel. editor. Slavkovik, Marija. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31467-4
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Logic, Language and Meaning 18th Amsterdam Colloquium, Amsterdam , The Netherlands, December 19-21, 2011, Revised Selected Papers
Logic, Language and Meaning 18th Amsterdam Colloquium, Amsterdam , The Netherlands, December 19-21, 2011, Revised Selected Papers
Author 
Aloni, Maria. editor. Kimmelman, Vadim. editor. Roelofsen, Floris. editor. Sassoon, Galit W. editor. Schulz, Katrin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31482-7
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes
Author 
Bezhanishvili, Nick. editor. Goranko, Valentin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31485-8
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Inductive Logic Programming 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011, Revised Selected Papers
Inductive Logic Programming 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011, Revised Selected Papers
Author 
Muggleton, Stephen H. editor. Tamaddoni-Nezhad, Alireza. editor. Lisi, Francesca A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31951-8
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Biomolecular information processing from logic systems to smart sensors and actuators
Biomolecular information processing from logic systems to smart sensors and actuators
Author 
Katz, Evgeny.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9783527645480
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action