信息处理系统及软件布局
《信息处理系统及软件布局》,作者:赵正旭等 著 出版社:科学出版社 ISBN:9787030576309。本书内容主要包括基于传感器的人体运动信息获取、组织与分析，航天遥操作可视化子系统设计模式与重构的研究及应用，基于Perl的软件多语言支持，基于C/C++代码的静态检测技术分析与研究，软件发布机制的研究与应用，基于众科理论的国产操作系统的演化和推广研究，国产操作系统应用软件的部署探讨。本书在介绍
软件
生态学数据分析 : 方法、程序与软件
《生态学数据分析 : 方法、程序与软件》,作者:郭永良，于晶，陈国奇编著 出版社:科学出版社 ISBN:9787030439284。本书介绍了PCORD for Windows、Canoco for Windows、Curve Expert、SPSS和PAST等软件在生态学数据转换、标准化、函数拟合、遗传多样性、物种多样性、生态位、空间分布格局、聚类、排序和实验数据统计检验上的应用方法。
云计算软件工程 : 云软件自动生成原理及方法
《云计算软件工程 : 云软件自动生成原理及方法》,作者:周相兵著 出版社:科学出版社 ISBN:9787030423276。以云计算为思想，服务计算为基础，全书共分十章进行来研究一种面向云服务的软件生成原理及方法，并以构建的“旅游云”为具体的应用研究对象。全书以当前云与服务计算的研究基础，根据用户需求对Internet中的服务（含SaaS）采用爬行方法进行搜集，采用基于划分理论对这些资源进行划分，
软件可信性度量评估与增强规范
《软件可信性度量评估与增强规范》,作者:陈仪香,陶红伟著 出版社:科学出版社 ISBN:9787030625649。软件可信性度量评估与增强规范是目前计算机科学与软件工程的一个重要研究领域，其研究成果对可信软件开发等方向有重大的理论价值和实际意义。《软件可信性度量评估与增强规范》融入了作者及其研究团队近十年来承担完成国家重要研发任务的研究与应用成果，深入系统地论述了软件可信性层次化度量模型构建
10分钟软件快递. Freelance Graphics 96 for Windows 95
《10分钟软件快递. Freelance Graphics 96 for Windows 95》,作者:(美)M.奥马拉(Michael O’Mara)著；留霞，王敏译 出版社:科学出版社 ISBN:7030051300。
10分钟软件快递. Approach for Windows 95
《10分钟软件快递. Approach for Windows 95》,作者:(美)S.奥哈拉(O’Hara， S.)著；陈南，战晓雷译 出版社:科学出版社 ISBN:7030051947。
软岩工程大变形力学分析 : 原理 软件 实例
《软岩工程大变形力学分析 : 原理 软件 实例》,作者:何满潮[等]著 出版社:科学出版社 ISBN:9787030405173。本书系统论述了软岩工程大变形力学的理论、分析方法及其软件系统。全书分理论篇、实践篇和操作指南篇。
软件的可靠性与安全性
《软件的可靠性与安全性》,作者:黄锡滋 出版社:科学出版社 ISBN:7030034805。内容涉及国内外软件可靠性的基本理论、设计、可靠性的测试、软件的可靠性分配等。
ENVI遥感软件综合实习教程
《ENVI遥感软件综合实习教程》,作者:徐永明编著 出版社:科学出版社 ISBN:9787030608598。《ENVI遥感软件综合实习教程》以 ENVI 5.3 为基础，通过浅显易懂的叙述和丰富的实例，全面系统地介绍 ENVI 软件及其在遥感相关领域的综合应用。《ENVI遥感软件综合实习教程》分两篇：第一篇为基础操作篇，涵盖了 ENVI 软件工作环境、遥感数据读取、数据预处理、图像增强
