本书是作者针对分布式并发计算系统超过25年的研究成果的总结。在本书中，作者提出用基于动作的时态逻辑（TLA）来为复杂信息系统的行为建立数学模型，进而使用严格的数学证明与检验的方法来验证系统行为的正确性。为此，作者发明了建模语言TLA+以及模型检查工具TLC。本书结合若干案例，深入浅出地描述了从数学原理到系统建模的哲学思想，以及从建模语言的工程实践到模型验证工具的运用技巧等内容。 本书分为五个部分。第一部分包含大多数程序员和工程师需要了解的有关编写系统规约（即建立模型）的所有信息；第二部分包含更高级的示例与材料，供需要进阶的读者使用；第三部分和第四部分为TLA+的参考手册，包括语言本身的定义及工具的原理与使用；第五部分介绍在基础TLA+语言上所演进出的TLA+版本2的新特性和少许变更。

现如今，在互联网领域，用户体验逐渐成为一个炙手可热的关键词，用户体验设计师也逐渐成为产品开发设计团队重要的成员。可以说，这是个用户体验为王的时代，人人都在讨论用户体验并发表自己的见解，然而什么是用户体验，它是怎么产生的，现状又如何呢？本书由百度，阿里，腾讯各出一位设计师，为大家分析目前用户体验的现状，以及在国内领头的互联网行业里，作为用户体验设计师应该掌握那些技能。

可持续发展已成为当今时代的主要目标之一。环保产品和与环境兼容的制造方法备受市场青睐，特别是那些设计优秀的产品。《绿色设计》（I）主要介绍契合环境可持续发展原则的不同领域的产品。具体内容包括：可节约资源的原材料和生产方式，节能或自我供能的能源使用方式，以及公平友好的生产贸易方式等。 过分讲究的、**的或奢侈的设计在当今时代已经很难独立存在，因为产品的环保和可持续原则已成为当今市场的主要卖点。环保原则还广泛应用在产品的生产制造过程，例如有些产品生产时可节约资源，使用时低排放，产品生命结束时可实现对环境比较友好的回收处理。非常规材料的回收及产品转换，而不是将之简单废弃。这一原则尤其值得重视。《绿色设计》（Ⅱ）向我们展示了近年来在环境兼容设计中丰富而多彩的创意策略。

《设计师的广告创意设计色彩搭配手册》是一本全面介绍广告创意设计的图书，其突出特点是知识易懂、案例趣味性强。《设计师的广告创意设计色彩搭配手册》从学习广告创意设计的基础理论知识入手，循序渐进地为读者呈现一个个精彩实用的知识、技巧、色彩搭配方案、CMYK数值。《设计师的广告创意设计色彩搭配手册》共分为8章，内容分别为广告创意设计基础知识、认识色彩、广告创意设计基础色、广告创意设计的创意方式、广告创意设计的构图、平面广告设计的行业分类、广告创意设计的色彩情感、广告创意设计的经典技巧。在多个章节中安排了常用主题色、常用色彩搭配、配色速查、色彩点评、推荐色彩搭配等经典模块，丰富《设计师的广告创意设计色彩搭配手册》结构的同时，也增强了实用性。《设计师的广告创意设计色彩搭配手册》内容丰富、案例精彩、广告创意设计新颖，适合广告设计、平面设计等专业的初级读者学习使用，也可以作为大中专院校广告设计专业、平面设计专业的教材，还非常适合喜爱广告创意设计的读者朋友作为参考用书。

本书深入浅出地介绍股票多因子模型的原理与构建方式，从基础知识、单因子测试、因子合成、股票组合构建等多方面进行介绍。 本书共6章：第1章对量化投资进行概述，引出多因子模型的底层逻辑与实践框架；第2章和第3章分别介绍多因子模型的Python编程基础与概率统计基础；第4章介绍单因子的计算过程和处理过程，以及单因子的测试和测试结果的分析方法，是较为核心的一章；第5章介绍单因子如何进行因子合成；第6章介绍简单的组合构建方法和利用组合理论构建组合的方法。

本书以金融行业面临的业务挑战为切入点，详细介绍了金融数据中心网络的架构设计、技术实现、规划设计和部署建议。本书首先介绍金融数据中心网络的主要需求，帮助读者了解金融数据中心网络面临的问题及解决方式；然后介绍金融数据中心网络的设计与实现，内容包含网络架构设计、网络Fabric设计、网络通用功能属性设计、网络安全设计和网络运维设计；最后对金融数据中心网络当前的一些热点技术进行讲解和展望。 本书可以为读者构建安全、可靠、高效、开放的金融数据中心网络提供参考和帮助，适合金融行业的信息化部门及金融数据中心的技术人员阅读，也适合高等院校计算机网络相关专业的师生学习。

本书是基于Revit 2021、鸿业装配式软件 2019及广联达BIM模板脚手架软件、广联达BIM施工现场布置软件、广联达BIM5D 3.5软件、Lumion10等软件平台的建筑施工模拟与虚拟建造技术的应用教程。由浅到深、循序渐进地介绍了以上这些BIM软件平台的功能及命令的使用方法，并配合大量建筑工程的设计与施工应用项目，帮助读者更好地掌握并巩固所学知识。 本书是面向实际应用的BIM图书，不仅可以用作大中专院校和社会培训班有关建筑和土木等专业的培训教程，而且可以用作广大从事BIM工作的工程技术人员的参考书。

本书介绍如何利用新的程序语言进行金融建模并实现复杂的数据运算。书中讲授的程序工具与数据均可以通过公开渠道获取，通过建模与研究分析，你会对整个Python生态体系有全局性的认识。大量的实例分析也会加深你对金融风险管控的认知。

本书以东方思维的视角提出了“营造理论结构”的观念，并对当下建筑设计理论进行总体的梳理。全书以空间文本的形式架构，将建筑理论和设计实践整合为“二元共生”结构，依层级观念递进式展开，同时结合了作者的学习经历，从个人维度构建思想框架。书中理论部分以古典园林为媒介，总结不同层级的对应观点；设计部分以作者的设计实践展开讨论，尝试当代新中式设计在文化视野、图学模式、物理媒介和设计思想方面上结合的一种可能性。本书主要针对建筑学和相关专业从业者，特别是有志于研究“历史视角下的建筑设计”的高校师生，也适合喜爱传统文化与建筑设计者阅读参考。

强挤压软岩大变形地质极大地影响隧道的开挖和掘进。《挤压性围岩隧道变形破坏特性及控制技术》以兰渝铁路隧道为工程依托，针对建设过程中面临的“开挖断面大，结构特殊，地应力极高，围岩稳定性差，挤压变形量大、速度快、持续时间长”等工程难点，以炭质板岩挤压性围岩隧道为研究对象，结合现场监测、试验研究、理论分析、数值模拟和工程试验等多种研究方法，系统地研究了挤压性围岩隧道工程地质特征与变形力学机制，推导了考虑含水损伤的炭质板岩蠕变本构模型与“围岩·支护系统”黏弹性模型，并建立了挤压性围岩隧道稳定性综合控制技术体系。《挤压性围岩隧道变形破坏特性及控制技术》可供隧道工程及相关领域的工程技术人员、科研人员、研究生和高年级本科生参考，也可作为相关研究生课程的教材。