Limit Search Results
Author
SpringerLink (Online service)
(187)
Drechsler, Rolf. author.
(5)
Marwedel, Peter. author.
(5)
Henkel, Jörg. author.
(4)
Shafique, Muhammad. author.
(4)
Language
Publication Date
-
Subject
Computer science.
(161)
Engineering.
(127)
Electronics.
(71)
Circuits and Systems.
(27)
Software engineering.
(24)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
200 Results Found Subscribe to search results
00000000DEFAULT
Print
193. 
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:
194. 
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:
195. 
Cover image for System-level Test and Validation of Hardware/Software Systems
System-level Test and Validation of Hardware/Software Systems
Author 
Sonza Reorda, Matteo. editor. Peng, Zebo. editor. Violante, Massimo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-145-8
Format: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for System Level Design of Reconfigurable Systems-on-Chip
System Level Design of Reconfigurable Systems-on-Chip
Author 
Voros, Nikolaos S. editor. Masselos, Konstantinos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136832
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays
Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays
Author 
Gokhale, Maya. author. Graham, Paul S. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136834
Format: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Functional Verification of Programmable Embedded Architectures A Top-Down Approach
Functional Verification of Programmable Embedded Architectures A Top-Down Approach
Author 
Mishra, Prabhat. author. Dutt, Nikil D. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137514
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for Control Theory
Control Theory
Author 
Leigh, J. R.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1049/PBCE064E
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for Handbook of learning and approximate dynamic programming
Handbook of learning and approximate dynamic programming
Author 
Si, Jennie.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5273582
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action