土石方工程、道路工程、桥涵护岸工程

本书按照《全国统一市政工程预算定额》的章节，结合《建设工程工程量清单计价规范》（GB50500－2008）中“建筑工程工程量清单项目及计算规则”，以一例一图一解的方式，对市政工程各分部分项的工程量计算方法作了较详...

科技项目管理教程 供工程系统工程经理和工程管理经理参考

软件工程形式化方法与语言

本书第一部分介绍了Z语言的背景知识，包括集合论和一阶谓词演算等概念及其形式化表达方法；第二部分介绍了Z语言构成及其规格说明的结构化，引入求精理论；第三部分介绍了Martin-Lof类型理论，及其规则定义和推导演算...

中国工程地质软件大全

工程地质学 土木工程

笑谈软件工程 烽烟中的敏捷

本书凝聚作者从事软件开发十多年来的思考与实践，从8个方面说明了如何从传统的瀑布开发过渡到敏捷开发。作者以诙谐幽默的文笔，于谈笑间揭示软件开发的现状，探讨Scrum的组成，解释何为精益，剖析软件工程的全新思维...

小型水利工程手册 蓄水工程

三峡工程坝基岩体工程研究

小型水利工程手册 渠道工程

软件工程技术及应用

本书主要包括软件工程技术基础，计划立项等方面的知识。