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
505. 
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:
506. 
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:
507. 
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:
508. 
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:
509. 
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:
510. 
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:
511. 
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:
512. 
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:
513. 
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:
514. 
Cover image for Distributed Network Systems From Concepts to Implementations
Distributed Network Systems From Concepts to Implementations
Author 
Jia, Weijia. author. Zhou, Wanlei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b102545
Format: 
Availability 
Online Library~1
Available:
Copies:
515. 
Cover image for Systems Modeling and Simulation: Theory and Applications Third Asian Simulation Conference, AsianSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers
Systems Modeling and Simulation: Theory and Applications Third Asian Simulation Conference, AsianSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers
Author 
Baik, Doo-Kwon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105611
Format: 
Availability 
Online Library~1
Available:
Copies:
516. 
Cover image for Differential Evolution A Practical Approach to Global Optimization
Differential Evolution A Practical Approach to Global Optimization
Author 
Price, Kenneth V. author. Storn, Rainer M. author. Lampinen, Jouni A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-31306-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action