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 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:
2. 
Cover image for Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15–17, 2006, Shanghai, China
Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15–17, 2006, Shanghai, China
Author 
Wang, Kesheng. editor. Kovacs, George L. editor. Wozny, Michael. editor. Fang, Minglun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-34403-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
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:
5. 
Cover image for Innovations in Design & Decision Support Systems in Architecture and Urban Planning
Innovations in Design & Decision Support Systems in Architecture and Urban Planning
Author 
Leeuwen, Jos P. editor. Timmermans, Harry J. P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5060-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Design Computing and Cognition ’06
Design Computing and Cognition ’06
Author 
GERO, JOHN S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5131-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits
Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits
Author 
CASTRO-LÓPEZ, R. author. FERNÁNDEZ, F.V. author. GUERRA-VINUESA, O. author. RODRÍGUEZ-VÁZQUEZ, Á. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5139-5
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Assembly Line Design The Balancing of Mixed-Model Hybrid Assembly Lines with Genetic Algorithms
Assembly Line Design The Balancing of Mixed-Model Hybrid Assembly Lines with Genetic Algorithms
Author 
Rekiek, Brahim. author. Delchambre, Alain. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138846
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Condition Monitoring and Control for Intelligent Manufacturing
Condition Monitoring and Control for Intelligent Manufacturing
Author 
Wang, Lihui. editor. Gao, Robert X. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-269-1
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 Learning MicroStation VBA
Learning MicroStation VBA
Author 
Winters, Jerry.
Preferred Shelf Number 
ONLINE(312912.1)
Electronic Access 
Knovel http://app.knovel.com/web/toc.v/cid:kpLMSVBA05
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for GIS for sustainable development
GIS for sustainable development
Author 
Campagna, Michele.
Preferred Shelf Number 
HC79 .E5 G54 2006
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action