Limit Search Results
Author
SpringerLink (Online service)
(127)
Sansen, Willy. author.
(4)
Bhunia, Swarup. editor.
(3)
Drechsler, Rolf. author.
(3)
Fischer, Walter. author.
(3)
Language
Publication Date
-
Subject
Computer science.
(88)
Engineering.
(71)
Systems engineering.
(71)
Electronics and Microelectronics, Instrumentation.
(28)
Electronic books.
(18)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
145 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
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 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:
5. 
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:
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 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:
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 Memories for the intelligent internet of things
Memories for the intelligent internet of things
Author 
Prince, Betty, author. Prince, David, 1966- author.
Preferred Shelf Number 
TK7895 .M4 P735 2018
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119298922
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Emergent behavior in complex systems engineering : a modeling and simulation approach
Emergent behavior in complex systems engineering : a modeling and simulation approach
Author 
Mittal, Saurabh, editor. Diallo, Saikou Y., editor. Tolk, Andreas, editor.
Preferred Shelf Number 
TA168 .E53 2018
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119378952
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for State-Space Approaches for Modelling and Control in Financial Engineering Systems theory and machine learning methods
State-Space Approaches for Modelling and Control in Financial Engineering Systems theory and machine learning methods
Author 
Rigatos, Gerasimos G. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-52866-3
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Advances in Memristors, Memristive Devices and Systems
Advances in Memristors, Memristive Devices and Systems
Author 
Vaidyanathan, Sundarapandian. editor. Volos, Christos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51724-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action