世博园区工程安全质量综合监管实践 【工业技术】

本书对世博工程的监督模式、监督流程、监督机制突破创新介绍。同时从超深基坑、高大模板，高处坠落、火灾爆炸等事故预防、大型混凝土浇捣、大型钢结构吊装等重大危险源技术监督的方法介绍。本书阅读对象是监...

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

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

半夏生物资源与细胞工程 【农业科学】

本书在总结同行研究的基础上，主要结合自己的工作基础介绍了我国半夏种质资源的分布、半夏的扩繁及细胞工程技术如半夏悬浮体系建立、原生质体培养、人工种子制备和倍性育种等，同时对影响半夏生长的病毒性和细...

PLC工程应用案例 【工业技术】

本书以实用、易用为主旨，从零点起步，主要介绍小型PLC的软件和硬件功能，大中型PLC的软件和硬件功能，并着重以西门子S7-200/300/400PLC为例介绍编程与工程应用实战。本书从PLC初学者的角度出发，按照自学的顺序，先介...

建筑工程造价 【工业技术】

本书共分三篇十三章，第一篇概论，系统阐述了建筑工程造价的基础知识和建筑工程造价的构成。第二篇建筑工程的定额原理，详细介绍了企业定额、预算定额、概算定额、概算指标和估算指标等计价依据。第三篇建筑工程...

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

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

土木工程建设法规 【政治法律】

本书以国家现行建筑工程标准、规范、规程为依据，根据编者多年工作经验和教学实践，在自编教材基础上修改、补充编纂而成，主要介绍了应掌握的基本土木工程建设法规内容。本书是为高等院校土木工程专业编写的土木...

建设工程计价过关必做1000题（含历年真题）（第3版） 【其他书籍】

航空航天医学工程学 【医药卫生】

全书共分七章，内容包括肺系病证、心系病证、肝胆系病证、脾胃系病证、肾系病证、气血津液病证、肢体经络病证。各篇从中医中药角度阐述了多种常见病、多发病的概况、症候特征、病因病机、诊断和鉴别诊断、辨...

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

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