Limit Search Results
Author
SpringerLink (Online service)
(114)
Jacko, Julie A. editor.
(4)
Liu, Zhiming. editor.
(3)
Stephanidis, Constantine. editor.
(3)
Woodcock, Jim. editor.
(3)
Language
English
(118)
Subject
Logic design.
(117)
Computer science.
(114)
Software engineering.
(80)
Computer Communication Networks.
(44)
Artificial intelligence.
(25)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
119 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for The VLSI handbook
The VLSI handbook
Author 
Chen, Wai-Kai, 1936-
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:
2. 
Cover image for Wideband Amplifier Design
Wideband Amplifier Design
Author 
Hollister, A L
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1049/SBCS010E
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for High-speed VLSI interconnections
High-speed VLSI interconnections
Author 
Goel, Ashok K., 1953-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5201516
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Principles of modern digital design
Principles of modern digital design
Author 
Lala, Parag K., 1948-
Preferred Shelf Number 
ONLINE
Electronic Access 
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=315213
John Wiley http://dx.doi.org/10.1002/0470125217
MyiLibrary, Table of contents http://www.myilibrary.com?id=100216&ref=toc
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0741/2006032483-b.html
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Digital design and computer architecture
Digital design and computer architecture
Author 
Harris, David Money. Harris, Sarah L.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780123704979
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Handbook of Philosophical Logic
Handbook of Philosophical Logic
Author 
Gabbay, D.M. Guenthner, F. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6324-4
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Finite Model Theory and Its Applications
Finite Model Theory and Its Applications
Author 
Grädel, Erich. author. Kolaitis, Phokion G. author. Libkin, Leonid. author. Marx, Maarten. author. Spencer, Joel. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-68804-8
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino
Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino
Author 
Beckert, Bernhard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69061-0
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Grid Computing Experiment Management, Tool Integration, and Scientific Workflows
Grid Computing Experiment Management, Tool Integration, and Scientific Workflows
Author 
Prodan, Radu. author. Fahringer, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69262-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for High Performance Embedded Architectures and Compilers Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007. Proceedings
High Performance Embedded Architectures and Compilers Second International Conference, HiPEAC 2007, Ghent, Belgium, January 28-30, 2007. Proceedings
Author 
Bosschere, Koen. editor. Kaeli, David. editor. Stenström, Per. editor. Whalley, David. editor. Ungerer, Theo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69338-3
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers
Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers
Author 
Doherty, Gavin. editor. Blandford, Ann. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69554-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings
Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings
Author 
Hanus, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-69611-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action