Limit Search Results
Author
SpringerLink (Online service)
(71)
Rothlauf, Franz. editor.
(5)
Cagnoni, Stefano. editor.
(4)
Drechsler, Rolf. editor.
(4)
Machado, Penousal. editor.
(4)
Language
Publication Date
-
Subject
Computer networks .
(71)
Computers.
(58)
Hardware Performance and Reliability.
(34)
Computer Hardware.
(24)
Computer science.
(24)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
71 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Computer Science The Hardware, Software and Heart of It
Computer Science The Hardware, Software and Heart of It
by 
Blum, Edward K. editor.
https://doi.org/10.1007/978-1-4614-1168-0
Format: 
Excerpt: 
Computer Science The Hardware, Software and Heart of It / Blum, Edward K. editor.
2. 
Cover image for Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures
Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures
by 
Bernardo, Marco. editor.
https://doi.org/10.1007/11757283
Format: 
Excerpt: 
Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design
3. 
Cover image for A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof
A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof
by 
Kovalev, Mikhail. author.
https://doi.org/10.1007/978-3-319-13906-7
Format: 
Excerpt: 
Computer Hardware.
4. 
Cover image for Satellite Network Robust QoS-aware Routing
Satellite Network Robust QoS-aware Routing
by 
Long, Fei. author.
https://doi.org/10.1007/978-3-642-54353-1
Format: 
Excerpt: 
Mathematical Applications in Computer Science.
5. 
Cover image for Testbeds and Research Infrastructure: Development of Networks and Communities 9th International ICST Conference, TridentCom 2014, Guangzhou, China, May 5-7, 2014, Revised Selected Papers
Testbeds and Research Infrastructure: Development of Networks and Communities 9th International ICST Conference, TridentCom 2014, Guangzhou, China, May 5-7, 2014, Revised Selected Papers
by 
Leung, Victor C.M. editor.
https://doi.org/10.1007/978-3-319-13326-3
Format: 
Excerpt: 
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications
6. 
Cover image for Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
by 
Yahav, Eran. editor.
https://doi.org/10.1007/978-3-319-13338-6
Format: 
Excerpt: 
Hardware and Software: Verification and Testing 10th International Haifa Verification Conference
7. 
Cover image for Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
by 
Bertacco, Valeria. editor.
https://doi.org/10.1007/978-3-319-03077-7
Format: 
Excerpt: 
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference
8. 
Cover image for Distributed Algorithms for Message-Passing Systems
Distributed Algorithms for Message-Passing Systems
by 
Raynal, Michel. author.
https://doi.org/10.1007/978-3-642-38123-2
Format: 
Excerpt: 
Computer Hardware.
9. 
Cover image for Energy-Efficient High Performance Computing Measurement and Tuning
Energy-Efficient High Performance Computing Measurement and Tuning
by 
Laros III, James H. author.
https://doi.org/10.1007/978-1-4471-4492-2
Format: 
Excerpt: 
Hardware Performance and Reliability.
10. 
Cover image for VLSI Design and Test 17th International Symposium, VDAT 2013, Jaipur, India, July 27-30, 2013, Proceedings
VLSI Design and Test 17th International Symposium, VDAT 2013, Jaipur, India, July 27-30, 2013, Proceedings
by 
Gaur, Manoj Singh. editor.
https://doi.org/10.1007/978-3-642-42024-5
Format: 
Excerpt: 
Computer Hardware.
11. 
Cover image for Smart Home Automation with Linux and Raspberry Pi
Smart Home Automation with Linux and Raspberry Pi
by 
Goodwin, Steven. author.
https://doi.org/10.1007/978-1-4302-5888-9
Format: 
Excerpt: 
Computer Hardware.
12. 
Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers
by 
Ayala, José L. editor.
https://doi.org/10.1007/978-3-642-36157-9
Format: 
Excerpt: 
Computer hardware description languages.
Select an Action