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.
(71)
Electronics and Microelectronics, Instrumentation.
(19)
Electronic books.
(18)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
136 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
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:
38. 
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:
39. 
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:
40. 
Cover image for The Hardware Trojan War Attacks, Myths, and Defenses
The Hardware Trojan War Attacks, Myths, and Defenses
Author 
Bhunia, Swarup. editor. Tehranipoor, Mark M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68511-3
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
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:
42. 
Cover image for Digital Storage in Consumer Electronics The Essential Guide
Digital Storage in Consumer Electronics The Essential Guide
Author 
Coughlin, Thomas M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69907-3
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
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:
44. 
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:
45. 
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:
46. 
Cover image for Real-time embedded systems
Real-time embedded systems
Author 
Wang, Jiacun, 1963- author.
Preferred Shelf Number 
TK7895 .E42
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119420712
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Natural language processing and computational linguistics 2 : semantics, discourse and applications
Natural language processing and computational linguistics 2 : semantics, discourse and applications
Author 
Kurdi, Mohamed Zakaria, author.
Preferred Shelf Number 
QA76.9 .N38
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119419686
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Wireless sensor systems for extreme environments : space, underwater, underground and industrial
Wireless sensor systems for extreme environments : space, underwater, underground and industrial
Author 
Rashvand, Habib F., editor. Abedi, Ali, editor.
Preferred Shelf Number 
TK7872 .D48
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119126492
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action