Limit Search Results
Author
SpringerLink (Online service)
(18)
Lipiansky, Ed.
(3)
Paganetti, Harald.
(2)
Arora, Mohit. author.
(1)
Baun, Christian. author.
(1)
Language
Subject
Computer science.
(14)
Computer hardware.
(11)
Engineering.
(8)
Electronics.
(5)
Software engineering.
(5)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
35 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for The Art of Hardware Architecture Design Methods and Techniques for Digital Circuits
The Art of Hardware Architecture Design Methods and Techniques for Digital Circuits
Author 
Arora, Mohit. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0397-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Computernetze kompakt
Computernetze kompakt
Author 
Baun, Christian. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-28988-0
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
Author 
Madhusudan, P. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31424-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Modeling Time in Computing
Modeling Time in Computing
Author 
Furia, Carlo A. author. Mandrioli, Dino. author. Morzenti, Angelo. author. Rossi, Matteo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32332-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Formal methods for industrial critical systems a survey of applications
Formal methods for industrial critical systems a survey of applications
Author 
Gnesi, Stefania, 1954- Margaria-Steffen, Tiziana, 1964-
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381798
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Embedded SoPC design with NIOS II processor and Verilog examples
Embedded SoPC design with NIOS II processor and Verilog examples
Author 
Chu, Pong P., 1959-
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley InterScience An electronic book accessible through the World Wide Web; click for information
Available by subscription from Safari Books Online
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=822053
ebrary http://site.ebrary.com/id/10630577
Volltext http://proquest.tech.safaribooksonline.de/9781118011034
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Speech in mobile and pervasive environments
Speech in mobile and pervasive environments
Author 
Rajput, Nitendra. Nanavati, Amit A.
Preferred Shelf Number 
ONLINE(318992.1)
Electronic Access 
ebrary http://site.ebrary.com/id/10531564
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=850156
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=432630
John Wiley http://dx.doi.org/10.1002/9781119961710
Wiley http://onlinelibrary.wiley.com/book/10.1002/9781119961710
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Digitaltechnik Ein Lehr- und Übungsbuch
Digitaltechnik Ein Lehr- und Übungsbuch
Author 
Woitowitz, Roland. author. Urbanski, Klaus. author. Gehrke, Winfried. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-20872-0
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Onboard Computers, Onboard Software and Satellite Operations An Introduction
Onboard Computers, Onboard Software and Satellite Operations An Introduction
Author 
Eickhoff, Jens. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-25170-2
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for VLSI-SoC: Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers
VLSI-SoC: Advanced Research for Systems on Chip 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers
Author 
Mir, Salvador. editor. Tsui, Chi-Ying. editor. Reis, Ricardo. editor. Choy, Oliver C. S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-32770-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for SystemVerilog for Verification A Guide to Learning the Testbench Language Features
SystemVerilog for Verification A Guide to Learning the Testbench Language Features
Author 
Spear, Chris. author. Tumbush, Greg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-0715-7
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for In-Memory Data Management Technology and Applications
In-Memory Data Management Technology and Applications
Author 
Plattner, Hasso. author. Zeier, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-29575-1
Format: 
Availability 
Online Library~1
Available:
Copies: