本书是作者多年从事网络课程教学和实践工作的心得之作，根据应用型本科人才培养特点，结合社会对高层次应用型技术人才在计算机网络理论知识和应用能力两方面的要求编写而成。本教材合理安排了理论教学、动手操作、思考和自学等内容。全书结构新颖、叙述流畅，理论和实践结合紧密，重点和难点内容突出，合理安排理论教学、动手操作、思考和自学等内容。

本书共6章，在已有的流媒体技术理论的基础上，较为系统地讨论流媒体传输过程巾涉及的关键性问题。主要内容包括流媒体传输过程巾的缓存技术、拥塞控制、代理服务器集群技术以及移动环境下流媒体传输等问题，在相关问题的阐述过程中不仅针对具体理论问题展开研究，而且还给出了在实际环境下的测试效果和仿真测试效果。本书的特点是概念准确、论述严谨、图文并茂，既重视基本原理的阐述，又力图反映流媒体技术的一些新发展。

《统计计算与软件应用（第2版）/高等学校“十三五”规划教材》是在《统计计算与软件应用》首版的基础上修订而成的。内容包括常用概率分布的分布函数、分位数的算法及程序实现，常用随机变量产生的算法与程序实现，概率中典型问题的计算机模拟实验，参数区间估计的软件实现，以及统计中假设检验、回归分析、方差分析、方差分析应用、聚类分析、判别分析、主成分分析、因子分析、典型相关分析、时间序列分析的基本方法和软件实现等。《统计计算与软件应用（第2版）/高等学校“十三五”规划教材》通过实际案例引导读者利用统计软件来解决实际问题，加深读者对概率知识的理解，提高对统计知识的应用能力，达到利用统计知识，结合统计软件，解决实际问题的能力。《统计计算与软件应用（第2版）/高等学校“十三五”规划教材》可作为高等学校统计专业高年级学生学习统计软件的教材，也可供需要用统计软件解决实际问题的读者阅读、参考。

暂缺简介...

暂缺简介...

暂缺简介...

UML软件建模是软件系统分析和设计过程的重要内容，《UML软件建模项目化教程/“十三五”应用技术型人才培养规划教材》分析了UML建模技术岗位的实际需求，应用主流的建模工具软件，以经典的项目案例为载体，详细介绍了UML建模基础知识和实践技能。《UML软件建模项目化教程/“十三五”应用技术型人才培养规划教材》的UML软件建模工具软件采用的是Enterprise Architect（V12）中文版。按照“项目导向、任务驱动”的教学方法，以“eshop购物商城系统”和“高校图书管理系统”两个项目案例贯穿整个教程。《UML软件建模项目化教程/“十三五”应用技术型人才培养规划教材》通俗易懂，强化学习者能力的培养，将知识理解能力、技能实践能力有机结合，具有较高的实用价值。《UML软件建模项目化教程/“十三五”应用技术型人才培养规划教材》适合作为应用型本科、高职高专院校软件工程及UML建模的教材，也可作为广大软件设计人员学习或参考书籍。《UML软件建模项目化教程/“十三五”应用技术型人才培养规划教材》免费提供教学课件及相关教学资源。

本书系统地介绍了目前流行的常用工具软件的用途和使用技巧，主要包括系统维护工具、音频视频工具、文档翻译工具、办公社交工具、图像处理工具、磁盘光盘工具6类。本书内容全面、语言流畅、实例丰富、图文并茂、实用性强。通过本书的学习，读者可以迅速、轻松地掌握常用工具软件的用法。

本书系统论述了Exadata原理、架构及其实施运维实践。全书分为4章，分别对应Exadata实施运维中的四个不同主题。第1章为Exadata刷机安装，简要地介绍Exadata的历史和软硬件架构，为后续运维打好基础；同时详细讲解Exadata的各种刷机工具、刷机方式和安装初始化步骤； 最后手把手地教授如何搭建新版本的Exadata虚拟环境。第2章为Exadata管理工具，详尽地阐述Exadata运维相关的绝大部分管理工具。第3章为Exadata硬件更换，介绍Exadata的大部分易损硬件的更换工作。第4章为Exadata组件升级，详尽地讲解Exadata升级的方方面面以及组件之间的各种兼容及依赖关系，结合诸多的升级案例讲解Exadata存储软件版本变化带来的不同升级方式。 \n本书适用于数据库管理员、数据库开发者、存储管理员、主机工程师、系统架构师、数据库爱好者。本书假定读者已经熟悉Oracle数据库，所以没有详细解释Oracle数据库的工作原理，除非数据库涉及Exadata相关的特性。由于Exadata是一个硬件和软件一体化的数据库平台，所以希望读者对Linux操作系统和网络方面的知识也有所了解。

《构件化软件动态更新与验证技术》对应研究中，从构件化软件在运行时过程中动态更新的功能和非功能需求着手，首先分析研究在构件化软件中提供动态更新支持需要解决的关键技术问题及其解决方案；其次是结合动态模块化、事务处理、状态迁移等动态更新支持需求，扩展高阶π演算（HOπ演算），以分别刻画动态模块化、事务处理和状态保持等动态更新支持机制，开发一种刻画构件化软件动态更新的形式化演算（称为updateπ演算），以期为动态更新安全性、一致性等的保证提供形式化推演机理；*后构建动态更新服务框架和支持平台，试图对所提议的关键技术问题及其解决方案加以技术实现，通过原型案例和实验分析来推导和验证构件化软件动态更新所采用的技术和方法。