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 Scientific examination of questioned documents
Scientific examination of questioned documents
Author 
Kelly, Jan Seaman. Lindblom, Brian S.
Preferred Shelf Number 
HV8074 .S356 2006
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
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:
4. 
Cover image for Systemverilog for Verification A Guide to Learning the Testbench Language Features
Systemverilog for Verification A Guide to Learning the Testbench Language Features
Author 
Spear, Chris. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138536
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
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:
6. 
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:
7. 
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:
8. 
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:
9. 
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:
10. 
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:
11. 
Cover image for Hard Disk Drive Servo Systems
Hard Disk Drive Servo Systems
Author 
Chen, Ben M. author. Peng, Kemao. author. Lee, Tong H. author. Venkataramanan, Venkatakrishnan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-305-1
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Ubiquitous and Pervasive Commerce New Frontiers for Electronic Business
Ubiquitous and Pervasive Commerce New Frontiers for Electronic Business
Author 
Roussos, George. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-321-3
Format: 
Availability 
Online Library~1
Available:
Copies: