本书首先简要介绍了大数据分析与挖掘的相关概念，以及R语言的基础知识，以此来帮助读者了解、使用R语言；其次详细介绍了探索性数据分析、数据采集，以此来帮助读者了解数据的基本分析方法和数据的获取方法；然后着重介绍了目前主流的数据挖掘算法——时间序列算法、线性回归算法、分类算法、关联算法、聚类算法，从算法的原理到如何使用R语言进行算法实现都进行了详细的介绍并提供了实操代码，以此帮助读者学习数据挖掘及使用R语言完成数据挖掘任务；最后通过6个旅游行业的实际案例来帮助读者将学习到的知识运用到真实的业务场景中，

形式化方法是指有严格数学基础的软件和系统开发方法，支持软件与系统的规约、设计、验证与演化等活动。随着软件可信需求的不断增长，形式化方法的重要性和关注度日益提高。

本书共12章，第1章概述形式化方法，第2章介绍形式化方法发展早期的经典内容，其余部分共分3篇： 上篇（第3～5章）为系统建模篇，着重介绍迁移系统、有穷自动机、Petri网等基本计算模型； 中篇（第6和第7章）为形式规约篇，着重讨论时序逻辑及其在并发系统属性描述的应用； 下篇（第8～12章）为形式验证篇，着重介绍定理证明方法

本书以通俗易懂的文字全面系统地介绍了After Effects 2022的软件操作和应用，帮助读者快速而全面地掌握这款专业的后期合成软件。全书共11章，包括后期合成的基础知识、软件概述、创建和管理项目、图层、文本动画、绘画与形状工具、蒙版和跟踪遮罩、创建三维空间动画、色彩调节与校正、抠像、商业案例实战等内容，各章内容由理论和实践组成，案例丰富、由浅入深，使读者能够快速掌握Afer Effects 2022的知识点，并应用到实际的动画项目制作中。
本书附赠立体化教学资源，包括案例素材

本书旨在帮助读者深入理解嵌入式系统的体系结构、软硬件工作原理，嵌入式系统设计和软件开发所需的基础知识和思维方法，以及嵌入式系统互联(即物联网)的基础知识和编程应用。在内容组织方面，本书分为四大部分，分别为导论(第 1 章)、嵌入式系统的基本原理(第 2～3 章)、嵌入式系统设计(第 4～6 章)、嵌入式系统互联(第 7～8 章)。本书将课内理论讲解结合课内验证和课外实践，不仅理论知识覆盖较全，而且重视实践验证和应用，提供大量动手实践和验证的环节，理论知识的应用场景始终以自制开源板的应用为线索。

本书以UG NX 12.0为平台，通过具有代表性的案例，全面系统地介绍该软件在机械设计、机械加工领域的具体使用方法和操作技巧。
本书共7个项目，分别是：UG NX基础操作、二维草图绘制、实体建模、曲面建模、装配设计、工程图设计、CAM数控加工。全书共18个任务，基本涵盖了UG中涉及的知识点，内容上有基础，有提高，具有较强的针对性和实用性。本书在讲解的过程中使用了大量图、表，以方便读者轻松掌握相关操作。每个项目后附有巩固练习题，使读者可以及时检测知识和技能的综合运用情况。另外，本书配备了丰富

在本书之中会从零开始为读者详细地进行Spring开发框架的原理分析，并且通过一系列的案例讲解Spring开发应用的基础模型，并基于此模型进行不断的应用结构扩展，除了核心的IoC&DI、AOP技术之外，还讲解Spring JDBC、事务处理框架、Spring Data JPA、Spring Cache以及常见的RabbitMQ消息组件于Spring AMQP服务整合。
除了核心的技术实现之外，本书也针对当前Java面试中常见的问题进行了总结，同时通过功能管理的设计方式进行了Spri

本书总结了作者团队近十多年来在信息隐藏和数字水印领域取得的科研成果，同时参考了国内外**科研成果，是一部理论联系实际的专业理论著作。书中重点介绍了信息隐藏与数字水印基本理论及原理，并分析了相关的典型算法，其中数字水印算法的主要内容包括经典的数字水印算法、基于视觉模型的数字水印算法、基于神经网络的零水印算法等；信息隐藏算法的主要内容包括二值图像信息隐藏算法、无损可逆信息隐藏算法及加密域可逆信息隐藏算法。许多算法以丰富的实例进行说明。

本书系统介绍移位寄存器序列理论，内容包括线性反馈移位寄存器序列、与门网络序列、钟控序列、环Z/(N)上的线性递归序列、带进位反馈移位寄存器序列和非线性反馈移位寄存器序列等。

这是一本面向零基础读者的Python程序开发入门书。全书以算法设计为主线，以大量生动有趣的项目案例为依托，以图表、动画、视频、实际操作等多种知识呈现的形式深入浅出地介绍了Python程序设计的基本知识和应用技巧。同时，书中还融入了精心设计的思政要素，力求达到传授知识、培养能力和塑造价值的有机融合。
全书共8章。主要内容包括Python初步、简单程序设计、分支程序设计、循环程序设计、组合数据类型及其应用、函数及其应用、文件及其应用、使用第三方库等。
本书结合作者多年的教学经验编写而成，