软件的设计审查 : 日本的设计审查方式
《软件的设计审查 : 日本的设计审查方式》,作者:菅野文友 出版社:科学出版社 ISBN:7030005139。本书主要叙述软件工程中的软件设计审查问题，概述了软件工程中有关可靠性的一些课题，并以通用计算机的软件为对象，叙述设计审查的实际情况等。
软件
统计学 : 基于R软件的实现
《统计学 : 基于R软件的实现》,作者:王涛主编 出版社:科学出版社 ISBN:9787030409119。本书内容包括：统计数据及其处理方法、描述性统计分析、结构性统计方法、可能性统计方法、估计性统计方法、检验性统计方法、方差分析、统计相关与回归分析等。
高中压配电网规划--实用模型、方法、软件和应用(上册)
《高中压配电网规划--实用模型、方法、软件和应用(上册)》,作者:王主丁 著 出版社:科学出版社 ISBN:9787030642844。本书对高中压配电网规划的实用模型、方法、软件和应用进行了较为系统的介绍。全书共9章，涉及电力需求及分布预测、变电站布点及其容量规划、网架结构中的接线模式和组网形态、高中压网架结构协调规划，以及中压配电网网格化规划、应对不确定性的配电网柔性规划、中压架空线开关配置和
信息处理系统及软件布局
《信息处理系统及软件布局》,作者:赵正旭等 著 出版社:科学出版社 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。
