Limit Search Results
Author
LaMeres, Brock J. author.
(4)
Chakrabarty, Krishnendu. author.
(2)
Drechsler, Rolf. author.
(2)
Leupers, Rainer. author.
(2)
Li, Jinwen. editor.
(2)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
75 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2017
Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2017
Author 
Große, Daniel. editor. Vinco, Sara. editor. Patel, Hiren. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02215-0
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Formal Verification of Floating-Point Hardware Design A Mathematical Approach
Formal Verification of Floating-Point Hardware Design A Mathematical Approach
Author 
Russinoff, David M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-95513-1
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Computer Engineering and Technology 23rd CCF Conference, NCCET 2019, Enshi, China, August 1–2, 2019, Revised Selected Papers
Computer Engineering and Technology 23rd CCF Conference, NCCET 2019, Enshi, China, August 1–2, 2019, Revised Selected Papers
Author 
Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhu, Zhenzhen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-15-1850-8
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Multi-run Memory Tests for Pattern Sensitive Faults
Multi-run Memory Tests for Pattern Sensitive Faults
Author 
Mrozek, Ireneusz. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91204-2
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Parallel Computational Technologies 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2–4, 2019, Revised Selected Papers
Parallel Computational Technologies 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2–4, 2019, Revised Selected Papers
Author 
Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-28163-2
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Parallel and Distributed Computing, Applications and Technologies 19th International Conference, PDCAT 2018, Jeju Island, South Korea, August 20-22, 2018, Revised Selected Papers
Parallel and Distributed Computing, Applications and Technologies 19th International Conference, PDCAT 2018, Jeju Island, South Korea, August 20-22, 2018, Revised Selected Papers
Author 
Park, Jong Hyuk. editor. (orcid)0000-0003-1831-0309 Shen, Hong. editor. (orcid)0000-0003-0649-0648 Sung, Yunsick. editor. (orcid)0000-0003-3732-5346 Tian, Hui. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-5907-1
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Computer Engineering and Technology 22nd CCF Conference, NCCET 2018, Yinchuan, China, August 15–17, 2018, Revised Selected Papers
Computer Engineering and Technology 22nd CCF Conference, NCCET 2018, Yinchuan, China, August 15–17, 2018, Revised Selected Papers
Author 
Xu, Weixia. editor. Xiao, Liquan. editor. Li, Jinwen. editor. Zhu, Zhenzhen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-5919-4
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Safe, Autonomous and Intelligent Vehicles
Safe, Autonomous and Intelligent Vehicles
Author 
Yu, Huafeng. editor. Li, Xin. editor. Murray, Richard M. editor. Ramesh, S. editor. Tomlin, Claire J. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-97301-2
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Fundamentals of Computer Architecture and Design
Fundamentals of Computer Architecture and Design
Author 
Bindal, Ahmet. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00223-7
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms A Cross-layer Approach
Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms A Cross-layer Approach
Author 
Fornaciari, William. editor. Soudris, Dimitrios. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-91962-1
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Post-Silicon Validation and Debug
Post-Silicon Validation and Debug
Author 
Mishra, Prabhat. editor. Farahmandi, Farimah. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98116-1
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Energy Limits in Computation A Review of Landauer’s Principle, Theory and Experiments
Energy Limits in Computation A Review of Landauer’s Principle, Theory and Experiments
Author 
Lent, Craig S. editor. Orlov, Alexei O. editor. Porod, Wolfgang. editor. Snider, Gregory L. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93458-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets