Limit Search Results
Author
SpringerLink (Online service)
(75)
Ball, Stuart R., 1956-
(4)
LaMeres, Brock J. author.
(4)
Chassaing, Rulph.
(3)
Wiley InterScience (Online service)
(3)
Language
English
(127)
Publication Date
-
Subject
Microprocessors.
(100)
Electronic circuits.
(55)
Electronics.
(26)
Logic design.
(15)
Signal processing.
(10)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
132 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
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:
26. 
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:
27. 
Cover image for Practical Security Properties on Commodity Computing Platforms The uber eXtensible Micro-Hypervisor Framework
Practical Security Properties on Commodity Computing Platforms The uber eXtensible Micro-Hypervisor Framework
Author 
Vasudevan, Amit. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25049-2
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for High Performance Computing 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings
High Performance Computing 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings
Author 
Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Juckeland, Guido. editor. (orcid)0000-0002-9935-4428 Trinitis, Carsten. editor. (orcid)0000-0002-6750-3652 Sadayappan, Ponnuswamy. editor. (orcid)0000-0002-4737-2034 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-20656-7
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
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:
30. 
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:
31. 
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:
32. 
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:
33. 
Cover image for OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings
OpenMP: Conquering the Full Hardware Spectrum 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings
Author 
Fan, Xing. editor. de Supinski, Bronis R. editor. Sinnen, Oliver. editor. Giacaman, Nasser. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-28596-8
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
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:
35. 
Cover image for Quick Start Guide to Verilog
Quick Start Guide to Verilog
Author 
LaMeres, Brock J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-10552-5
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers
Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers
Author 
Pałka, Michał. editor. Myreen, Magnus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-18506-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action