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
000000000000DEFAULT
Print
1. 
Cover image for Digital Storage in Consumer Electronics The Essential Guide
Digital Storage in Consumer Electronics The Essential Guide
Author 
Coughlin, Thomas M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69907-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Embedded Flash Memory for Embedded Systems: Technology, Design for Sub-systems, and Innovations
Embedded Flash Memory for Embedded Systems: Technology, Design for Sub-systems, and Innovations
Author 
Hidaka, Hideto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55306-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
Cover image for ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies
ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies
Author 
Mehta, Ashok B. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59418-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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:
6. 
Cover image for Design of FPGA-Based Computing Systems with OpenCL
Design of FPGA-Based Computing Systems with OpenCL
Author 
Waidyasooriya, Hasitha Muthumala. author. Hariyama, Masanori. author. Uchiyama, Kunio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68161-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Fundamentals of Electromigration-Aware Integrated Circuit Design
Fundamentals of Electromigration-Aware Integrated Circuit Design
Author 
Lienig, Jens. author. Thiele, Matthias. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73558-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Machine Learning for Model Order Reduction
Machine Learning for Model Order Reduction
Author 
Mohamed, Khaled Salah. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75714-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Energy-Efficient Smart Temperature Sensors in CMOS Technology
Energy-Efficient Smart Temperature Sensors in CMOS Technology
Author 
Souri, Kamran. author. Makinwa, Kofi A.A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62307-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
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:
11. 
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:
12. 
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:
Select an Action