软件

软件的可靠性与安全性

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

可信软件与开发方法

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

Applied C++中文版——构建更佳软件的实用技术

《Applied C++中文版——构建更佳软件的实用技术》,作者:(美)Philip Romanik,(美)Amy Muntz编著;红然译 出版社:科学出版社 ISBN:9787030328007。本书共8章,内容包括:一个测试应用、设计技术、设计构思、系统构思、实现构思、测试与性能、高级主题等,附录内容了有用的在线资源及原光盘信息。

10分钟软件快递. 基于Word的Internet Assistant

《10分钟软件快递. 基于Word的Internet Assistant》,作者:J.M.罗奇 出版社:科学出版社 ISBN:7030051351。本书全面介绍了Microsoft公司的Internet Assistant的基本功能和使用方法。全书分21课讨论了Internet Assistant的获取途径、安装方法,及其作为Internet上FTP,Gopher和WWW的客户软件的使用方法,以及

网络安全与“免疫软件人”应用

《网络安全与“免疫软件人”应用》,作者:马占飞 出版社:科学出版社 ISBN:9787030443458。本书在介绍网络安全基础知识、基本理论、典型防御技术以及免疫网络系统等内容的基础上,提出“免疫软件人”的概念及理论体系,并将“免疫软件人”应用到网络信息安全领域,构建基于多“免疫软件人”联盟的网络安全系统,设计基于“免疫软件人”特性的检测器生成模型计算法,并从理论和应用层面对模型及

软件网络

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

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

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

电脑常用软件巧学妙用

《电脑常用软件巧学妙用》,作者:刘玉萍,李宝东等编著 出版社:科学出版社 ISBN:7030103564。本书以Windows 9x/2000为系统平台,总结了使用Windows操作系统、Word及上网的经验,介绍了实用操作技巧及常见问题的处理。

炒股软件实战应用一册通

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

10分钟软件快递Excel for Windows95

《10分钟软件快递Excel for Windows95》,作者:(美)T.赖斯纳(Trudi Reisner)著;周晓牧,王梅君译 出版社:科学出版社 ISBN:7030051270。本书以25课篇幅介绍了在Windows 95环境下的Excel电子表格软件基本功能的使用与操作。读者可以在10分钟内完成一课的学习。本书内容可操作性强,按照书中给出的操作步骤及内容实际操作即可掌握基本功能的使用。本