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 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:
2. 
Cover image for Reliable and Energy Efficient Streaming Multiprocessor Systems
Reliable and Energy Efficient Streaming Multiprocessor Systems
Author 
Das, Anup Kumar. author. Kumar, Akash. author. Veeravalli, Bharadwaj. author. Catthoor, Francky. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69374-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
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:
5. 
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:
6. 
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:
7. 
Cover image for Advanced Logic Synthesis
Advanced Logic Synthesis
Author 
Reis, André Inácio. editor. Drechsler, Rolf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67295-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Internet-of-Things (IoT) Systems Architectures, Algorithms, Methodologies
Internet-of-Things (IoT) Systems Architectures, Algorithms, Methodologies
Author 
Serpanos, Dimitrios. author. Wolf, Marilyn. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69715-4
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for A practical guide to SysML : the systems modeling language
A practical guide to SysML : the systems modeling language
Author 
Friedenthal, Sanford, author. Moore, Alan, 1961- author. Steiner, Rick, author.
Preferred Shelf Number 
ONLINE(355422.1)
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780128002025
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
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:
11. 
Cover image for Compilation and Synthesis for Embedded Reconfigurable Systems An Aspect-Oriented Approach
Compilation and Synthesis for Embedded Reconfigurable Systems An Aspect-Oriented Approach
Author 
Cardoso, João Manuel Paiva. editor. Diniz, Pedro C. editor. de Figueiredo Coutinho, José Gabriel. editor. Petrov, Zlatko Marinov. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331615.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4894-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Design Technologies for Green and Sustainable Computing Systems
Design Technologies for Green and Sustainable Computing Systems
Author 
Pande, Partha Pratim. editor. Ganguly, Amlan. editor. Chakrabarty, Krishnendu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331637.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-4975-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action