Limit Search Results
Author
SpringerLink (Online service)
(95)
Drechsler, Rolf. author.
(3)
Henkel, Jörg. author.
(3)
Shafique, Muhammad. author.
(3)
Brinkschulte, Uwe. author.
(2)
Language
Publication Date
-
Subject
Electronics.
(88)
Systems engineering.
(53)
Engineering.
(48)
Software engineering.
(16)
Electronics and Microelectronics, Instrumentation.
(14)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
96 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
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:
14. 
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:
15. 
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:
16. 
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:
17. 
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:
18. 
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:
19. 
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:
20. 
Cover image for Dependable Multicore Architectures at Nanoscale
Dependable Multicore Architectures at Nanoscale
Author 
Ottavi, Marco. editor. Gizopoulos, Dimitris. editor. Pontarelli, Salvatore. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-54422-9
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Raspberry Pi – Das Handbuch Konfiguration, Hardware, Applikationserstellung
Raspberry Pi – Das Handbuch Konfiguration, Hardware, Applikationserstellung
Author 
Dembowski, Klaus. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(338155.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-658-03167-1
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Embedded Systems for Smart Appliances and Energy Management
Embedded Systems for Smart Appliances and Energy Management
Author 
Grimm, Christoph. editor. Neumann, Peter. editor. Mahlknecht, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330846.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-8795-2
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Partial Reconfiguration on FPGAs Architectures, Tools and Applications
Partial Reconfiguration on FPGAs Architectures, Tools and Applications
Author 
Koch, Dirk. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331261.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1225-0
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for System-Level Validation High-Level Modeling and Directed Test Generation Techniques
System-Level Validation High-Level Modeling and Directed Test Generation Techniques
Author 
Chen, Mingsong. author. Qin, Xiaoke. author. Koo, Heon-Mo. author. Mishra, Prabhat. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331265.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1359-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action