Verification of systems and circuits using LOTOS, Petri Nets, and CCS by Yoeli, Michael 1917-

Signal integrity and radiated emission of high-speed digital systems by Caniggia, Spartaco

Table of contents only

Basic engineering circuit analysis by Irwin, J. David 1939-

Circuit analysis demystified by McMahon, David M.

Table of contents only

DC theory

Table of contents only

Network infrastructure and architecture designing high-availability networks by Iniewski, Krzysztof 1960-

Table of contents only

Fundamentals of digital logic with Verilog design by Brown, Stephen D.

PSpice for basic microelectronics by Tront, Joseph G.

Printed circuits handbook

Digital integrated circuit design from VLSI architectures to CMOS fabrication by Kaeslin, Hubert