Limit Search Results
Author
SpringerLink (Online service)
(2011)
Project Muse.
(22)
Voronkov, Andrei. editor.
(18)
Wiley InterScience (Online service)
(13)
Gabbay, Dov M., 1945-
(12)
Language
Publication Date
-
Subject
Computer science.
(1243)
Logic design.
(1139)
Software engineering.
(874)
Artificial intelligence.
(605)
Computer Communication Networks.
(294)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
2536 Results Found Subscribe to search results
0000DEFAULT
Print
2533. 
Cover image for Semi-custom IC Design and VLSI
Semi-custom IC Design and VLSI
Author 
Hicks, P. J., ed.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1049/PBCM001E
Format: 
Availability 
Online Library~1
Available:
Copies:
2534. 
Cover image for Intuitionism and proof theory Proceedings of the summer conference ; Aug 1968
Intuitionism and proof theory Proceedings of the summer conference ; Aug 1968
Author 
Conference on Intuitionism and Proof Theory (1968 : State University of New York at Buffalo) Kino, A. Myhill, John, 1923-1987. Vesley, Richard Eugene, 1932-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780720422573
Format: 
Availability 
Online Library~1
Available:
Copies:
2535. 
Cover image for Past, present and future
Past, present and future
Author 
Prior, A. N. (Arthur N.), 1914-1969.
Preferred Shelf Number 
ONLINE
Electronic Access 
Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198243113.001.0001
Format: 
Availability 
Online Library~1
Available:
Copies:
2536. 
Cover image for A theory of sets
A theory of sets
Author 
Morse, Anthony P. (Anthony Perry)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123745675
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action