Limit Search Results
Author
SpringerLink (Online service)
(40)
Bergeron, Janick. author.
(2)
Cozzens, Richard.
(2)
Lavagno, Luciano, 1959-
(2)
Leondes, Cornelius T.
(2)
Language
Subject
Computer aided design.
(40)
Engineering.
(33)
Systems engineering.
(21)
Computer science.
(13)
Electronics.
(9)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
56 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
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:
26. 
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:
27. 
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:
28. 
Cover image for Adobe® Acrobat® and PDF for Architecture, Engineering, and Construction
Adobe® Acrobat® and PDF for Architecture, Engineering, and Construction
Author 
Carson, Tom. author. Baker, Donna L. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-138-5
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Konstruieren von Pkw-Karosserien Grundlagen, Elemente und Baugruppen, Vorschriftenübersicht, Beispiele mit CATIA V4 und V5
Konstruieren von Pkw-Karosserien Grundlagen, Elemente und Baugruppen, Vorschriftenübersicht, Beispiele mit CATIA V4 und V5
Author 
Grabner, Jörg. author. Nothhaft, Richard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-32955-2
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
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:
31. 
Cover image for Feature Extraction Foundations and Applications
Feature Extraction Foundations and Applications
Author 
Guyon, Isabelle. editor. Nikravesh, Masoud. editor. Gunn, Steve. editor. Zadeh, Lotfi A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-35488-8
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
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:
33. 
Cover image for Embedded System Design
Embedded System Design
Author 
Marwedel, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-30087-2
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Scalable Hardware Verification with Symbolic Simulation
Scalable Hardware Verification with Symbolic Simulation
Author 
Bertacco, Valeria. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-29906-8
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
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:
36. 
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:
Select an Action