虎维岳，何满潮主编2008 年出版388 页ISBN：9787502031695
本书重点提出了煤矿瓦斯防治信息集或与安全导航技术，介绍了瓦斯防治导航技术原理和系统构成，瓦斯防治导航监控管理，煤矿专用地理信息系统的研究和设计，三维可视化系统关键技术的研究和实现等内容。...
赵文智等著2019 年出版352 页ISBN：9787030585479
本文重点研究了高效天然气藏形成机理、分布特征及资源潜力等问题。提出了高效气源灶、优质储层保持机理与源储剩余压力差等重要概念，并总结提出了高效天然气藏形成条件与分布规律，评价了我国高丰度天然气资源...
崔梦天，韩伟著2012 年出版133 页ISBN：9787561457290
本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。...
樊代明主编2015 年出版244 页ISBN：9787566208767
本书是全面介绍肿瘤研究进展的系列著作——《肿瘤研究前沿》的第15卷。全书共分为10章，介绍肿瘤耐药、增殖、转移等研究领域的最新进展，反映的内容都是当前肿瘤研究的热点和前沿。本书可作为相关专业研究人员...
陈衍，房巍，程宇等著2008 年出版574 页ISBN：9787560140209
本书从职业院校专业设置和原则出发，探讨了专业设置的数学模型和计算机的软件开发，以向量的形式给出了专业设置的函数模型，为科学地设置专业提供决策支持。...
贾金生，赵春，郑璀莹等著2014 年出版239 页ISBN：9787550907225
本书以构建全国水库大坝数据库、病险水库大坝数据库、溃坝库等平台为基础，着重阐述了多年来在水库大坝相对安全度评价研究方面的科技成果与应用实践，阐述了基于比较研究的新理念、新模型与新方法，总结了国内外...
高志强（等）主编2006 年出版257 页ISBN：7502154388
本书全面分析了目前我国石油勘探开发工程项目监督管理的客观情况，探讨了其理论体系和实践方法。
汪三贵，杨龙，张伟宾等著2017 年出版299 页ISBN：9787514185980
本书从中国特殊类型贫困地区农村贫困基本情况出发，通过分析新时期中国特殊类型贫困地区农村发展和反贫困的制约因素，确定影响中国不同类别特殊型贫困地区农村扶贫开发效果的主要因素，研究如何更加有效地加大对...
