现代通信系统原理 【工业技术】

本书全面阐述了各种通信系统的基本概念、组成、工作原理、关键技术和发展方向。全书内容共9章，不仅涵盖现代通信系统的基础理论，以及数据通信、现代交换、光通信、移动通信、卫星通信、数字微波通信、多媒体...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

AMK伺服控制系统原理及应用 【工业技术】

本书首先介绍了伺服系统的基本概念；然后分章对伺服系统的硬件系统、软件系统、操作面板等进行了详细的介绍；最后举例说明了伺服控制的应用，以加深读者对伺服与伺服系统的认识。...