Limit Search Results
Author
SpringerLink (Online service)
(195)
Göbel, Holger. author.
(6)
Chu, Pong P., 1959-
(5)
Vassiliadis, Stamatis. editor.
(5)
Ashenden, Peter J.
(4)
Language
Publication Date
-
Subject
Computer hardware.
(179)
Computer science.
(92)
Engineering.
(63)
Software engineering.
(53)
Electronics.
(46)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
299 Results Found Subscribe to search results
000000000000DEFAULT
Print
145. 
Cover image for Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
Author 
Madhusudan, P. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31424-7
Format: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Modeling Time in Computing
Modeling Time in Computing
Author 
Furia, Carlo A. author. Mandrioli, Dino. author. Morzenti, Angelo. author. Rossi, Matteo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32332-4
Format: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for VLSI-SoC: Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers
VLSI-SoC: Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers
Author 
Mir, Salvador. editor. Tsui, Chi-Ying. editor. Reis, Ricardo. editor. Choy, Oliver C. S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32770-4
Format: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Performance Metrics for Haptic Interfaces
Performance Metrics for Haptic Interfaces
Author 
Samur, Evren. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4225-6
Format: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for SystemVerilog for Verification A Guide to Learning the Testbench Language Features
SystemVerilog for Verification A Guide to Learning the Testbench Language Features
Author 
Spear, Chris. author. Tumbush, Greg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0715-7
Format: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for VHDL for logic synthesis
VHDL for logic synthesis
Author 
Rushton, Andrew.
Preferred Shelf Number 
ONLINE
Electronic Access 
Books24x7 http://www.books24x7.com/marc.asp?bookid=41715
John Wiley http://dx.doi.org/10.1002/9781119995852
http://proquest.safaribooksonline.com/?fpi=9780470688472
Cover image http://catalogimages.wiley.com/images/db/jimages/9780470688472.jpg
http://proquest.safaribooksonline.com/9780470688472
Format: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for Performance tuning of scientific applications
Performance tuning of scientific applications
Author 
Bailey, David H. Lucas, Robert F. Williams, Samuel Watkins.
Preferred Shelf Number 
Q183.9 .P47 2011
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Virtual reality : concepts and technologies
Virtual reality : concepts and technologies
Author 
Fuchs, Philippe. Moreau, Guillaume. Guitton, Pascal.
Preferred Shelf Number 
QA76.9 .C65 V5724 2011
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for Einführung in die Halbleiter-Schaltungstechnik
Einführung in die Halbleiter-Schaltungstechnik
Author 
Göbel, Holger. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20887-4
Format: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for Übungsaufgaben zur Halbleiter-Schaltungstechnik
Übungsaufgaben zur Halbleiter-Schaltungstechnik
Author 
Göbel, Holger. author. Siemund, Henning. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-21011-2
Format: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Verilog digital system design RT level synthesis, testbench, and verification
Verilog digital system design RT level synthesis, testbench, and verification
Author 
Navabi, Zainalabedin.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for VHDL modular design and synthesis of cores and systems
VHDL modular design and synthesis of cores and systems
Author 
Navabi, Zainalabedin.
Preferred Shelf Number 
ONLINE
Electronic Access 
Subscription required
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action