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.
(71)
Circuits and Systems.
(32)
Software engineering.
(24)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
219 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Contactless VLSI Measurement and Testing Techniques
Contactless VLSI Measurement and Testing Techniques
Author 
Sayil, Selahattin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69673-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
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:
3. 
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:
4. 
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:
5. 
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:
6. 
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:
7. 
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:
8. 
Cover image for Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things
Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things
Author 
Marwedel, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56045-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
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:
10. 
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:
11. 
Cover image for Quantitative systems pharmacology : models and model-based systems with applications
Quantitative systems pharmacology : models and model-based systems with applications
Author 
Manca, Davide, editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect https://www.sciencedirect.com/science/bookseries/15707946/42
ScienceDirect https://www.sciencedirect.com/science/book/9780444639646
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors
Simulation and Optimization of Digital Circuits Considering and Mitigating Destabilizing Factors
Author 
Melikyan, Vazgen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-71637-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets