Limit Search Results
Author
SpringerLink (Online service)
(195)
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.
(130)
Electronics.
(71)
Circuits and Systems.
(32)
Software engineering.
(24)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
219 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
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:
26. 
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:
27. 
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:
28. 
Cover image for Energy Efficient High Performance Processors Recent Approaches for Designing Green High Performance Computing
Energy Efficient High Performance Processors Recent Approaches for Designing Green High Performance Computing
Author 
Haj-Yahya, Jawad. author. Mendelson, Avi. author. Ben Asher, Yosi. author. Chattopadhyay, Anupam. author. (orcid)0000-0002-8818-6983 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-8554-3
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Energy-Efficient Smart Temperature Sensors in CMOS Technology
Energy-Efficient Smart Temperature Sensors in CMOS Technology
Author 
Souri, Kamran. author. Makinwa, Kofi A.A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62307-8
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
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:
31. 
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:
32. 
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:
33. 
Cover image for Hybrid ADCs, Smart Sensors for the IoT, and Sub-1V & Advanced Node Analog Circuit Design Advances in Analog Circuit Design 2017
Hybrid ADCs, Smart Sensors for the IoT, and Sub-1V & Advanced Node Analog Circuit Design Advances in Analog Circuit Design 2017
Author 
Harpe, Pieter. editor. Makinwa, Kofi A. A. editor. Baschirotto, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61285-0
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for 5G and E-Band Communication Circuits in Deep-Scaled CMOS
5G and E-Band Communication Circuits in Deep-Scaled CMOS
Author 
Vigilante, Marco. author. Reynaert, Patrick. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72646-5
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
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:
36. 
Cover image for A systems approach to managing the complexities of process industries
A systems approach to managing the complexities of process industries
Author 
Salimi, Fabienne, author. Salimi, Frederic, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect https://www.sciencedirect.com/science/book/9780128042137
ScienceDirect http://www.sciencedirect.com/science/book/9780128042137
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action