Limit Search Results
Author
SpringerLink (Online service)
(183)
Project Muse.
(4)
Gabbay, Dov M. editor.
(3)
Barthe, Gilles. editor.
(2)
Calude, Cristian S. editor.
(2)
Language
Subject
Computer science.
(139)
Logic design.
(114)
Software engineering.
(80)
Artificial intelligence.
(54)
Logic, Symbolic and mathematical.
(51)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
267 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Logic and Its Applications 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings
Logic and Its Applications 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings
Author 
Banerjee, Mohua. editor. Seth, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-18026-2
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Control, Computation and Information Systems First International Conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25-27, 2011. Proceedings
Control, Computation and Information Systems First International Conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25-27, 2011. Proceedings
Author 
Balasubramaniam, P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-19263-0
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
Author 
Alpuente, María. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20551-4
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Logic and Grammar Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday
Logic and Grammar Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday
Author 
Pogodalla, Sylvain. editor. Quatrini, Myriam. editor. Retoré, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21490-5
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Asynchronous Operators of Sequential Logic: Venjunction & Sequention Digital Circuit Analysis and Design
Asynchronous Operators of Sequential Logic: Venjunction & Sequention Digital Circuit Analysis and Design
Author 
Vasyukevich, Vadim. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21611-4
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Proofs and Algorithms An Introduction to Logic and Computability
Proofs and Algorithms An Introduction to Logic and Computability
Author 
Dowek, Gilles. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-121-9
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Mathematical Logic and Model Theory A Brief Introduction
Mathematical Logic and Model Theory A Brief Introduction
Author 
Prestel, Alexander. author. Delzell, Charles N. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2176-3
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for A Science of Operations Machines, Logic and the Invention of Programming
A Science of Operations Machines, Logic and the Invention of Programming
Author 
Priestley, Mark. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-555-0
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology
From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technology
Author 
Stanković, Radomir S. author. Astola, Jaakko. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-11682-7
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Bulanık Mantığa Dayalı kontrol Kartları ve Süreç Yeterliliği = Control Charts and Process Capability Based on Fuzzy Logic
Bulanık Mantığa Dayalı kontrol Kartları ve Süreç Yeterliliği = Control Charts and Process Capability Based on Fuzzy Logic
Author 
Açıl, Yasemin Burcu.
Preferred Shelf Number 
TEZ 10207 .A25 2011
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
59. 
Cover image for Computational Logic and Set Theory Applying Formalized Logic to Analysis
Computational Logic and Set Theory Applying Formalized Logic to Analysis
Author 
Schwartz, Jacob T. author. Cantone, Domenico. author. Omodeo, Eugenio G. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-808-9
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Logic with a probability semantics including solutions to some philosophical problems
Logic with a probability semantics including solutions to some philosophical problems
Author 
Hailperin, Theodore.
Preferred Shelf Number 
ONLINE
Electronic Access 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=383891
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action