Limit Search Results
Author
SpringerLink (Online service)
(435)
Pichler, Franz. editor.
(7)
Yarwood, A. (Alfred), 1917-
(6)
Gero, John S. editor.
(5)
Gindis, Elliot.
(5)
Language
Publication Date
-
Subject
Computer aided design.
(377)
Engineering.
(256)
Systems engineering.
(145)
Computer science.
(120)
Computer-aided design.
(92)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
751 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
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:
3. 
Cover image for Innovation in Life Cycle Engineering and Sustainable Development
Innovation in Life Cycle Engineering and Sustainable Development
Author 
Brissaud, Daniel. editor. Tichkiewitch, Serge. editor. Zwolinski, Peggy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4617-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for A Roadmap for Formal Property Verification
A Roadmap for Formal Property Verification
Author 
DasGupta, Pallab. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-4758-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms
Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms
Author 
Kogel, Tim. author. Leupers, Rainer. author. Meyr, Heinrich. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4826-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
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. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138536
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Leakage in Nanometer CMOS Technologies
Leakage in Nanometer CMOS Technologies
Author 
Narendra, Siva G. author. Chandrakasan, Anantha. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28133-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Large-scale 3D data integration
Large-scale 3D data integration
Author 
Zlatanova, Siyka. Prosperi, David.
Preferred Shelf Number 
TA174 .L37 2006
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
9. 
Cover image for Wissenschaftstheoretische Grundlagen für die rechnerunterstützte Konstruktion
Wissenschaftstheoretische Grundlagen für die rechnerunterstützte Konstruktion
Author 
Lossack, Ralf-Stefan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-29947-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Layoutsynthese elektronischer Schaltungen — Grundlegende Algorithmen für die Entwurfsautomatisierung
Layoutsynthese elektronischer Schaltungen — Grundlegende Algorithmen für die Entwurfsautomatisierung
Author 
Lienig, Jens. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-29942-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Visualisierung digitaler Gelände- und Landschaftsdaten
Visualisierung digitaler Gelände- und Landschaftsdaten
Author 
Mach, Rüdiger. author. Petschek, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-30533-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Computer Supported Cooperative Work in Design II 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers
Computer Supported Cooperative Work in Design II 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers
Author 
Shen, Wei-ming. editor. Chao, Kuo-Ming. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. James, Anne. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11686699
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action