Limit Search Results
Author
Language
Subject
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
5 Results Found Subscribe to search results
00000DEFAULT
Print
1. 
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:
2. 
Cover image for Fast, Efficient and Predictable Memory Accesses Optimization Algorithms for Memory Architecture Aware Compilation
Fast, Efficient and Predictable Memory Accesses Optimization Algorithms for Memory Architecture Aware Compilation
Author 
Wehmeyer, Lars. author. Marwedel, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4822-X
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Embedded Security in Cars Securing Current and Future Automotive IT Applications
Embedded Security in Cars Securing Current and Future Automotive IT Applications
Author 
Lemke, Kerstin. editor. Paar, Christof. editor. Wolf, Marko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-28428-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Logischer Entwurf digitaler Systeme
Logischer Entwurf digitaler Systeme
Author 
Liebig, Hans. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-29430-9
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Interfacing with C++ Programming Real-World Applications
Interfacing with C++ Programming Real-World Applications
Author 
Katupitiya, Jayantha. author. Bentley, Kim. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-33581-1
Format: 
Availability 
Online Library~1
Available:
Copies: