本书对分布式算法进行了全面介绍，包括同步模型、异步模型和部分同步模型，针对这些模型讨论互斥性、一致性和通信问题，为设计、实现和分析分布式算法提供了蓝图。本书对分布式算法领域的许多经典问题给出了多种解决算法或者不可能性结果，绝大部分的算法附有详细的证明过程，并且有jing确的复杂度衡量。本书还配有大量习题，并在每章后列出

算力、数据、AI已经成为驱动当今社会技术发展的三架马车，而算力也从传统的超级计算向云超算的方向发展。本书旨在探讨当前超级计算与云计算的融合而给算力带来的新的发展，介绍当前在算力领域的一些实践和探索，从理论到工程，帮助读者了解超级计算的关键技术与未来发展，从而更好地应用和发展高性能技术。

本书从Veeam的基础知识开始，首先介绍VeeamBackup&Replication的安装、实践和优化，讨论如何运用3-2-1-1-0规则来保护数据，如何创建备份服务器、备份代理、存储库等，还对Veeam11中新增的强大功能――CDP进行了探讨。接下来，本书深入介绍了不可变性（亦称强化的存储库）并讨论其创建方法和实践

物联网是描述设备、机器和系统的智能网络，并为提高供应链和生产过程的自主性、效率和透明度做出了重大贡献。本书针对的是希望在物流和生产中使用物联网应用程序以使其公司适合工业4.0的专家和经理。本书使用了来自物流、生产、维护和维修领域的大量实例，解释了物联网在工业环境中的应用领域，并介绍了实施物联网项目的策略和实践。任何在物

《Proteus实战攻略：从简单电路到单片机电路的仿真》主要介绍使用Proteus进行单片机电路设计和仿真的方法。本书内容涉及数字电路的基础知识及仿真、模拟电路的基础知识及仿真、51系列单片机的应用、PIC系列单片机的应用、AVR系列单片机的应用以及相关编译器使用方法。其中仿真验证了部分数字电路和模拟电路的基础知识，介

本书从影视创作和实际应用的角度出发，以通俗易懂的语言文字，循序渐进地讲解AfterEffects在影视合成方面的基本知识与核心功能，包括影视特效制作基础知识、图层的变换属性动画、形状绘制工具与轨道遮罩、千变万化的形状动画、生动有趣的文字变化效果、三维空间的运用、抠像与跟踪技术、影视后期特效制作核心工具。书中案例大多来自

本书主要围绕不同的进化算法时间复杂度分析方法展开介绍，包括基于Markov过程的理论、分层估计理论、漂移分析理论、关系模型理论、平均增益理论、带噪声的进化算法的时间复杂度分析理论，并且提供了配套的软件工具辅助读者开展实践。本书对进化算法的理论研究进行了分析、归纳和总结，写作内容严谨易懂，逻辑清晰严密。

"《Linux从入门到应用部署实战》以CentOS7为基础，从入门读者的角度介绍Linux基础与进阶知识，帮助他们快速上手和提高，并从程序员的角度介绍常用软件的安装与部署，帮助他们解决实际开发中的一些问题。本书每章后都设置练习题和实验题，并提供参考答案，帮助读者巩固和提高。另外，本书还提供306分钟配套教学视频与教学课

"《Java从入门到项目开发实战（视频教学版）》从项目角度出发来设计相关内容，从零基础开始到水平逐步提高最后到项目实战，内容分为基础篇、提高篇和电商项目实战篇3篇。基础篇兼顾了易学性和实用性，在基础知识上侧重由浅入深、理论和案例相结合，辅助以故事点缀，方便读者快速打基础。提高篇则进一步安排了接近实战、相对复杂的学习内容

本书从分布式系统的基础概念讲起，逐步深入分布式系统中间件SpringCloudAlibaba进阶实战，重点介绍了使用SpringCloudAlibaba框架整合各种分布式组件的完整过程，让读者不但可以系统地学习分布式中间件的相关知识， 而且还能对业务逻辑的分析思路、实际应用开发有更为深入的理解。 全书共分5大章节，第1