多智能体系统协调控制是控制领域的研究热点，正渗透到社会系统、生物系统、军事系统、经济系统等众多领域中，其相关的研究已成为目前学术界一个具有挑战性的研究课题。《多智能体系统的协调分析与控制》系统地介绍作者近年来在多智能体系统的协调分析与控制领域的研究成果，具体内容包括线性多智能体系统的有限时间编队跟踪控制、包含控制、编队包含控制，以及非线性领导者-跟随者多智能体系统的多编队控制问题、异质多智能体系统的输出一致性、固定时间二部一致性、二部输出一致性问题等。

这本实用指南全面解释了物联网、机器—机器通信和自动化背后的技术。《安全物联网系统设计》由来自领先公司的专家团队撰写，涵盖了系统设计、协议、要求和设计的方方面面。通过本书，你会发现如何设计具有信任和安全的物联网设备和网络。本书以工业自动化案例研究和来自广泛领域的模拟实例为特色。 覆盖范围： ● 物联网架构和技术基础 ● 互联机器和M2M通信 ● 网络协议和架构 ● 物联网硬件设计基础 ● 广域网、IP和MAC配置 ● 物联网数据系统设计 ● 信任和安全设计 ● 数据安全政策和法规 ● 网络安全威胁和风险 ● 自动化 ● 跨行业使用案例 ● 行业合规性和标准

《Office 2021电脑办公基础教程（微课版）》以通俗易懂的语言、翔实生动的操作案例、精挑细选的使用技巧，指导初学者快速掌握Office 2021的基础知识以及操作方法，分别介绍了Word 2021文档编辑入门、编排Word文档格式、编排图文并茂的文章、创建与编辑表格、Word高效办公、Excel 2021工作簿与工作表、输入与编辑数据、定制和美化工作表、公式与函数的应用、数据分析与图表制作、PowerPoint 2021演示文稿基本操作、美化和修饰演示文稿、设计与制作幻灯片动画、放映与打包演示文稿、Office 2021其他组件及高级应用等方面的知识。 Office 2021电脑办公基础教程（微课版）》面向学习Office的初、中级用户，既适合各行各业需要学习Office软件的人员作为自学手册使用，也适合作为社会培训机构、高等院校相关专业的教学配套教材或学习辅导书。

《Premiere 2022视频编辑基础教程（微课版）》通过通俗易懂的语言、精挑细选的使用技巧、翔实生动的操作案例，引导读者由浅入深地学习Premiere。全书共13章，包括视频编辑基础、Premiere 2022基本操作、管理素材与合成视频、编辑与剪辑视频、视频的过渡转场效果、字幕与图形设计、编辑与制作音频、关键帧动画、添加与应用视频效果、颜色的校正与调整、叠加与抠像、渲染与输出视频等内容，读者通过学习这些内容并配合一系列的实例练习，有望成为精通视频制作和剪辑的高手。Adobe官方网站提供Premiere 2022软件下载，软件界面显示为Premiere Pro 2022，与本书介绍的为同一款软件。《Premiere 2022视频编辑基础教程（微课版）》涵盖Premiere 2022软件低、中、高级技术要点，内容全面，实例丰富，可操作性强，既适合Premiere零基础读者学习，也可供从事电影电视、短视频制作、广告设计等行业的用户学习使用，同时还可以作为社会培训机构及高等院校的教材或者教辅用书。

本书以“数据库原理与应用”课程的教学需要为基础，以模块为编写单位，结合实际应用场景，培养学生使用数据库技术解决实际问题的能力。本书内容主要包括数据库概述、数据模型与数据库系统结构、SQL语言基础及数据定义功能、数据操作、高级数据查询、视图和索引、关系型数据库理论、数据库设计、事务与并发控制、Transact-SQL程序设计、存储过程、游标和触发器SQL Server 2014的安全性管理以及备份和恢复数据库11个模块。每个模块后还附有思考与操作题，有利于读者巩固知识点。本书适用于职业教育计算机、软件工程、信息管理等专业的数据库课程，也可以作为从事数据库系统开发人员的参考用书。

本书致力于在课堂学习行为分析这一精细领域利用基于深度学习的计算机视觉技术推动教育智能改革，为实现个性化教学、提升教学质量、促进教育公平提供一系列方法和策略。本书系统的介绍了计算机视觉技术与课堂学习行为相结合的这一必然发展趋势，从数据集构建、关键技术的模型方法提出、精准的应用实施三个方面展开了细致的论述。其中涉及的计算机任务主要包括面部表情识别、视线估计、头部姿态估计以及人体姿态估计，通过总结过去十余年课题组在这些方面的实践经验，以期为国内探索实现规模化教育与个性化培养的有机结合提供一定的借鉴和指导。

本书系统且全面地梳理了模型检测量子系统的原理以及基于这些原理的算法，涵盖作者相关论文中的重要研究成果。本书讲解如何应用模型检测技术来验证量子工程系统的正确性、安全性和可靠性，包含步骤详尽的算法以及丰富的示例和练习。书中首先介绍模型检测和量子理论的基础知识，然后讨论量子自动机、量子马尔可夫链和量子马尔可夫决策过程的可达性问题，介绍求解这些问题所需的数学工具和算法，之后介绍一系列用于检测超算子值马尔可夫链的计算树逻辑或线性时序逻辑的算法，后指明该领域的发展方向。

本书是面向高等职业院校大数据技术与应用专业核心课程的“双元”教材，通过对一个实际应用场景的贸易出口大数据分析项目的任务进行解构，深入浅出地介绍了大数据基础知识，大数据平台部署与运维，数据采集，数据清洗、处理和存储，数据分析，数据挖掘及数据可视化等内容，为学生在实践中解决遇到的大数据问题提供思路和方法。本书按照“双元”教材要求编写，贯彻理论精简的原则，注重基础性，流程性，突出实践性，适合于大数据技术与应用专业作为专业教材使用，可作为其他专业的大数据方向选修课教材，同时也适用于大数据有关技术从业人员作为技术提升学习使用。

工业互联网是现代信息技术与工业体系深度融合的全新工业生态、关键基础设施和新型应用模式，是支撑制造业高质量发展的“新基建”之一。本书重点介绍了工业互联网平台的概念和发展历史，国内外典型工业互联网平台的架构和特点，工业互联网边缘层、PaaS层和SaaS层的关键技术，以及工业互联网在流程制造业和离散制造业的应用案例。本书可作为高校研究生、政府工作人员、企业技术人员理解和学习工业互联网关键技术及应用的重要参考书。

本书重点关注和介绍Spring Boot 2框架的技术应用。Spring Boot是目前微服务架构使用为广泛的框架之一，一旦开发人员掌握了该框架的配置和使用技巧，则对于当前微服务应用的开发将得心应手。本书详细介绍了Sping Boot 2的开发环境、开发方式、数据库应用、MVC、RESTful、安全及测试等。对于刚开始接触微服务架构、Spring Boot的开发人员来说，这是一本很适合的书籍。本书介绍的内容较多，但都是当前基于微服务架构的应用所需，内容翔实并提供所有源码。对于已有开发经验的Spring开发人员来说，这也是一本有价值的参考书。本书案例源码均由作者亲自编写，其中包含了很多有用的方法与使用技巧。本书适合初级、中级Java开发工程师，以及从其他开发语言（如PHP、C、Python等）转向Java微服务的开发工程师使用，也可作为互联网应用研发人员、自学Java开发的大中专院校学生的参考读物。