书中首先介绍了虚拟现实发展概况和背景、虚拟现实系统硬件设备等虚拟现实入门知识，然后又介绍了C#基础、C#流程控制基础、C#面向对象、C#异常处理和简单案例等虚拟现实开发基础知识，最后通过三维虚拟样板间装修设计平台开发实例、沉浸式虚拟体验在《逃离废墟》中的应用开发实例、桌面级虚拟现实体验在汽车工业仿真中的应用等，深入讲解虚拟现实开发在不同领域的具体应用。

从遥感领域中一些常见应用着手，以MATLAB为编程工具，辅以实际的案例说明，详细介绍了MATLAB中可以用到的且与遥感相关的一些常见方法。本书分为上、下两篇。上篇为MATLAB基础，介绍使用MATLAB时的一些基本概念和操作，增加对MATLAB本身的一些了解，主要包括：MATLAB简介、M语言、MATLAB代码调试和优化、MATLAB可视化、MATLAB文件I/O、MATLAB编译与调用。下篇为遥感技术的MATLAB应用，介绍遥感领域应用过程中需要的基本方法及其对应在MATLAB中的相关函数和用法，主要包括：影像灰度处理、影像几何处理、大数据影像处理、特征提取与影像匹配、非监督法学习、监督法学习、坐标转换及地图投影、数值优化、自动微分。本书可以作为高等院校遥感学科相关课程本科生、研究生的教材或教学参考书，也可供从事数字图像处理、遥感应用相关的研究人员参考。

本书不仅深入浅出地介绍了DPDK的基础原理和安装调试方法，还详细介绍了DPDK在NFV中的应用场景和测试方法，并叙述了DPDK应用开发的技术细节和实践经验，是DPDK的入门必读，是了解NFV加速转发技术的**指南。

本书主要介绍企业软件测试的流程、方法和技术。本书分四大部分：理论篇、设计篇、技术篇和扩展篇。理论篇主要介绍软件测试的基础知识；设计篇主要介绍企业中真实的软件测试的流程，包括测试计划、设计、执行、结果报告等，尤其是如何对缺陷进行度量，是本部分内容的一大亮点。技术篇主要介绍系统测试过程中其他的相关测试技术，包括Web测试技术、本地化与国际化测试、兼容性测试和易用性测试。扩展篇主要介绍了当前流行的性能测试和自动化测试，通过实例讲述了性能测试和自动化测试的全过程。

本书系统地介绍了软件工程的概念、原理、过程及主要方法，内容上覆盖了ACM和IEEE制定的ComputingCurricula中有关软件工程的主要知识点。本书在介绍软件工程的基本概念和基本原理的基础上，重点介绍软件开发方法和技术，包括经典的和常用的方法，如结构化方法、面向数据结构方法和面向对象方法，以及一些软件工程的新技术和新方法，如UML2.0、基于构件的开发、敏捷软件开发、Web工程、CMM和CMMI等。此外，本书尽量采用国标、ISO标准及《计算机科学技术百科全书》对专业术语的名称及其语义解释，必要时，术语名称会同时给出其他习惯称谓。

暂缺简介...

暂缺简介...

Geomagic Studio具有强大的逆向建模功能，在我国已得到广泛的应用。该软件遵循点阶段—多边形阶段—曲面阶段的三阶段作业流程，可以轻易地从点云创建出完美的多边形模型和样条四边形网格，并可自动转换为NURBS曲面，建模效率高。其新增的曲线模块和参数化功能可以通过定义曲线、曲面特征类型来捕获物理原型的原始设计意图，并与正向软件结合进行参数化逆向建模与再设计。作者于2010年与清华大学出版社合作出版了国内**本Geomagic Studio的操作教材，得到了较好的市场评价。近几年来随着逆向工程技术的发展，该软件的功能也发生了较大的变化。因此，本教材根据该软件的*新版本，详细介绍该软件的*新功能，体现逆向工程技术*新进展。教材提供了详细的功能介绍与操作视频，帮助读者快速掌握软件操作，达到学以致用的目的。本书突出介绍逆向工程应用型人才工程素质培养要求，系统性、实用性强，可作为CAD技术人员的自学教材、大专院校CAD专业课程教材以及CAD技术各级培训教材。同时，本书对相关领域的专业工程技术人员和研究人员也具有重要的参考价值。

内容提要每天，Google都要测试和发布数百万个源文件、亿万行的代码。数以亿计的构建动作会触发几百万次的自动化测试，并在好几十万个浏览器实例上执行。面对这些看似不可能完成的任务，谷歌是如何测试的呢？本书从内部视角告诉你这个世界上成功、增长速度快的互联网公司是如何应对21世纪软件测试的独特挑战的。本书抓住了Google做测试的本质，抓住了Google测试这个时代复杂和流行软件的精华。本书描述了测试解决方案，揭示了测试架构是如何设计、实现和运行的，介绍了软件测试工程师的角色；讲解了技术测试人员应该具有的技术技能；阐述了测试工程师在产品生命周期中的职责；讲述了测试管理以及在Google的测试历史或主要产品上发挥了重要作用的人士的访谈，这对那些试图建立类似Google的测试流程或团队的人受益很大。本书还介绍了作者对于Google测试如何继续演进的见解、Google乃至整个业界的测试方向的一些预言，相信很多读者都会感受到其中的洞察力，甚至感到震惊。本书可以作为任何从事软件测试人员到达目标的指南。

本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法，实现形式规约的精化过程，形式化B方法的验证技术，从UML形式化规约的逐步精化的规范与方法问题，整个规约、精化直到代码生产阶段的模型形式化验证及自动化，基于B方法的面向对象软件体系结构的形式化方法。通过该书的介绍使得学习者真正体会到如何应用形式化技术解决实际软件开发技术问题。基于形式化方法的高可信软件的开发基本走出实验室，满足高可信软件开发的需要。