Limit Search Results
Author
SpringerLink (Online service)
(118)
Sansen, Willy. author.
(4)
Drechsler, Rolf. author.
(3)
Fischer, Walter. author.
(3)
Henkel, Jörg. author.
(3)
Language
Publication Date
-
Subject
Computer science.
(88)
Engineering.
(71)
Systems engineering.
(69)
Electronics and Microelectronics, Instrumentation.
(19)
Circuits and Systems.
(14)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
118 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
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:
3. 
Cover image for Advances in Human Factors and Systems Interaction Proceedings of the AHFE 2017 International Conference on Human Factors and Systems Interaction, July 17−21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA
Advances in Human Factors and Systems Interaction Proceedings of the AHFE 2017 International Conference on Human Factors and Systems Interaction, July 17−21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA
Author 
Nunes, Isabel L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60366-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Timing Performance of Nanometer Digital Circuits Under Process Variations
Timing Performance of Nanometer Digital Circuits Under Process Variations
Author 
Champac, Victor. author. Garcia Gervacio, Jose. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75465-9
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 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:
7. 
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:
8. 
Cover image for New Trends in Networking, Computing, E-learning, Systems Sciences, and Engineering
New Trends in Networking, Computing, E-learning, Systems Sciences, and Engineering
Author 
Elleithy, Khaled. editor. Sobh, Tarek. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-06764-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Future Information Technology - II
Future Information Technology - II
Author 
Park, James J. (Jong Hyuk). editor. Pan, Yi. editor. Kim, Cheonshik. editor. Yang, Yun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-94-017-9558-6
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Atomic Layer Deposition for Semiconductors
Atomic Layer Deposition for Semiconductors
Author 
Hwang, Cheol Seong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4614-8054-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for UTLEON3: Exploring Fine-Grain Multi-Threading in FPGAs
UTLEON3: Exploring Fine-Grain Multi-Threading in FPGAs
Author 
Daněk, Martin. author. Kafka, Leoš. author. Kohout, Lukáš. author. Sýkora, Jaroslav. author. Bartosinski, Roman. author.
Preferred Shelf Number 
ONLINE(331311.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-2410-9
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Constraining Designs for Synthesis and Timing Analysis A Practical Guide to Synopsys Design Constraints (SDC)
Constraining Designs for Synthesis and Timing Analysis A Practical Guide to Synopsys Design Constraints (SDC)
Author 
Gangadharan, Sridhar. author. Churiwala, Sanjay. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331327.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-3269-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action