Limit Search Results
Author
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
4 Results Found Subscribe to search results
0000DEFAULT
Print
1. 
Cover image for Ordinal Optimization Soft Optimization for Hard Problems
Ordinal Optimization Soft Optimization for Hard Problems
Author 
Ho, Yu-Chi. author. Zhao, Qian-Chuan. author. Jia, Qing-Shan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-68692-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for SAT-Based Scalable Formal Verification Solutions
SAT-Based Scalable Formal Verification Solutions
Author 
Ganai, Malay K. author. Gupta, Aarti. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-69167-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Designing Embedded Processors A Low Power Perspective
Designing Embedded Processors A Low Power Perspective
Author 
Henkel, Jörg. editor. Parameswaran, Sri. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-5869-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Handbuch für die Pogrammierung mit LabVIEW mit Studentenversion LabVIEW 8
Handbuch für die Pogrammierung mit LabVIEW mit Studentenversion LabVIEW 8
Author 
Mütterlein, Bernward. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8274-2338-2
Format: 
Availability 
Online Library~1
Available:
Copies: