格值Domain理论作为Domain理论的一个重要分支，有较大的理论研究价值和较好的应用前景，可为并发式语言提供量化模型。目前，该理论已有一些有价值的研究成果， 对相关结构语义学的研究不但可以推动该领域的发展，而且可以为程序设计语言指称语义学的发展提供坚实的数学基础，同时由于与其他学科交叉、 渗透，使得它的研究内容更加丰富， 研究意义更大。 本书综合运用Domain理论、范畴论、模糊集理论和模糊拓扑学等相关知识，系统地研究了格值Domain理论及其范畴性质。本书的主要内容是作者近几年来研究工作的总结，同时也兼顾国际上此领域中的研究成果。 全书共七章，具体内容包括： 格值预连续偏序集的范畴性质， 格值偏序集范畴的满子范畴， 代数格值domain范畴的等价范畴，格值有界完备domain的乘积范畴和格值ZL紧完备偏序集的范畴性质等理论。

本书从实践出发，包括了作者参与并主导的3家电商互联网公司架构从0到1的构建经历，从多个角度讲解稳定、性能、效率、成本四大职责落地经验，并结合Mikey金字塔进行了部分创新，很多内容都可以直接复用于实际工作。本书分为7篇，分别是开端篇、监控篇、故障篇、容量篇、全局视角篇、性能篇和扩展篇。 本书适合互联网行业内的运维人员、SRE和DevOps工程师、架构师、技术团队负责人及关注用户体验的相关开发者阅读，也适合掌握了一定的SRE方法论但在实践中无从下手的读者阅读。

当前，世界正面临百年未遇之大变局，新一轮科技革命与产业变革是变局的关键。我国拥有全球规模、体系完整的工业体系，是全球第二大消费市场、第二大经济体。我国供应链是否安全可控，能否支撑产业变革，帮助中国制造成为世界骄傲呢？只有认清现状，正视问题，才能在未来道路上进行前瞻性布局，把握先机。本书是国内为数不多以产业供应链为研究对象的图书，内容从供应链热点入手，对供应链自主可控和供应链在产业变革中扮演的角色进行全面阐述和理论提炼，是系统地认知产业供应链的不可多得的图书。本书适合企业供应链规划者和管理者、政府产业链和供应链规划者、供应链从业人员、在校供应链专业学生等读者阅读。本书将产业趋势与企业实践相结合，解读从传统供应链向数字供应链转型，从企业供应链向产业供应链升级，从链式结构向网状生态演进，以及供应链发展与变化带来的机遇与挑战。

本书主要讲解分布式机器学习算法和开源框架，读者既可以从宏观的设计上了解分布式机器学习的概念和理论，也可以深入核心技术的细节设计中，对分布式机器学习形成深刻而直观的认识，做到学以致用。 本书共分为5篇，第1篇是分布式基础，首先介绍了分布式机器学习的概念、基础设施，以及机器学习并行化技术、框架和软件系统，然后对集合通信和参数服务器PS-Lite进行了介绍。第2篇是数据并行，以PyTorch和Horovod为主对数据并行进行分析，读者可以了解在具体工程领域内实现数据并行有哪些挑战和解决方案。第3篇是流水线并行，讲解了除模型划分之外，还通过引入额外的流水线来提高效率，以GPipe / PyTorch / PipeDream为例进行分析。第4篇是模型并行，首先对NVIDIA Megatron进行分析，讲解如何进行层内分割模型并行，然后讲解PyTorch 如何支持模型并行，最后介绍分布式优化器。第5篇是TensorFlow分布式，前面几篇以PyTorch为纲，结合其他框架/库来穿插完成，本篇带领大家进入TensorFlow分布式领域。

本书试图提炼了互联网B端产品设计和管理的通用思路和方法，本书一共分为5篇。“概述篇”描述产品经理的发展历程和演变，以及B端产品的分类和特点，让读者对互联网产品领域建立全面认知。“设计篇”详细讲述B端产品的设计，按照产品设计的实际流程，依次讲述市场分析、业务调研、架构设计、功能模块设计、演进蓝图设计、业务建模、流程和角色设计、权限设计等一系列关键环节。“管理篇”讲述B端产品的管理，包括B端产品的项目管理、运营管理、需求管理、迭代优化，阐述了B端产品实施和运作过程中面临的一系列问题，包括复杂项目的推进、产品经理和业务团队的合作、需求和迭代的计划编排等。“进阶篇”讲述企业级应用架构，从前面的单一产品建设扩展到体系化产品建设，旨在帮助读者从更宏观的角度思考产品，站在企业经营管理和发展的视角，重新审视互联网产品体系架构的设计原则和方法论。“成长篇”描述了B端产品经理的职业发展方向、能力模型、学习建议，为未来的持续成长提供学习框架。全书贯穿了一个实践性很强的案例：在“设计篇”和“管理篇”中，我们为一家成熟的集团企业搭建了一套完整的分销业务平台，带领读者逐步设计、实现一个B端产品；在“进阶篇”中，讲述了这家集团企业是如何从小门店一步步发展起来的，重点分析企业的应用架构体系随业务发展的演进规律。本书面向0到10岁的B端产品经理，以及所有对B端产品建设感兴趣的读者。

互联网平台对于中国社会和我们未来发展，不仅在传播领域，在整个社会的领域当中都是功不可没，并且不可或缺的。本书立足于互联网平台发展的时代和文明的必然性，向读者细致地介绍了互联网发展所出现的各种现象、问题以及与之对应的治理方式。

该书介绍了数字图像和视频帧序列的计算几何，拓扑和物理学，对于研究场景中的目标形状非常重要。计算几何可帮助捕获嵌入图像目标形状的细粒度结构，而计算拓扑可对在三角视觉场景几何中嵌入的细胞复合体（顶点，线段，实心三角形，周期，涡旋，神经）中发现的邻近区域分析。结合视觉场景的固有几何形状和拓扑结构，计算物理将解决视频中记录的结构和事件以及随之而来的有关光的精细结构的问题。该书从这些新的角度对场景中目标形状进行了细致的分析，对相关研究人员在计算机视觉和图像技术的深入研究和设计开发，对相关工程设计人员完成各种计算机视觉任务也有参考作用。

在软件领域，很少能有像《人月神话》一样具有深远影响力和长销不衰的著作。布鲁克斯博士为人们管理复杂项目提供了颇具洞察力的见解，从宏观角度有层次地分析了软件工程的方方面面，不仅逻辑严谨，而且颇具文化底蕴。《人月神话（纪念典藏版）》内容主要来自布鲁克斯博士在IBM公司研发并管理System/360计算机家族和OS/360软件支持包期间的项目管理经验，该项目堪称软件开发项目管理的典范。《人月神话（纪念典藏版）》英文版一经面世，即引起业内人士的强烈反响，后译为德、法、日、俄、中、韩等多种文字，成为软件开发和管理人员的B读经典。

这是一部有关计算机科学和人工智能之父艾伦？图灵的科普佳作，它生动地介绍了图灵的生平，以通俗易懂的语言展现了图灵在计算机科学、数理逻辑、密码学、人工智能、人工生命、认知科学、机械化数学等诸多领域的杰出成就，其中不乏一些高屋建瓴的思想。例如，作为通用计算模型的图灵机、对判定问题的否证、机器学习的本质、形态发生的动力学解释等。 本书内容细致严谨，从多个视角为我们描述了真实而立体的图灵，可作为研究计算历史的重要参考文献。图灵对国家的无私奉献、对强人工智能的期待、对人性的理解、对苦难的忍受，都值得我们深思——图灵的精神，属于全体人类。相信这本书必将激发读者们的想象力与好奇心，让每个人都能从中受益，阅读此书将是一次难得的精神升华之旅。

SketchUp是一款极受欢迎并且易于使用的3D设计软件，在建筑效果和景观效果等设计领域应用广泛。《SketchUp 完全实训手册》主要讲解**版本SketchUp 2022的设计功能，包括设计基础、绘图工具、造型工具、辅助工具、群组和组件、材质和贴图、场景和动画设计、剖切平面和沙箱、插件和渲染、扩展功能等内容，从实用的角度介绍了SketchUp 2022中文版的使用，并讲解了包括建筑设计和室内设计综合范例在内的多个精美实用的设计范例。本书还配备了包含大量模型图库、范例教学视频和网络资源介绍的海量教学资源。 《SketchUp 完全实训手册》内容丰富、通俗易懂、语言规范、实用性强，特别适合初、中级用户的学习，是广大读者快速掌握SketchUp 2022的实用指导书和工具手册，也可作为大专院校计算机辅助设计课程的辅助教材。