Switch to list view
Switch to thumbnail view
Select an Action
7 Results Found Subscribe to search results
0000000DEFAULT
Print
1. 
Cover image for Intelligent Computing in Engineering and Architecture 13th EG-ICE Workshop 2006, Ascona, Switzerland, June 25-30, 2006, Revised Selected Papers
Intelligent Computing in Engineering and Architecture 13th EG-ICE Workshop 2006, Ascona, Switzerland, June 25-30, 2006, Revised Selected Papers
Author 
Smith, Ian F. C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11888598
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Embedded System Design
Embedded System Design
Author 
Marwedel, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-30087-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
Cover image for Hardware Verification with C++ A Practitioner’s Handbook
Hardware Verification with C++ A Practitioner’s Handbook
Author 
Mintz, Mike. author. Ekendahl, Robert. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-36254-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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:
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 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: