Limit Search Results
Author
SpringerLink (Online service)
(124)
Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940
(4)
Bäck, Thomas. editor. (orcid)0000-0001-6768-1478
(4)
Kononova, Anna V. editor. (orcid)0000-0002-4138-7024
(4)
Machado, Penousal. editor. (orcid)0000-0002-6308-6484
(4)
Language
Publication Date
-
Subject
Computer science.
(63)
Computer hardware.
(48)
Computers.
(29)
Artificial intelligence.
(26)
Logic design.
(23)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
131 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings
Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings
Author 
Chockler, Hana. editor. Hu, Alan J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01702-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Hardware Software Co-Design of a Multimedia SOC Platform
Hardware Software Co-Design of a Multimedia SOC Platform
Author 
Chen, Sao-Jie. author. Lin, Guang-Huei. author. Hsiung, Pao-Ann. author. Hu, Yu-Hen. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9623-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Cryptographic Hardware and Embedded Systems – CHES 2008 10th International Workshop, Washington, D.C., USA, August 10-13, 2008. Proceedings
Cryptographic Hardware and Embedded Systems – CHES 2008 10th International Workshop, Washington, D.C., USA, August 10-13, 2008. Proceedings
Author 
Oswald, Elisabeth. editor. Rohatgi, Pankaj. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85053-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings
Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings
Author 
Yorav, Karen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-77966-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers
Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers
Author 
Bin, Eyal. editor. Ziv, Avi. editor. Ur, Shmuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70889-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings
Cryptographic Hardware and Embedded Systems - CHES 2007 9th International Workshop, Vienna, Austria, September 10-13, 2007. Proceedings
Author 
Paillier, Pascal. editor. Verbauwhede, Ingrid. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74735-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
Author 
Ur, Shmuel. editor. Bin, Eyal. editor. Wolfsthal, Yaron. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11678779
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Cryptographic Hardware and Embedded Systems - CHES 2006 8th International Workshop, Yokohama, Japan, October 10-13, 2006. Proceedings
Cryptographic Hardware and Embedded Systems - CHES 2006 8th International Workshop, Yokohama, Japan, October 10-13, 2006. Proceedings
Author 
Goubin, Louis. editor. Matsui, Mitsuru. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11894063
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
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, Advanced 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, Advanced Lectures
Author 
Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11757283
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Kompendium der Informationstechnologie Hardware, Software, Client-Server-Systeme, Netzwerke, Datenbanken
Kompendium der Informationstechnologie Hardware, Software, Client-Server-Systeme, Netzwerke, Datenbanken
Author 
Brause, Rüdiger. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138377
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings
Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings
Author 
Borrione, Dominique. editor. Paul, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11560548
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Cryptographic Hardware and Embedded Systems – CHES 2005 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings
Cryptographic Hardware and Embedded Systems – CHES 2005 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings
Author 
Rao, Josyula R. editor. Sunar, Berk. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11545262
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets