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
56 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 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:
3. 
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:
4. 
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:
5. 
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:
6. 
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:
7. 
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:
8. 
Cover image for Practical Grey-box Process Identification Theory and Applications
Practical Grey-box Process Identification Theory and Applications
Author 
Bohlin, Torsten. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-403-1
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Boundary Representation Modelling Techniques
Boundary Representation Modelling Techniques
Author 
Stroud, Ian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-616-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Transformations and Projections in Computer Graphics
Transformations and Projections in Computer Graphics
Author 
Salomon, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84628-620-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Rapid system prototyping with FPGAs
Rapid system prototyping with FPGAs
Author 
Cofer, R. C. Harding, Benjamin F.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780750678667
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Large-Scale Scientific Computing 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005. Revised Papers
Large-Scale Scientific Computing 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005. Revised Papers
Author 
Lirkov, Ivan. editor. Margenov, Svetozar. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11666806
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets