（美）WilliamK.Lam著2013 年出版377 页ISBN：9787121195839
本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与sat问题、...
（印）SREEKRISHNAN VENKATESWARAN著；宋宝华，何昭然，史海滨，吴国成译2016 年出版468 页ISBN：7115402516
范伟，杨宏雨，张栋，王森主编2011 年出版241 页ISBN：9787302255468
本书系统地介绍了UNIX/Linux系统操作的基本概念和操作，并结合UNIX/Linux操作系统的应用实例。
温静，尹淑玲，李恒波主编；汪艳飞，熊薇薇，苏明霞，杨艳华副主编；于智，王维虎，陈江艳，王颖参编2016 年出版194 页ISBN：7568016711
（美）Mark Hapner，（美）Rich Burridge等著；康博译2002 年出版339 页ISBN：7302059144
MCSE官方模拟试题 安装、配置和管理Microsoft Windows 2000 Servere
（美）Robert Sheldon著；张为普译2001 年出版284 页ISBN：7900631887
MCSE官方模拟试题 安装、配置和管理Microsoft Windows 2000 Professional
（美）Ethan Wilansky著；侯晓霞译2001 年出版277 页ISBN：7900635181
