Limit Search Results
Author
SpringerLink (Online service)
(20)
Vassiliadis, Stamatis. editor.
(2)
Bayoumi, Magdy A. author.
(1)
Bernardo, Marco. editor.
(1)
Bertacco, Valeria. author.
(1)
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
24 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
Cover image for Applications of Evolutionary Computing EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006. Proceedings
Applications of Evolutionary Computing EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006. Proceedings
Author 
Rothlauf, Franz. editor. Branke, Jürgen. editor. Cagnoni, Stefano. editor. Costa, Ernesto. editor. Cotta, Carlos. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11732242
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Einführung in die Halbleiter-Schaltungstechnik
Einführung in die Halbleiter-Schaltungstechnik
Author 
Göbel, Holger. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-34030-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Reconfigurable Computing: Architectures and Applications Second International Workshop, ARC 2006, Delft, The Netherlands, March 1-3, 2006, Revised Selected Papers
Reconfigurable Computing: Architectures and Applications Second International Workshop, ARC 2006, Delft, The Netherlands, March 1-3, 2006, Revised Selected Papers
Author 
Bertels, Koen. editor. Cardoso, João M. P. editor. Vassiliadis, Stamatis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11802839
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Rechneraufbau und Rechnerarchitektur
Rechneraufbau und Rechnerarchitektur
Author 
Böttcher, Axel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-44731-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Digital logic and microprocessor design with VHDL
Digital logic and microprocessor design with VHDL
Author 
Hwang, Enoch O.
Preferred Shelf Number 
TK7888.4 .H885 2006
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
7. 
Cover image for Fully-Depleted SOI CMOS Circuits and Technology for Ultralow-Power Applications
Fully-Depleted SOI CMOS Circuits and Technology for Ultralow-Power Applications
Author 
Sakurai, Takayasu. author. Matsuzawa, Akira. author. Douseki, Takakuni. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-29218-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Interconnect Noise Optimization in Nanometer Technologies
Interconnect Noise Optimization in Nanometer Technologies
Author 
Elgamel, Mohamed A. author. Bayoumi, Magdy A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-29366-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Scalable Hardware Verification with Symbolic Simulation
Scalable Hardware Verification with Symbolic Simulation
Author 
Bertacco, Valeria. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-29906-8
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Evolvable Hardware
Evolvable Hardware
Author 
Higuchi, Tetsuya. editor. Liu, Yong. editor. Yao, Xin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-31238-2
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Software-Implemented Hardware Fault Tolerance
Software-Implemented Hardware Fault Tolerance
Author 
Goloubeva, Olga. author. Rebaudengo, Maurizio. author. Reorda, Matteo Sonza. author. Violante, Massimo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-32937-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling
SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling
Author 
Sutherland, Stuart. author. Davidmann, Simon. author. Flake, Peter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-36495-1
Format: 
Availability 
Online Library~1
Available:
Copies: