Limit Search Results
Author
SpringerLink (Online service)
(195)
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.
(130)
Electronics.
(73)
Circuits and Systems.
(32)
Software engineering.
(24)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
229 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Fault Tolerant Architectures for Cryptography and Hardware Security
Fault Tolerant Architectures for Cryptography and Hardware Security
Author 
PATRANABIS, SIKHAR. editor. Mukhopadhyay, Debdeep. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-1387-4
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Computer Systems Digital Design, Fundamentals of Computer Architecture and Assembly Language
Computer Systems Digital Design, Fundamentals of Computer Architecture and Assembly Language
Author 
Elahi, Ata. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66775-1
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Brain-Machine Interface Closed-loop Bidirectional System Design
Brain-Machine Interface Closed-loop Bidirectional System Design
Author 
Liu, Xilin. author. Van der Spiegel, Jan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67940-2
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Author 
Przigoda, Nils. author. Wille, Robert. author. Przigoda, Judith. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72814-8
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Fog Computing in the Internet of Things Intelligence at the Edge
Fog Computing in the Internet of Things Intelligence at the Edge
Author 
Rahmani, Amir M. editor. Liljeberg, Pasi. editor. Preden, Jürgo-Sören. editor. Jantsch, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57639-8
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Energy Efficient High Performance Processors Recent Approaches for Designing Green High Performance Computing
Energy Efficient High Performance Processors Recent Approaches for Designing Green High Performance Computing
Author 
Haj-Yahya, Jawad. author. Mendelson, Avi. author. Ben Asher, Yosi. author. Chattopadhyay, Anupam. author. (orcid)0000-0002-8818-6983 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-8554-3
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for CMOS Circuits for Biological Sensing and Processing
CMOS Circuits for Biological Sensing and Processing
Author 
Mitra, Srinjoy. editor. Cumming, David R. S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67723-1
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Low-Power Design and Power-Aware Verification
Low-Power Design and Power-Aware Verification
Author 
Khondkar, Progyna. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66619-8
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Symbolic Parallelization of Nested Loop Programs
Symbolic Parallelization of Nested Loop Programs
Author 
Tanase, Alexandru-Petru. author. Hannig, Frank. author. Teich, Jürgen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73909-0
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Formal System Verification State-of the-Art and Future Trends
Formal System Verification State-of the-Art and Future Trends
Author 
Drechsler, Rolf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-57685-5
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Energy Efficient Embedded Video Processing Systems A Hardware-Software Collaborative Approach
Energy Efficient Embedded Video Processing Systems A Hardware-Software Collaborative Approach
Author 
Khan, Muhammad Usman Karim. author. Shafique, Muhammad. author. Henkel, Jörg. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61455-7
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Hybrid ADCs, Smart Sensors for the IoT, and Sub-1V & Advanced Node Analog Circuit Design Advances in Analog Circuit Design 2017
Hybrid ADCs, Smart Sensors for the IoT, and Sub-1V & Advanced Node Analog Circuit Design Advances in Analog Circuit Design 2017
Author 
Harpe, Pieter. editor. Makinwa, Kofi A. A. editor. Baschirotto, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61285-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action