开发

可信软件与开发方法

《可信软件与开发方法》,作者:崔梦天,赵翠新,王玉红 出版社:科学出版社 ISBN:9787030493002。本书以可信软件开发为主线,从软件实际开发过程出发,对可信软件开发的技术、方法和过程进行分析和研究,系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法。其中包括从UML模型图到B方法形式规约的比较全面的转换方法,实现形式规约、精化直到代码生产阶段的模型形式化验证及自动

RNA干扰技术 : 从基础科学到药物开发

《RNA干扰技术 : 从基础科学到药物开发》,作者:(美)K.阿帕萨尼(Krishnarao Appasani)主编;殷勤伟等译 出版社:科学出版社 ISBN:9787030188595。本书内容包括:RNAi、siRNA、microRNA及其基因沉默的原理,siRNA的设计和合成,载体的研究以及体内外和卵内的递送系统,模式生物体中的基因沉默等。

中国天然气地质与开发基础理论研究

《中国天然气地质与开发基础理论研究》,作者:赵文智等著 出版社:科学出版社 ISBN:9787030585479。  《中国天然气地质与开发基础理论研究》为国家重点基础发展计划(973)“高效天然气藏形成分布与凝析、低效气藏经济开发的基础研究(2001CB2091)”与“中低丰度天然气藏大面积成藏机理与有效开发的基础研究(2007CB2095)”十年研究成果的凝练,分为天然气地质、地球物理和

单片机设计与开发

《单片机设计与开发》,作者:全国电子专业人才考试教材编委会[编] 出版社:科学出版社 ISBN:9787030238863。本书内容包括考试说明、考试大纲、理论考试部分、实际操作考试和考试基础知识五部分。

开发建设项目水土保持

《开发建设项目水土保持》,作者:朱首军,黄炎和主编 出版社:科学出版社 ISBN:9787030374967。本书从水土保持方案报告书编制的角度,介绍了开发建设项目水土保持的基本概念、编制开发建设项目水土保持方案的意义和作用、水土保持法律法规体系中关于开发建设项目的有关规定、开发建设项目水土流失的防治特点、水土保持方案报告书编制的基本规定等内容。

露水资源监测与开发

《露水资源监测与开发》,作者:徐莹莹著 出版社:科学出版社 ISBN:9787030608093。露水作为一个环境因子,对植被和动物的生长与分布具有重要意义,其生态效应是多方面的。露水是重要的湿沉降组成部分,但由于它的凝结量小,人们对它的认知水平有限。在水资源日益紧张的今天,露水作为一种资源应该得到合理的开发和利用。《露水资源监测与开发》由浅入深,介绍了露水的形成过程、影响因

JSP与网站开发编程实战

《JSP与网站开发编程实战》,作者:博嘉科技组编;Donny编著 出版社:科学出版社 ISBN:7030094476。本书对JSP的基础知识进行了简单的讲解,重点介绍了Java、Servlet、Java Beans和JSP相关的其他语言,JHTML,SHTML的技术知识。

中国不同类型天然气藏开发规律与技术政策

《中国不同类型天然气藏开发规律与技术政策》,作者:贾爱林 主编 出版社:科学出版社 ISBN:9787030548658。  “十一五”以来,我国天然气探明储量和产量呈现出快速发展的态势,天然气作为一种高效清洁能源,在我国能源结构中占据越来越重要的地位。目前中国石油天然气开发形成了长庆、四川、塔里木和青海四大气区的发展格局,低渗-致密砂岩气藏、碳酸盐岩气藏、异常高压气藏、高含硫气藏、火山岩气藏和疏

低丘缓坡山地开发土地规划与监管技术研究

《低丘缓坡山地开发土地规划与监管技术研究》,作者:张洪等著 出版社:科学出版社 ISBN:9787030595201。《低丘缓坡山地开发土地规划与监管技术研究》针对我国西南山地区域地质环境多样、生态敏感度高、景观完整性较好的特点,面向我国山区社会经济发展和城镇化建设对低丘缓坡山地开发利用的现实需求,从国土规划角度,着力解决西南山地生态脆弱地区国土开发面临的哪些山地可以适度开发、如何在生态安全约束

页岩储层微观评价与开发模拟实验技术

《页岩储层微观评价与开发模拟实验技术》,作者:胡志明等 著 出版社:科学出版社 ISBN:9787030620422。本书根据川南地区页岩气藏地质数据和完井数据,分别从理论研究、物理模拟及数值模拟系统研究了页岩储层微观评价方法并形成了页岩气开发模拟实验技术的理论成果。全书共分为六章,首先介绍了国内外页岩气发展进程和相关实验技术发展现状,并依次探索了页岩气藏与储层物性特征、页岩微观结构特征与储集空