Limit Search Results
Author
SpringerLink (Online service)
(399)
Leondes, Cornelius T.
(9)
Pichler, Franz. editor.
(7)
Yarwood, A. (Alfred), 1917-
(7)
Gindis, Elliot.
(5)
Language
Publication Date
-
Subject
Computer aided design.
(377)
Engineering.
(255)
Systems engineering.
(144)
Computer science.
(120)
Computer-aided design.
(69)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
605 Results Found Subscribe to search results
000000000000DEFAULT
Print
469. 
Cover image for The Finite Element Method and Applications in Engineering Using Ansys®
The Finite Element Method and Applications in Engineering Using Ansys®
Author 
Madenci, Erdogan. author. Guven, Ibrahim. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-28290-9
Format: 
Availability 
Online Library~1
Available:
Copies:
470. 
Cover image for Curves and Surfaces for Computer Graphics
Curves and Surfaces for Computer Graphics
Author 
Salomon, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28452-4
Format: 
Availability 
Online Library~1
Available:
Copies:
471. 
Cover image for Thermal and Power Management of Integrated Circuits
Thermal and Power Management of Integrated Circuits
Author 
Vassighi, Arman. author. Sachdev, Manoj. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-29749-9
Format: 
Availability 
Online Library~1
Available:
Copies:
472. 
Cover image for Constraint-Based Verification
Constraint-Based Verification
Author 
Yuan, Jun. author. Pixley, Carl. author. Aziz, Adnan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-30784-2
Format: 
Availability 
Online Library~1
Available:
Copies:
473. 
Cover image for Writing Testbenches using System Verilog
Writing Testbenches using System Verilog
Author 
Bergeron, Janick. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-31275-7
Format: 
Availability 
Online Library~1
Available:
Copies:
474. 
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:
475. 
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:
476. 
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:
477. 
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:
478. 
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:
479. 
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:
480. 
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:
Select an Action