​2021半年盘点，不想你错过的重磅新书

导读：2021年进度条过半，在关注瞬息万变的技术新闻外，你都读了哪些书？下面华章妹为你推荐上半年出版的技术好书。

关键词：TLA+

本书是作者针对分布式并发计算系统超过25年的研究成果的总结。在本书中，作者提出用基于动作的时态逻辑（TLA）来为复杂信息系统的行为建立数学模型，进而使用严格的数学证明与检验的方法来验证系统行为的正确性。为此，作者发明了建模语言TLA+以及模型检查工具TLC。本书结合若干案例，深入浅出地描述了从数学原理到系统建模的哲学思想，以及从建模语言的工程实践到模型验证工具的运用技巧等内容。

关键词：软件工程

关键词：数据挖掘

关键词：低代码

Gartner预测，到2023年，超过50%的中大型企业将使用低代码作为战略应用平台

微软中国CTO韦青领衔撰写、微软全球资深副总裁洪小文推荐，深入分析低代码平台原理，系统讲解低代码应用开发方法。本书系统讲解了低代码平台的能力、价值、应用场景和实操方案，含7大行业低代码解决方案，旨在帮助行业、企业及每一位数字公民快速理解低代码平台的核心价值，并实现数字化转型。

关键词：云原生

云原生重塑IT技术体系

这是一部从技术和商业双重视角剖析云原生如何赋能实际业务的著作，是阿里云智能云原生应用平台团队的经验总结，得到了阿里云智能总裁兼达摩院院长张建锋、阿里巴巴首席技术官程立、阿里云智能基础产品事业部负责人蒋江伟等专家的联袂推荐。

关键词：架构

2021年至关重要的顶级编程技能

这是一本从架构视角讲解如何构建大型分布式系统的著作，是超级畅销书《深入理解Java虚拟机》的作者周志明多年架构和研发经验的总结，得到了多位行业资深架构专家的联袂推荐。本书从架构演进、架构设计思维、分布式基石、不可变基础设施、技术方法论5个维度全面探索如何构建可靠的大型分布式系统。

关键词：数字化转型

加快数字化发展，协同推进数字产业化和产业数字化转型

ThoughtWorks全球CEO领衔撰写！基于多年数字化咨询和自我实践经验，从面向客户成效、数据驱动决策、技术重构业务三个维度，全方位阐释企业数字化转型的实用工具、技术和方法。

关键词：人工智能

到2023年，人工智能技术的支出将成长两倍以上，达到979亿美元

数百万用户的企业培训机构Deitel & Associates创始人撰写，40余年教育经验沉淀。让你用最少量的代码完成538个示例，快速获得动态可视化的结果，把Python、数据科学和AI技术融合应用，解决实际问题。

关键词：数据安全

网络安全是数字时代商业安全的关键

全书通过大量真实的企业数据泄漏案例，揭示了当前网络空间安全领域面临的数据泄漏危机，并总结出一系列防范和相应策略，对网络空间安全从业人员具有重要的参考价值。

关键词：芯片

超1000家中企刚进军新型芯片领域，中国芯迎来“春天”

龙芯中科技术股份有限公司首席工程师汪文祥作品，一本书带你从零开始设计自己的CPU。助力培养研发“中国芯”的工程人才，提升CPU设计的工程实战能力。本书面向初学者，以实战的方式带领读者了解CPU设计的流程，并从零开始逐步开发出自己的CPU。本书将计算机组成与体系结构的理论知识和工业实践充分结合,使读者在实际的CPU设计与开发过程中更加深入地理解计算机系统的工作原理，掌握CPU设计理念、方法和技术。

关键词：C语言

C语言洁紧凑、灵活方便，在未来几十年会继续发光发热

作为一种有50年历史的编程语言，C语言还是非常现代的。无论是编写嵌入式代码、低级系统例程，还是高性能应用程序，C语言都能应对挑战。本书根据使用者对C语言的认识，按“邂逅——相识——相知——深入”四个层次组织内容，进可精通，退可巩固，是一本全面且深入的C语言学习指南！

关键词：Rust语言

Rust作为一门年轻的编程语言，未来会在更多的云原生项目中看到它

这是一部注重编码能力训练的实战性著作，既能帮助读者扎实掌握Rust的主要语法知识并具备实战能力，又能指导读者快速从初学者晋级为高手。

全书秉持学以致用的原则：一方面，没有事无巨细地罗列Rust的每一个语法知识点，但是常用知识点和重要知识点悉数囊括；一方面，将各种常见数据结构和算法与Rust编程实战相结合，同时精选39道LeetCode高频算法面试题，帮助读者快速语法知识固化为实战能力。

关键词：WebRTC

互联网视频和语音通话功能的高需求，而不需要下载插件，推动了全球WebRTC市场的快速增长

这是一本全面、详细讲解WebRTC技术以及如何使用它构建一个可商用的视频会议系统的著作。

技术维度，本书不仅详细讲解了WebRTC规范和全部API、信令系统、底层技术、移动端和服务端实现，而且还总结了作者多年来的“踩坑”经验；实战维度，本书不仅提供了可直接应用于视频会议和在线教育等场景的真实案例，而且开源了一个可商用的视频会议系统WiLearning，教读者如何从0到1搭建一个高并发、易扩展的视频会议系统。

关键词：LF Edge边缘计算

关键词：A/B测试

线上对照实验“教父”领衔撰写，A/B测试领域“圣经”之作！

获得数据很容易，获得可信赖的数据却很困难。由微软、谷歌和领英的实验领导者编写的这本实用指南将教你如何使用可信赖的线上对照实验（也就是A/B测试）加速创新。根据每家公司每年运行的两万多个对照实验，作者以示例和建议的方式向学生和业内人士分享了自己的实践经验，指出了需要避免的陷阱，并深入探讨了一些进阶专题，可以为希望改善自身及机构数据驱动决策方式的从业者提供参考。

关键词：类型系统

关键词：编程原则

关键词：凸优化