软件开发的形式化工程方法 【工业技术】

本书首次开创了一个新技术，即形式化工程方法，把传统的形式化方法和软件工程有机结合起来。它提供了一个严密、系统、有效的软件开发方法，其实用性超过了目前所有形式化方法。这正好可以满足学术界、软件工程类...

AVR单片机原理及测控工程应用 基于ATmega48/ATmega16 【工业技术】

市政工程施工监理与质量检测 【工业技术】

本书分市政工程施工监理和市政工程质量检测两篇。主要内容包括：合同管理，进度监理，费用监理，质量监理，安全监理，环保监理，市政工程质量评定方法，路基路面现场质量检测，混凝土构件质量检测，基桩桩身完整性检......

工程经济学 【经济】

本书为普通高等教育“十一五”规划教材。本教材采用理论与实例相结合的方法，全面系统地介绍了工程经济分析的理论、方法与应用。具体内容包括12章，分别为绪论、工程经济要素与现金流量、资金时间价值计算、工...

水资源与水文地质工程地质环境地质研究 【环境安全】

本书包括水资源与水文地质、工程地质、环境地质三部分，是作者多年来的科研、生产项目成果的总结，既有理论研究又有实际科学问题的解决方法。...

水利工程供水价格核算研究 【经济】

随着社会主义市场经济的不断完善和水价改革的深化，原有的水价核算的一些规定和办法已不能适应《水利工程供水价格管理办法》（以下简称《水价办法》）的要求。因此，海河水利委员会有关部门开展了水利工程供水价格...

国际工程教育前沿与进展 2007 【文化科学教育体育】

本书由已经发行13个月的《工程教育研究动态》内部资讯基础上分类汇编而成。原研究资料仅供中国工程院院士参考，反映很好，建议公开扩大出版发行。本书编译了国际工程教育的官方机构的政策研究报告、国际工程教...

建筑给水排水工程 【工业技术】

本书为普通高等教育“十一五”规划教材。全书共八章，主要内容包括建筑给水系统、建筑消防系统、建筑内部排水系统、建筑中水系统、建筑热水供应、居住小区给排水、建筑给水排水工程施工与验收、建筑给水排水...

党的建设新的伟大工程的理论和实践创新 【政治法律】

在纪念改革开放30周年之际，本书全面系统地回顾和总结30年来党的建设在理论和实践上的创新成果。

高速公路路面养护工程施工监理实务 【交通运输】

本书从监理工作的内容上，本选题涵盖了质量监理、费用监理、进度监理、安全监理、环保监理、合同管理和信息管理及监理资料。从监理项目开展的阶段性上，分监理项目投标、施工准备期的监理、施工期的监理、交竣...