Limit Search Results
Author
SpringerLink (Online service)
(137)
Barthe, Gilles. editor.
(2)
Boer, Frank S. editor.
(2)
Bowen, Jonathan P. editor.
(2)
Carnielli, Walter. author.
(2)
Language
Subject
Computer science.
(112)
Logic design.
(96)
Software engineering.
(68)
Artificial intelligence.
(40)
Computer Communication Networks.
(31)
Shelf Location
Library
Switch to list view
Switch to thumbnail view
150 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Mathematical logic
Mathematical logic
Author 
Tourlakis, George J.
Preferred Shelf Number 
ONLINE
Electronic Access 
John Wiley http://dx.doi.org/10.1002/9781118032435
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Logic in Reality
Logic in Reality
Author 
Brenner, Joseph E. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8375-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Logic for Computer Scientists
Logic for Computer Scientists
Author 
Schöning, Uwe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4763-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Sets, Logic and Maths for Computing
Sets, Logic and Maths for Computing
Author 
Makinson, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-845-6
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Elementary Logic For Software Development
Elementary Logic For Software Development
Author 
Lover, Robert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84800-082-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Temporal Logic and State Systems
Temporal Logic and State Systems
Author 
Kröger, Fred. author. Merz, Stephan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68635-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for A Course on Mathematical Logic
A Course on Mathematical Logic
Author 
Srivastava, S. M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-76277-7
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Extensionalism The Revolution in Logic
Extensionalism The Revolution in Logic
Author 
Bar-Am, Nimrod. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8168-2
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Logic Pro 8 audio and music production
Logic Pro 8 audio and music production
Author 
Cousins, Mark. Hepworth-Sawyer, Russ.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780240520476
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Mechatronic system control, logic, and data acquisition
Mechatronic system control, logic, and data acquisition
Author 
Bishop, Robert H., 1957-
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Type-2 Fuzzy Logic: Theory and Applications
Type-2 Fuzzy Logic: Theory and Applications
Author 
Castillo, Oscar. author. Melin, Patricia. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-76284-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Logic Synthesis for Compositional Microprogram Control Units
Logic Synthesis for Compositional Microprogram Control Units
Author 
Barkalov, Alexander. editor. Titarenko, Larysa. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69285-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets