Limit Search Results
Author
SpringerLink (Online service)
(67)
Leondes, Cornelius T.
(3)
Gindis, Elliot.
(2)
Hübner, Michael. editor.
(2)
Silvano, Cristina. editor.
(2)
Language
Subject
Computer aided design.
(67)
Engineering.
(53)
Systems engineering.
(37)
Computer science.
(14)
Engineering design.
(10)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
84 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Post-Silicon and Runtime Verification for Modern Processors
Post-Silicon and Runtime Verification for Modern Processors
Author 
Wagner, Ilya. author. Bertacco, Valeria. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-8034-2
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Memory-Based Logic Synthesis
Memory-Based Logic Synthesis
Author 
Sasao, Tsutomu. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-8104-2
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for High-Level Verification Methods and Tools for Verification of System-Level Designs
High-Level Verification Methods and Tools for Verification of System-Level Designs
Author 
Kundu, Sudipta. author. Lerner, Sorin. author. Gupta, Rajesh K. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-9359-5
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Information Modeling for Interoperable Dimensional Metrology
Information Modeling for Interoperable Dimensional Metrology
Author 
Zhao, Yaoyao (Fiona). author. Brown, Robert. author. Kramer, Thomas R. author. Xu, Xun. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2167-1
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Euclidean Shortest Paths Exact or Approximate Algorithms
Euclidean Shortest Paths Exact or Approximate Algorithms
Author 
Li, Fajie. author. Klette, Reinhard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-2256-2
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Reconfigurable Computing From FPGAs to Hardware/Software Codesign
Reconfigurable Computing From FPGAs to Hardware/Software Codesign
Author 
Cardoso, João M. P. editor. Hübner, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0061-5
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Computational Techniques for Structural Health Monitoring
Computational Techniques for Structural Health Monitoring
Author 
Gopalakrishnan, Srinivasan. author. Ruzzene, Massimo. author. Hanagud, Sathyanaraya. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-284-1
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Ontologies in Urban Development Projects
Ontologies in Urban Development Projects
Author 
Falquet, Gilles. author. Métral, Claudine. author. Teller, Jacques. author. Tweed, Christopher. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-724-2
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Innovation in Product Design From CAD to Virtual Prototyping
Innovation in Product Design From CAD to Virtual Prototyping
Author 
Bordegoni, Monica. editor. Rizzi, Caterina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-775-4
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Guide to Geometric Algebra in Practice
Guide to Geometric Algebra in Practice
Author 
Dorst, Leo. editor. Lasenby, Joan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-811-9
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Multiprocessor System-on-Chip Hardware Design and Tool Integration
Multiprocessor System-on-Chip Hardware Design and Tool Integration
Author 
Hübner, Michael. editor. Becker, Jürgen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6460-1
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Focal-Plane Sensor-Processor Chips
Focal-Plane Sensor-Processor Chips
Author 
Zarándy, Ákos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-6475-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action