大约有80,000项符合查询结果项。(搜索耗时:0.0687秒)
为您推荐: 电力系统微型计算机继电保护 线性控制系统计算机辅助分析 继电保护 电力系统继电保护 牵引变电所继电保护 汽轮机设备及辅助系统设计计算
-
-
Pro/ENGINEER 4.0野火版辅助绘图 基础·案例篇 【工业技术】
李高峰,吴超,田涛主编2009 年出版482 页ISBN:9787113094546本书主要介绍Pro/E基础知识以及应用该软件的实际案例讲解。
-
高阶逻辑辅助证明系统 【工业技术】
(德)托比亚斯·尼普科夫(TobiasNipkow),(英)劳伦斯·鲍尔森(LawrenceC.Paulson),(德)玛尔库斯·温泽尔(MarkusWenzel)著2013 年出版254 页ISBN:9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法;这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
机修手册 第6卷 电气设备修理 第1篇 电气设备修理的常用技术资料 第2章 常用电动机的控制与保护 【工业技术】
《机修手册》第3版编委会1964 年出版38 页ISBN:7111034015 -
AutoCAD 2002辅助设计实例教程 【工业技术】
邢晓林等编著2002 年出版250 页ISBN:7111106768本书按照用户使用AutoCAD的基本操作方法和应用特点,以实例操作为基础,介绍了AutoCAD2002从二维到三维的常用命令和主要功能。全书共分10章,包括应用基础知识,平面图形,图形编辑,文字标注,尺寸标注,块及块属性,三维.....
-
撑起科学的保护伞丛书 种“石油” 能源连着你我他 【工业技术】
吴树逊,童则喻编著2013 年出版122 页ISBN:9787110079317什么叫能源?能源的家族有几多成员,它们对人类的贡献有多大,其利用的历史与未来发展趋势又如何?本书从现实社会出发,通过一个个生动、有趣的故事和绘声绘色的描述,为广大青少年读者展示了能源世界丰富多彩的文化.....
-
Painter8.0辅助设计基础与进阶教程 【工业技术】
潘鲁生主编;林宇峰,杨奇军编著2005 年出版301 页ISBN:7533020677本书主要介绍Painter 8.0辅助设计基础与进阶教程内容。
-
AutoCAD辅助设计从入门到精通 2011 【工业技术】
王东伟,柏松主编2010 年出版358 页ISBN:9787802436107本书主要介绍了使用Auto CAD辅助设计软件的常用方法和技能,全书主要内容包括Auto CAD辅助设计快学入门等知识点。全书结构清晰、图文并茂,以实战的方式介绍知识点。...
-
中文版AutoCAD 2009辅助绘图从新手到高手 【工业技术】
林永,史宇宏,张伟编著2009 年出版540 页ISBN:9787802484337本书以AutoCAD 2009为平台,从实际操作和具体应用的角度出发,全面讲解了该软件功能以及几个主流的绘图技巧。
-
住区 2009年 第1期 总第35期 工业建筑的保护与再利用 【工业技术】
《住宅》编委会编2009 年出版117 页ISBN:9787112106622随着我国经济的迅速发展与城市化进程的不断深入,产业结构经历了重大调整。在此过程中,众多原工业厂房或废弃、或迁移,成为城市再生中面临的重要问题。本期《住区》聚焦于此,对其发展策略、实施措施和具体项目进...
