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

开发第一因素 调动煤矿职工积极性的理论与方法 【经济】

本书分析了职工积极性的理论内涵、表现特征、形成机制及作用功能等理论问题

油气田开发地质方法论与实践 【天文地球】

本书介绍了油气田开发过程中的研究思路和技术方法，包括油气层精细划分与对比、层序地层学理论、地震属性特征与储层预测、陆相沉积砂体类型与描述、砂岩储层构型、油藏描述、油气藏综合评价等，最后对非常规油...

高含水期油田开发技术和方法 【工业技术】

本书共分3篇19章。以胜利油田多年来生产、科研实践为基础，结合国内外先进方法，第一篇阐述了油藏描述和研究剩余油分布，对开发中后期油藏描述建立地质模型；第二篇和第三篇以大量的油气开发实践和相应的技术创新...

青藏高原矿产资源开发的地质环境承载力评价方法研究 【工业技术】

制度优势与方法创新 国家开发银行中长期信贷管理方法与实践 【经济】

本书运用制度经济学和合同理论作为主要分析工具，在大量实地考察、访谈和占有文献资料的基础上，分“制度变迁、流程与工具创新、运行机制和实践经验”三个部分，在理论和实践两个方面对国家开发银行中长期信贷管...

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

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

四川省矿山开发遥感监测方法与实践 【工业技术】

基于“川西南与浙东重点矿集区矿山开发遥感调查与监测”项目的相关成果，本书较为系统、全面地阐述了四川省矿山开发遥感调查与监测的内容、技术体系和方法，结合大量实例对四川省重点矿集区成矿远景、矿产资源...

深盆油藏 松辽盆地扶杨油层油藏形成与分布 【天文地球】

本书通过物理模拟实验和机理的研究，探索了深盆油藏形成理论和形成条件，介绍了松辽盆地扶杨油层深盆油的形成、分布规律以及深盆理论指导下的勘探实践。...

B方法与形式化软件开发技术研究 【工业技术】

本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。...