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

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

缝洞型储层地震识别理论与方法 【天文地球】

本书从碳酸盐岩缝洞型储层地震识别的难点、技术现状出发，主要介绍了缝洞型储层的物理模拟分析、数值模拟研究、储层地震识别方法等技术。在应用实例方面，主要介绍了碳酸盐岩缝洞型储层识别的思路、储层地震成...

建材工业建设项目经济评价方法与参数 【经济】

本书由住房和城乡建设部第564号公告发布，自2010年9月1日起施行。本书分别对财务效益与费用估算、资金来源与融资方案、财务评价、不确定性分析与风险分析、方案经济比选、改扩建项目的财务评价特点、财务评...

诠释学 1 真理与方法 哲学诠释学的基本特征（修订译本） 【其他书籍】

效率与生产率度量方法及应用 【经济】

本书是作者近几年在效率与生产率研究方面的总结性文集。全书将23篇研究成果分成6部分：分别为“效率与生产率度量方法”方面的：前人做过我们创新的、前人的成果我们有所改进的、对其进行评价与比较的、应用于...

纳米毒理学与安全性研究方法 【工业技术】

本书从纳米毒理学与安全性研究中的材料表征技术、前处理方法、生物样品中纳米材料的检测技术、动物实验、细胞实验和分子水平的研究几个方面对现有的资料进行总结，探讨纳米材料与常规材料毒理学研究方法的差...

洞察力 一眼看透他人的方法与技巧 【社会科学】

本书在总结古今中外观人之术、识心之学的基础上，从最短时间内看透人心的角度出发编写而成。本书围绕人的体貌神情、衣着服饰、言谈举止、兴趣爱好、生活习惯等方面精心组稿，教你如何从细节了解大局，从现象推测...

城市内河污染治理与生态修复 理念、方法与实践 【环境安全】

本书在介绍城市内河资源与环境功能分析、城市内河水体污染与生态退化的成因与过程及效应分析、城市内河生态环境调查方法的基础上，对城市内河水利安全保障、城市内河污染控制、城市内河水质改善与生态修复、...

空中交通流量管理理论与方法 【航空航天】

本书追逐国际空中交通流量管理理论前沿与发展动态，系统、深入地介绍空中交通流量管理理论与方法。全书由上、中、下三篇组成，上篇介绍空中交通流量管理的基础和前提，包括空域容量评估，空中交通流量统计与预测等...

随机粗糙面散射的基本理论与方法 【数理化】

本书通过系统介绍随机粗糙面散射的基本理论及方法，对课题组近二十年来研究的重要成果进行了简明扼要的总结和论述。介绍了粗糙面相关基础知识，详细阐述了研究粗糙面及其与目标复合电磁散射的各种近似和数值计...