Principles of computer hardware

Tools for teaching computer networking and hardware concepts

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

Evolvable Hardware

Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15–17, 2006, Shanghai, China

Applications of Specification and Design Languages for SoCs Selected papers from FDL 2005

Fully-Depleted SOI CMOS Circuits and Technology for Ultralow-Power Applications

Hard Disk Drive Servo Systems

Interconnect Noise Optimization in Nanometer Technologies

Scalable Hardware Verification with Symbolic Simulation

Applications of Evolutionary Computing EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006. Proceedings

Systemverilog for Verification A Guide to Learning the Testbench Language Features