黄光球，陆秋琴，李艳编2008 年出版262 页ISBN：9787561224441
本书较全面地介绍了分布式系统设计中的一些重要的问题，内容有：形式化设计方法、并行计算、行为分析模型、互斥、死锁处理等。
郭丽宫，魏中平编著2004 年出版332 页ISBN：7118034088
本书介绍UG18的各项功能组件、应用程序设计方法、软件编程技巧等，重点介绍对UG用于CAD/CAM/CAE时，进行二次开发和参数化设计的系统设计方法等。...
（美）阿布拉莫韦奇（Abramovici，M.）等著；李晓维等译2006 年出版449 页ISBN：7111192370
本书系统地介绍了结构测试的理论和方法、可测试性设计理论和度量方法、测试数据的处理及简化的理论和方法以及智能芯片测试理论和方法。
