Validation of Stochastic Systems A Guide to Current Research
2004 年出版467 页ISBN：
软件开发 建立可靠的系统 building reliable systems
（美） 马克·汉密尔顿著；Marc Hamilton 徐卫东译2003 年出版266 页ISBN：7801900022
本书概括介绍软件开发概念的背景；介绍与软件开发相关的人员要求问题；介绍软件开发程序；介绍软件开发技术及软件开发十戒律等。
何满才编著2007 年出版610 页ISBN：7115170096
Mastercam X是美国CNC Software，Inc公司最新开发的CAD/CAM一体化软件，与以往版本相比X版本的操作界面及操作流程更符合当前的Windows视窗应用软件操作规范。本书主要讲解Mastercam X系统的数控车模块【Lathe...
中美断块复杂油田勘探开发经验交流会资料 第2分册 荷兰北海海域X区块油气田
宾斯石油公司远东有限公司和石油工业部的断层油田经验交流会2222 年出版143 页ISBN：
Data Base Management Systems A Guide to Microcomputer Software
1983 年出版260 页ISBN：0931988845
ANALYSIS AND DESIGN OF DIGITAL CIRCUITS AND COMPUTER SYSTEMS
1976 年出版598 页ISBN：0916460037
HEATING VENTILATING AND AIR-CONDITIONING SYSTEMS AND APPLICATIONS
2222 年出版830 页ISBN：0910110506
