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 Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016
Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2016
Author 
Fummi, Franco. editor. Wille, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62920-9
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores
Advanced Techniques for Power, Energy, and Thermal Management for Clustered Manycores
Author 
Pagani, Santiago. author. Chen, Jian-Jia. 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-77479-4
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
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:
16. 
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:
17. 
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:
18. 
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:
19. 
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:
20. 
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:
21. 
Cover image for An ASIC Low Power Primer Analysis, Techniques and Specification
An ASIC Low Power Primer Analysis, Techniques and Specification
Author 
Chadha, Rakesh. author. Bhasker, J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331464.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4271-4
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Model-Based Design of Adaptive Embedded Systems
Model-Based Design of Adaptive Embedded Systems
Author 
Basten, Twan. editor. Hamberg, Roelof. editor. Reckers, Frans. editor. Verriet, Jacques. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331594.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4821-1
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Energy-Efficient Communication Processors Design and Implementation for Emerging Wireless Systems
Energy-Efficient Communication Processors Design and Implementation for Emerging Wireless Systems
Author 
Fasthuber, Robert. author. Catthoor, Francky. author. Raghavan, Praveen. author. Naessens, Frederik. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331642.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4992-8
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Data Center Networks Topologies, Architectures and Fault-Tolerance Characteristics
Data Center Networks Topologies, Architectures and Fault-Tolerance Characteristics
Author 
Liu, Yang. author. Muppala, Jogesh K. author. Veeraraghavan, Malathi. author. Lin, Dong. author. Hamdi, Mounir. author.
Preferred Shelf Number 
ONLINE(332894.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-319-01949-9
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action