普通高等教育“十二五”规划教材 电力系统概论 第2版 【工业技术】

2013全国注册电气工程师执业资格考试辅导书 重点难点解析与典型例题精讲 发输变电专业 【工业技术】

本书按最新注册电气工程师执业资格考试（发输变电专业）要求的大纲和规程规范进行编写，全书分为十五章，包括安全、环境保护与节能、消防，电气主接线，短路电流计算，设备选择，导体及电缆的设计选择，电气设备布置......

冶金工业建设工程预算定额 第5册 自动化控制仪表安装工程、消防及安全防范设备安装工程 2012年版 【工业技术】

《冶金工业建设工程预算定额》（2012年版）是完成规定计量单位分部分项工程所需的人工、材料计价定额；是统一冶金工程预算工程量计算规则、项目划分、计量单位的依据；本册定额内容包括过程检测仪表、过程控制仪表...

新版安装工程工程量清单计价及实例 【工业技术】

本书根据2013年最新颁布的《建设工程工程量清单计价规范》（GB 50500—2013）和《通用安装工程工程量计算规范》（GB 50856—2013）进行编写，对安装工程工程量清单计价的基本知识和原理进行了论述，详细阐述了安装工程...

电力系统优化数学模型和计算方法 【工业技术】

本书针对电力系统运行、规划与控制中的一些实际问题，本书对科学研究和工程实践中的一些数学模型及数学方法进行了总结，这些模型可以归纳为非线性、线性以及随机模型等，优化方法涉及传统优化、随机优化和动态优...

计算机应用基础：WINDOWS 7操作系统 【工业技术】

本书是计算机基本知识，Windows7基本操作，文件及文件管理，个性化工作环境，Windows7常用附件，网络应用基础，相关实训操作等。

当代中华诗词集成 赤水卷 赤水市诗词学会作品选集 【文学】

高阶逻辑辅助证明系统 【工业技术】

本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...

冶金工程设计研究与创新 能源环境建筑结构等综合工程 【工业技术】

本书收录了北京首钢国际工程技术有限公司建院四十年来，特别是改制五周年来，发表的相关技术论文300余篇。全书内容丰富完整，基本反映了冶金工程设计领域近四十年的主要发展历程，同时也对冶金工程设计领域的发展...

看例题学装饰装修工程工程量清单计价 【工业技术】

本书以《建设工程工程量清单计价规范》（GB 50500—2008）、工程造价主管部门编制的建筑工程消耗量定额和企业定额以及地区价目表与市场价格为参考依据，已求实创新的理念编写而成。在编写过程中将计价规范规则、...