软件

可信软件与开发方法

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

软件提供商竞争策略研究 : 基于企业用户转移行为背景

《软件提供商竞争策略研究 : 基于企业用户转移行为背景》,作者:严建援,郭海玲,胡海清 出版社:科学出版社 ISBN:9787030426093。本书主要关注企业用户转移行为下的软件提供商竞争策略问题。全书共八章,内容包括:软件市场竞争策略、SaaS模式研究、基于企业用户转移行为的SaaS采纳影响因素研究、SaaS提供商竞争策略等。

炒股软件实战应用一册通

《炒股软件实战应用一册通》,作者:架构科技编著 出版社:科学出版社 ISBN:9787030277268。本书共分上下两篇。上篇包括第1-6章,讲解了炒股必备的基础知识和技术常识,主要内容包括认识股票及股票市场、交易准备和网上交易、股票分析理论、认识K线图、K线形态分析、股价趋势分析等。下篇包括第7-19章,讲解了炒股必学的操作软件,主要内容包括常用炒股软件简介,大智慧入门及基本操作

应用多元统计分析与R软件 : 英文

《应用多元统计分析与R软件 : 英文》,作者:吴浪,邱瑾编著 出版社:科学出版社 ISBN:9787030412430。本书的主要内容包括引言、主成分分析、因子分析、判别分析和聚类分析、多元正态总体的推断、离散多元数据、连接函数模型、线性和非线性回归模型、广义线性模型、多元回归和MANOVA、纵向数据、相关专题等。

基于进化优化的软件变异测试理论及应用

《基于进化优化的软件变异测试理论及应用》,作者:姚香娟,巩敦卫著 出版社:科学出版社 ISBN:9787030426567。本书阐述基于进化优化的软件变异测试基本原理及应用,内容主要涉及等价变异体检测、基于相关性分析的变异体约简、变异测试数据进化生成及变异准则改进等。

软件网络

《软件网络》,作者:何克清[等]著 出版社:科学出版社 ISBN:9787030219763。本书介绍了软件网络的研究背景和研究现状、软件网络结构特性的分析与度量、基于复杂网络的软件结构优化和系统演化生长,同时对网络软件的结构特性进行了初步分析。

软件的可靠性与安全性

《软件的可靠性与安全性》,作者:黄锡滋 出版社:科学出版社 ISBN:7030034805。内容涉及国内外软件可靠性的基本理论、设计、可靠性的测试、软件的可靠性分配等。

软件语言及其实现

《软件语言及其实现》,作者:徐家福,吕建著 出版社:科学出版社 ISBN:7030084853。全书分为需求级语言篇;功能级语言篇;设计级语言篇;实现级语言篇。着重讲述作者设计之语言及其实现系统。侧重语言兼及实现。讨论了语言源流、设计背景、设计思想、设计原则、成分取舍、应用实况、利弊得失等。

ENVI遥感软件综合实习教程

《ENVI遥感软件综合实习教程》,作者:徐永明编著 出版社:科学出版社 ISBN:9787030608598。《ENVI遥感软件综合实习教程》以 ENVI 5.3 为基础,通过浅显易懂的叙述和丰富的实例,全面系统地介绍 ENVI 软件及其在遥感相关领域的综合应用。《ENVI遥感软件综合实习教程》分两篇:第一篇为基础操作篇,涵盖了 ENVI 软件工作环境、遥感数据读取、数据预处理、图像增强

计算机科学与软件研究 : 李未院士七十华诞纪念文集

《计算机科学与软件研究 : 李未院士七十华诞纪念文集》,作者:怀进鹏,徐宝文,许可主编 出版社:科学出版社 ISBN:9787030374738。本书收录国内外学者撰写的计算机科学与软件研究领域的论文49篇,主要反映这些学者近年来在计算机基础与理论、计算机系统与结构、软件技术、网络与大数据、计算机应用技术等方面所取得的研究成果,以及对相关领域的综述与总结。