Validation of Stochastic Systems A Guide to Current Research
2004 年出版467 页ISBN：
软件开发 建立可靠的系统 building reliable systems
（美） 马克·汉密尔顿著；Marc Hamilton 徐卫东译2003 年出版266 页ISBN：7801900022
本书概括介绍软件开发概念的背景；介绍与软件开发相关的人员要求问题；介绍软件开发程序；介绍软件开发技术及软件开发十戒律等。
中华人民共和国工程建设标准强制性条文 电力工程部分 2006年版 Electric power engineering
2006 年出版236 页ISBN：155083·1433
Data Base Management Systems A Guide to Microcomputer Software
1983 年出版260 页ISBN：0931988845
HEATING VENTILATING AND AIR-CONDITIONING SYSTEMS AND APPLICATIONS
2222 年出版830 页ISBN：0910110506
DESIGN AND IMPLEMENTATION OF COMPUTER-BASED INFORMATION SYSTEMS
1979 年出版368 页ISBN：9028605193
Data-Driven Block Ciphers For Fast Telecommunication Systems
2008 年出版184 页ISBN：1420054112
CONCRETE SYSTEMS FOR HOMES AND LOW-RISE CONSTRUCTION
2222 年出版425 页ISBN：0071452362
