汽轮机辅助系统课程设计相关图书搜索结果

当前位置：首页 > 名称

图书搜索：

出版时间：

至

大约有20,000项符合查询结果项。（搜索耗时：0.0336秒）

为您推荐：汽轮机设备及辅助系统课程设计汽轮机设备及辅助系统设计计算汽轮机辅助系统热电厂汽轮机热力系统设计计算和热经济性分析循环流化床锅炉设备及系统课程设计线性控制系统计算机辅助分析

编译原理辅助教程一个PASCAL子集 IOPL 编译系统分析与实践【工业技术】

点击试读在线购买
冯博琴等编1995 年出版121 页ISBN：7560506402
高阶逻辑辅助证明系统【工业技术】

点击试读在线购买
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631
本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
计算机辅助管理系统数据库技术基础及FOXBASE+ 【工业技术】

点击试读在线购买
李宗耀等编著1992 年出版325 页ISBN：7561804563
电子电路计算机辅助分析与辅助设计【工业技术】

点击试读在线购买
张亚华主编2004 年出版260 页ISBN：7801834526
电脑辅助设计及制造 CAD/CAM 第1章电脑辅助设计与电脑模拟【工业技术】

点击试读在线购买
陈至刚编著1983 年出版87 页ISBN：
国外氢冷汽轮发电机轴密封结构及其油系统介绍【工业技术】

点击试读在线购买
第一机械工业部技术情报所第五室编1960 年出版46 页ISBN：15033·2140
“焊接专家系统”专题学术会议论文集焊接冷裂纹的计算机辅助评定专家系统雏型【工业技术】

点击试读在线购买
1989 年出版9 页ISBN：
N200-130-535/535型汽轮机的设计改进和试验研究【工业技术】

点击试读在线购买
四川省机械工程学会动力委员会，东方汽轮机厂汽轮机研究所编2222 年出版268 页ISBN：
电脑辅助设计及制造 CAD/CAM 第5章各型电脑之电脑辅助设计及制造【工业技术】

点击试读在线购买
陈至刚编著1983 年出版80 页ISBN：
工程建设中智能辅助决策系统 1990年度论文汇编【工业技术】

点击试读在线购买
刘恢先，刘西拉，那向谦等编1991 年出版268 页ISBN：7560809723
国家自然科学基金重大项目:本书是1992年1月在哈尔滨召开的“工程建设中智能辅助决策系统应用研究总结交流大会”的论文集。--每篇附英文摘要……...