开发

可信软件与开发方法

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

新型安全饲料添加剂研制与开发 | Research and development of the new safe feed additives2版

《新型安全饲料添加剂研制与开发 | Research and development of the new safe feed additives2版》,作者:王建华主编 出版社:科学出版社 ISBN:9787030213389。本书为“十五”863计划“新型安全饲料添加剂研制与开发”两期课题的成果汇编。内容覆盖了生化与分子生物学、微生物学、植物和动物生理学、植物和动物营养学等不同学科。

计算机网络软件设计、开发与编程

《计算机网络软件设计、开发与编程》,作者:陈洛资等编著 出版社:科学出版社 ISBN:7030041941。本书论述了怎样扩充已有的计算机网络资源和如何在计算机网络下有效地开发应用软件工具与系统,并介绍了一个完整的异型机和异型网络互连系统的设计与编程。

Delphi 7开发基础教程 : Delphi初级程序员认证

《Delphi 7开发基础教程 : Delphi初级程序员认证》,作者:牛汉民,孙桂萍编著 出版社:科学出版社 ISBN:7030150473。全书共分7章,内容包括Delphi开发语言与操作程序设计开发,操作系统编程的相关问题及其解决方案,文件系统编程的相关问题及解决方案等。

民勤绿洲的开发与演变 : 近2000年来土地利用/土地覆盖变化研究

《民勤绿洲的开发与演变 : 近2000年来土地利用/土地覆盖变化研究》,作者:颉耀文,陈发虎著 出版社:科学出版社 ISBN:9787030217493。本书共分为七章,内容包括:土地利用/土地覆盖变化研究的意义、民勤盆地概况、土地利用/土地覆盖重建方法、考古调查与遥感影像解译、历史时期土地利用/土地覆盖重建等。

生态化虚拟环境的设计与开发

《生态化虚拟环境的设计与开发》,作者:张立新,张丽霞著 出版社:科学出版社 ISBN:9787030306623。本书共分4个专题14章,内容包括:生态化虚拟学习环境设计的基本原理、生态化虚拟学习环境中个体与种群的组织与管理、生态化虚拟学习环境中教与学活动的设计、生态化虚拟学习环境中学习支持与评价系统的设计等。

中国水土流失防治与生态安全. 开发建设活动卷

《中国水土流失防治与生态安全. 开发建设活动卷》,作者:水利部,中国科学院,中国工程院[编] 出版社:科学出版社 ISBN:9787030262523。本书介绍了我国“十五”期间开发建设项目水土流失防治情况。包括开发建设项目水土流失考察的技术路线、“十五”其间开发建设项目概况、水土流失特点与危害、水土保持工作与成效、城市水土保持等内容。

稠油资源地质与开发利用

《稠油资源地质与开发利用》,作者:牛嘉玉等编著 出版社:科学出版社 ISBN:7030105370。本书在分析和总结国内外稠油和天然沥青的勘探、开发与加工利用经验的基础上,探索该类资源地质特征、开采技术与方法以及加工和利用等方面的特性。

地区贫困与贫困地区开发

《地区贫困与贫困地区开发》,作者:邹德秀主编 出版社:科学出版社 ISBN:7030075927。地区贫困是在历史发展中形成的。地区贫困是中国社会、经济均衡发展的障碍。贫困地区开发是个重大的现实问题和特殊的理论问题。本书论述了地区贫困的历史和战略方位,揭示了地区贫困的本质,分析了中国贫困地区的分布、特征及形成的原因,提出了治理地区贫困的理论对策。目前扶贫工作进入攻坚阶段,从理