当前位置:首页 > 名称
大约有4,000项符合查询结果项。(搜索耗时:0.0432秒)
为您推荐: 航天工程设计实践 航天工程设计 系统工程与航天 管理 航天 军事 美国军事
-
-
中国工程管理现状与发展 【经济】
何继善,王孟钧,王青娥著2013 年出版182 页ISBN:9787040370591本专著通过对我国工程管理现状的研究来发现现阶段影响我国工程管理发展的关键问题,以推动工程管理理论进步,强化工程管理实践创新,促进工程管理教育变革。可供工程界、研究机构、高等学校和政府部门理论研究者...
-
-
高阶逻辑辅助证明系统 【工业技术】
(德)托比亚斯·尼普科夫(TobiasNipkow),(英)劳伦斯·鲍尔森(LawrenceC.Paulson),(德)玛尔库斯·温泽尔(MarkusWenzel)著2013 年出版254 页ISBN:9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法;这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
-
-
-
机械控制工程基础实验教程 【工业技术】
韩柳编著2013 年出版129 页ISBN:9787118086690《机械控制工程基础实验指导书》是与王仲民主编的《机械控制工程基础》配套使用的实验教材。内容包括控制系统的数学模型、控制系统结构图简化及传递函数求解、 控制系统典型环节模拟、控制系统的时域响应...
-
AMK伺服控制系统原理及应用 【工业技术】
王德吉主编;黄光富,吕新磊,张建勋,王书恩副主编2013 年出版180 页ISBN:9787111401889本书首先介绍了伺服系统的基本概念;然后分章对伺服系统的硬件系统、软件系统、操作面板等进行了详细的介绍;最后举例说明了伺服控制的应用,以加深读者对伺服与伺服系统的认识。...
-
地下工程测量 第2版 【工业技术】
赵吉先,孙小荣主编2013 年出版198 页ISBN:7503028254本书结合作者多年教学、科研经验以及工程实实践,较系统地介绍了地下工程测量的基本理论和基本方法,从理论和实践两个角度帮助读者提高分析和解决地下工程领域测绘的能力。本书可作为测绘、地质、矿业、土建、...