Limit Search Results
Author
SpringerLink (Online service)
(128)
Voronkov, Andrei. editor.
(11)
Fages, François. editor.
(5)
Rossi, Francesca. editor.
(5)
Hanus, Michael. editor.
(3)
Language
English
(178)
Publication Date
-
Subject
Artificial intelligence.
(62)
Computer science.
(56)
Logic design.
(37)
Software engineering.
(33)
Computer logic.
(23)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
178 Results Found Subscribe to search results
0000000000DEFAULT
Print
169. 
Cover image for Introduction to mathematics of satisfiability
Introduction to mathematics of satisfiability
Author 
Marek, V. W. (V. Wiktor), 1943, author.
Preferred Shelf Number 
QA9.3 .M37 2009
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Computer organization, design, and architecture
Computer organization, design, and architecture
Author 
Shiva, Sajjan G., author. Shiva, Sajjan G. Computer design and architecture.
Preferred Shelf Number 
TK7885 .S525 2008
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Microcontroller programming : the microchip PIC
Microcontroller programming : the microchip PIC
Author 
Sanchez, Julio, 1938-, author. Canton, Maria P.
Preferred Shelf Number 
TJ223 .P76 S36 2007
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Decision diagram techniques for micro- and nanoelectronic design handbook
Decision diagram techniques for micro- and nanoelectronic design handbook
Author 
Yanushkevich, Svetlana N.
Preferred Shelf Number 
T57.95 .I549 2006
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Computers, Software Engineering, and Digital Devices
Computers, Software Engineering, and Digital Devices
Author 
Dorf, Richard C., author. Taylor and Francis.
Preferred Shelf Number 
TK7885
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Arithmetic and logic in computer systems
Arithmetic and logic in computer systems
Author 
Lu, Mi.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click for information
Full text available from Wiley InterScience
Authentication may be required
Available by subscription from Safari Books Online
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=226429
Format: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Computer science handbook
Computer science handbook
Author 
Tucker, Allen B.
Preferred Shelf Number 
QA76 .C54755 2004
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Instrument engineers' handbook. Process software and digital networks
Instrument engineers' handbook. Process software and digital networks
Author 
Liptak, Bela G. Liptak, Bela G. Instrument engineers' handbook. Process measurement and analysis. Liptak, Bela G. Instrument engineers' handbook. Process control.
Preferred Shelf Number 
TS156.8 .I56 2002
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for Artificial intelligence and soft computing : behavioral and cognitive modeling of the human brain
Artificial intelligence and soft computing : behavioral and cognitive modeling of the human brain
Author 
Konar, Amit, author.
Preferred Shelf Number 
QA76.9 .S63 K59 2000
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for Air logic control for automated systems
Air logic control for automated systems
Author 
Wojtecki, Rudy.
Preferred Shelf Number 
TJ219 .W64 1999
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781420050110
Taylor & Francis https://www.taylorfrancis.com/books/9780367802394
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action