Limit Search Results
Author
SpringerLink (Online service)
(77)
Cao, Lei. editor.
(6)
Qian, Zhihong. editor.
(6)
Su, Weilian. editor.
(6)
Wang, Tingkai. editor.
(6)
Language
Publication Date
-
Subject
Computer science.
(60)
Engineering.
(34)
Software engineering.
(13)
Mathematics.
(12)
Engineering mathematics.
(9)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
79 Results Found Subscribe to search results
0000000DEFAULT
Print
73. 
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:
74. 
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:
75. 
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:
76. 
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:
77. 
Cover image for Betriebssysteme Eine kompakte Einführung mit Linux
Betriebssysteme Eine kompakte Einführung mit Linux
Author 
Achilles, Albrecht. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-29376-7
Format: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for AmIware Hardware Technology Drivers of Ambient Intelligence
AmIware Hardware Technology Drivers of Ambient Intelligence
Author 
Mukherjee, Satyen. editor. Aarts, Ronald M. editor. Roovers, Raf. editor. Widdershoven, Frans. editor. Ouwerkerk, Martin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4198-5
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for Embedded Systems – Modeling, Technology, and Applications
Embedded Systems – Modeling, Technology, and Applications
Author 
Hommel, Günter. editor. Huanye, Sheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-4933-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action