当前位置：首页 > 名称
大约有203,406项符合查询结果项。（搜索耗时：0.3882秒）
为您推荐： 汽轮机设备及辅助系统设计计算 汽轮机辅助系统课程设计 汽轮机设备及系统 汽轮机辅助系统 循环流化床锅炉设备及系统课程设计 冲压及塑料注射模具课程设计指导
-
-
-
-
-
-
高压细水雾灭火系统设计、施工及验收规范
河南省公安消防总队主编2014 年出版89 页ISBN：9787564517847本规范遵照国家有关基本建设的方针和“预防为主、防消结合”的消防工作方针，结合了国内外相关的研究成果以及近几年来国内使用高压细水雾灭火系统的实践，参考了我国现行消防规范，广泛征求了国内有关科研、设计...
-
EngeoCAD工程地质勘察绘图分析系统程序设计及应用
沈来新，李惊春主编2014 年出版141 页ISBN：9787116091283本书系统地阐述了在AutoCAD平台上开发工程地质勘察图形编绘的程序设计原理及典型问题的解决方案、简述了不规则三角网建立及完善的算法及程序设计，并介绍了EngeoCAD工程地质勘察绘图分析系统的实际应用。...
-
-
-
高阶逻辑辅助证明系统
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
学科分类
出版时间