高等学校土木工程专业建设的研究与实践 第十届全国高校土木工程学院（系）院长（主任）工作研讨会论文集 【工业技术】

英语专业考研考点精梳与精练 基础英语 2011 【语言文字】

本书是一本为英语专业考研考生而准备的基础英语综合指导类图书，主要是运用英语专业的词汇学、语义学、翻译学和语用学等理论对国内几十所院校的基础英语试题的考点进行分类梳理，并辅以大量的真题与模拟题进行...

现代工程与施工企业管理 【经济】

本书以工程管理面临的实际问题为对象，根据现代管理理论，从激励机制的两个方面，探寻揭示工程管理效率和企业经营效益的途径与方法；以资源最优配置和成本控制为手段，研究工程和施工企业管理的策略与措施；以核心竞.....

《建设工程监理基本理论与相关法规》命题点全面解读 【工业技术】

本书为丛书2010全国监理工程师执业资格考试辅导用书中的部分。本书为考试系列书籍，书中内容根据最新考纲编写的以备考试。

建设工程质量计划编制实践与范例精选 【工业技术】

本书结合新的建设工程施工规范、施工质量验收规范、质量管理标准，系统地阐述了建设工程项目质量计划的编制要点、编制方法、编制要求等多种相关信息。同时，为了帮助读者更系统形象的了解质量计划编制的内容和...

卵石地层中地下铁道施工力学的颗粒离散元法模拟技术及 【交通运输】

本书是研究生教材。主要讲颗粒离散元法细观模型机理论、程序实现、模型细观阐述标定方法及其在卵石地层深基坑工程、盾构隧道、浅埋暗挖隧道中的应用，内容以四川成都地铁建设为相关背景。...

市政工程计量与计价速学手册 【工业技术】

本书主要内容包括市政工程计量与计价基本知识、市政工程定额与预算、市政工程定额与预算应用、工程量清单与清单计价、土石方工程计量与计价、道路工程计量与计价、桥涵护岸工程计量与计价、隧道工程计量与...

软件工程形式化方法与语言 【工业技术】

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

信息论与编码基础 【工业技术】

本书以香农信息论为基础，系统地介绍了通信系统中两大编码理论。重点阐述了香农信息论的基本理论、信源压缩编码及信道编码的原理与具体方法，力图将信息理论及编码理论与实际应用紧密结合。全书共分7章，其中包...

小学数与代数基础理论 【文化科学教育体育】

本书共有七章和三个附录。第一章《预备知识》，第二章《自然数》，第三章《整数性质初步》，第四章《分数》，第五章《小数》、第六章《量的计量》和第七章《数学广角》。三个附录分别是《5000以内的质数》、《有关...