Limit Search Results
Author
SpringerLink (Online service)
(811)
Steyaert, Michiel. author.
(11)
Steyaert, Michiel. editor.
(9)
Drechsler, Rolf. author.
(8)
Ismail, Mohammed. author.
(8)
Language
Publication Date
-
Subject
Engineering.
(654)
Electronics.
(338)
Computer science.
(161)
Computer aided design.
(144)
Circuits and Systems.
(104)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
942 Results Found Subscribe to search results
000000000000DEFAULT
Print
877. 
Cover image for Abstraction Refinement for Large Scale Model Checking
Abstraction Refinement for Large Scale Model Checking
Author 
Wang, Chao. author. Hachtel, Gary D. author. Somenzi, Fabio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-34600-7
Format: 
Availability 
Online Library~1
Available:
Copies:
878. 
Cover image for The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500™
The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500™
Author 
Silva, Francisco. author. McLaurin, Teresa. author. Waayers, Tom. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-34609-0
Format: 
Availability 
Online Library~1
Available:
Copies:
879. 
Cover image for High-Performance Energy-Efficient Microprocessor Design
High-Performance Energy-Efficient Microprocessor Design
Author 
Oklobdzija, Vojin G. editor. Krishnamurthy, Ram K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-34047-0
Format: 
Availability 
Online Library~1
Available:
Copies:
880. 
Cover image for A Practical Introduction to PSL
A Practical Introduction to PSL
Author 
Eisner, Cindy. author. Fisman, Dana. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-36123-9
Format: 
Availability 
Online Library~1
Available:
Copies:
881. 
Cover image for Hardware Verification with C++ A Practitioner’s Handbook
Hardware Verification with C++ A Practitioner’s Handbook
Author 
Mintz, Mike. author. Ekendahl, Robert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-36254-0
Format: 
Availability 
Online Library~1
Available:
Copies:
882. 
Cover image for SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling
SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling
Author 
Sutherland, Stuart. author. Davidmann, Simon. author. Flake, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-36495-1
Format: 
Availability 
Online Library~1
Available:
Copies:
883. 
Cover image for No More Muddling Through Mastering Complex Projects in Engineering and Management
No More Muddling Through Mastering Complex Projects in Engineering and Management
Author 
Züst, Rainer. author. Troxler, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5018-3
Format: 
Availability 
Online Library~1
Available:
Copies:
884. 
Cover image for Continuous-Time Signals
Continuous-Time Signals
Author 
Shmaliy, Yuriy. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-4818-0
Format: 
Availability 
Online Library~1
Available:
Copies:
885. 
Cover image for Design Automation Methods and Tools for Microfluidics-Based Biochips
Design Automation Methods and Tools for Microfluidics-Based Biochips
Author 
Chakrabarty, Krishnendu. editor. Zeng, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-5123-9
Format: 
Availability 
Online Library~1
Available:
Copies:
886. 
Cover image for Platform Based Design at the Electronic System Level Industry Perspectives and Experiences
Platform Based Design at the Electronic System Level Industry Perspectives and Experiences
Author 
Burton, Mark. author. Morawiec, Adam. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-5138-7
Format: 
Availability 
Online Library~1
Available:
Copies:
887. 
Cover image for Adaptive Low-Power Circuits for Wireless Communications
Adaptive Low-Power Circuits for Wireless Communications
Author 
Tasić, Aleksandar. author. Serdijn, Wouter A. author. Long, John R. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-5250-2
Format: 
Availability 
Online Library~1
Available:
Copies:
888. 
Cover image for PRECISION TEMPERATURE SENSORS IN CMOS TECHNOLOGY
PRECISION TEMPERATURE SENSORS IN CMOS TECHNOLOGY
Author 
Pertijs, Michiel A.P. author. Huijsing, Johan H. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-5258-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action