李铖等编著2000 年出版296 页ISBN：7301016549
本书共分16章，主要介绍了使用红旗Linux构建各种类型网络的基本方法以及一些常用的服务器的配置和管理。
（英）Alan Burns ，（英）Andy Wellings著；王振宇，陈利等译2004 年出版578 页ISBN：7111139879
本书介绍实时系统的特征，分析设计和实现的方法以及所用的编程语言。
（美）Stephen H.Kan著；王振宇等译2003 年出版296 页ISBN：7111127927
本书主要讲述软件质量工程中的软件度量和软件可靠性模型。
