Lecture Notes in Computer Science 4349 Verification
Model Checking2007 年出版0 页ISBN：
Lecture Notes in Computer Science 3385 Verification
Moel Checking2005 年出版0 页ISBN：
Lecture Notes in Computer Science 2944 Databases
Information Systems2004 年出版0 页ISBN：
LECTURE NOTES IN MATHEMATICS 1377: SINGULARITY THEORY
ROD THEORY1989 年出版177 页ISBN：
Lecture Notes in Computer Science 3367 Databases
Information Systems2005 年出版0 页ISBN：
LECTURE NOTES IN MATHEMATICS 1287: APPROXIMATION THEORY
TAMPA1987 年出版230 页ISBN：3540185003;0387185003
Lecture Notes in Computer Science 2937 Verification
Model Checking2004 年出版0 页ISBN：
Instant Notes in CHEMISTRY FOR BIOLOGISTS
J.Fisher & J.R.P.Arnold1999 年出版246 页ISBN：703007730X
符合国标的Pro/ENGINEER Wildfire 3.0工程图制作
郑双阳，冯毅雄，郑兵编著2010 年出版276 页ISBN：9787561153123
本书以Pro/ENGINEER Wildfire 3.0版为蓝本，根据作者使用Pro/E工程图的经验、实用技巧和教学经验，结合Pro/ENGINEER Wildfire 3.0的新特点，从专业教师的角度出发，介绍了该软件的配置文件设置、工程图模块简介、...
张兴华，谭亲四，吴志清主编；贾凤英，李兆飞，关天富副主编；王波群，郑明华参编2011 年出版303 页ISBN：9787303126248
本书系统地介绍了PTC公司研制与开发的三维计算机辅助设计软件Pro/ENGINEER Wildfire 4.0的基本功能，使用方法及使用技巧。Pro/ENGINEER（简称Pro/E）是一套功能强大的CAD/CAE/CAM应用软件，广泛应用于产品工程领域...
