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
Select an Action
75 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
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:
14. 
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:
15. 
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:
16. 
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:
17. 
Cover image for The Impact of Service Oriented Architecture Adoption on Organizations
The Impact of Service Oriented Architecture Adoption on Organizations
Author 
Niknejad, Naghmeh. author. Hussin, Ab Razak Che. author. Amiri, Iraj Sadegh. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-12100-6
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
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:
19. 
Cover image for Exact Design of Digital Microfluidic Biochips
Exact Design of Digital Microfluidic Biochips
Author 
Keszocze, Oliver. author. Wille, Robert. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-90936-3
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis A Transfer Function Approach
Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis A Transfer Function Approach
Author 
Izadian, Afshin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02484-0
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
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:
22. 
Cover image for Micro-Electrode-Dot-Array Digital Microfluidic Biochips Design Automation, Optimization, and Test Techniques
Micro-Electrode-Dot-Array Digital Microfluidic Biochips Design Automation, Optimization, and Test Techniques
Author 
Li, Zipeng. author. Chakrabarty, Krishnendu. author. Ho, Tsung-Yi. author. Lee, Chen-Yi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02964-7
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Learning from VLSI Design Experience
Learning from VLSI Design Experience
Author 
Lee, Weng Fook. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03238-8
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
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:
Select an Action