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

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

软件开发的形式化工程方法：结构化+面向对象+形式化 【其他书籍】

复杂天然气藏储层特征及渗流规律 【天文地球】

本书是针对低渗气藏和火山岩气藏这两类复杂气藏在开发中所面临的实际问题，利用核磁共振等理论对其特征和规律进行论述。

IT项目开发风险管理：理论与方法 【经济】

本书以IT项目开发全面风险管理体系为框架，分别论述了风险辨识、风险评估、风险监督与控制和风险管理保障体系中的若干理论和方法，论证了概要风险计划和详细风险计划的编制原则，提出了风险监督机制和机理，进行了...

中药材采收加工学 【医药卫生】

本书为药用植物资源开发利用及相关专业的专业基础课教材。全书共分16章。前8章分别为绪论，中药材采收的理论基础，中药材产地初加工理论，中药材净制的方法及设备，中药材切制的方法及设备，中药材烘干方法及设备，中....

水平井油藏工程设计 【工业技术】

本书阐述水平井油藏描述概念的内涵、油藏三维地质建模方法、油藏工程开发论证及地质设计等内容。

注聚油藏动态模型及剩余油分布 【天文地球】

本书系统研究和揭示了分流河道砂储长期高压注水、注聚后宏观、微观、流场演化机理和演化规律。

复杂断块油藏形成机理和成藏模式 【天文地球】

本书对复杂断块油藏形成的构造动力特征、烃源岩特征、储盖组合模式、成藏机理进行了详细论述。

浊积扇油藏研究 以广利周缘地区为例 【天文地球】

本书是作者的博士论文。系统进行了构造、沉积相、古地形、储集性能、油气成藏系统的研究。

扶贫开发模式与方法研究：甘肃省西部扶贫世界银行贷款项目区 【经济】

本书系统总结了甘肃省西部扶贫世界银行贷款项目建设和多年的扶贫开发实践，深入分析了甘肃省西部扶贫世界银行贷款项目管理的经验和教训，特别是对甘肃省探索的参与式扶贫、整村推进、科技扶贫等方法进行了回顾...