Limit Search Results
Author
SpringerLink (Online service)
(422)
Drechsler, Rolf. author.
(5)
Göbel, Holger. author.
(5)
Henkel, Jörg. author.
(5)
Leupers, Rainer. author.
(5)
Language
Publication Date
-
Subject
Engineering.
(351)
Computer science.
(161)
Computer aided design.
(144)
Electronics.
(134)
Computer engineering.
(63)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
451 Results Found Subscribe to search results
0000000DEFAULT
Print
1. 
Cover image for Assertion-Based Design
Assertion-Based Design
Author 
Foster, Harry. author. Krolnik, Adam. author. Lacey, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b117047
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Direct Transistor-level Layout for Digital Blocks
Direct Transistor-level Layout for Digital Blocks
Author 
Gopalakrishnan, Prakash. author. Rutenbar, Rob A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b117054
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation
SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation
Author 
Patel, Hiren D. author. Shukla, Sandeep K. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b117249
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for System-level Test and Validation of Hardware/Software Systems
System-level Test and Validation of Hardware/Software Systems
Author 
Sonza Reorda, Matteo. editor. Peng, Zebo. editor. Violante, Massimo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-145-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Taxonomies for the Development and Verification of Digital Systems
Taxonomies for the Development and Verification of Digital Systems
Author 
Bailey, Brian. editor. Martin, Grant. editor. Anderson, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104217
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Control Theory
Control Theory
Author 
Leigh, J. R.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1049/PBCE064E
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Handbook of learning and approximate dynamic programming
Handbook of learning and approximate dynamic programming
Author 
Si, Jennie.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5273582
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action