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

关键词：TLA+

《用TLA+定义系统：TLA+语言与工具在软硬件设计中的应用》

推荐理由

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

关键词：软件工程

《现代软件工程：面向软件产品》

推荐理由

大多数软件工程教材关注基于项目的软件工程，核心思想是客户给出需求规约，公司开发软件。然而，用于大规模项目开发的软件工程技术和方法，不适合软件产品开发。本书共10章，涵盖了软件产品、敏捷软件工程、特征、场景和用户叙述、软件架构、基于云的软件、微服务架构、安全和隐私，可信赖编程、测试、DevOps和代码管理等内容。

关键词：数据挖掘

《数据挖掘：原理与实践（基础篇）》

推荐理由

大数据和人工智能时代的数据挖掘教材，IBM T. J. Watson研究中心杰出研究员阿加沃尔著，国内数据挖掘领域四大翘楚合译。从四个“超级问题”出发，详解数据挖掘的基础知识、高级数据类型及其应用，为处理复杂问题夯实基础。

关键词：低代码

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

《实战低代码》

推荐理由

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

关键词：云原生

云原生重塑IT技术体系

 

《阿里云云原生架构实践》

推荐理由

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

关键词：架构

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

《凤凰架构：构建可靠的大型分布式系统》

推荐理由

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

 

关键词：数字化转型

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

《数字化转型：企业破局的34个锦囊》

推荐理由

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

关键词：人工智能

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

《Python程序设计：人工智能案例实践》

推荐理由

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

关键词：数据安全

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

《数据大泄漏：隐私保护危机与数据安全机遇》

推荐理由

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

关键词：芯片

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

《CPU设计实战》   

推荐理由

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

关键词：C语言

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

《现代C：概念剖析和编程实践》

推荐理由

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

关键词：Rust语言

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

《Rust编程：入门、实战与进阶》

推荐理由

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

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

关键词：WebRTC

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

《WebRTC技术详解：从0到1构建多人视频会议系统》

推荐理由

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

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

关键词：LF Edge边缘计算

《5G时代边缘计算：LFEdge生态与EdgeGallery技术详解》

推荐理由

华为首席开源联络官，携手多位边缘计算项目贡献者撰写，中国工程院院士和来自移动、联通、华为的多位专家撰文推荐。基于5G时代背景，以指导边缘计算落地为目的，对边缘计算架构、主流项目、重点蓝图、应用场景及相关实践经验进行深度解读本书对LF Edge边缘计算开源项目群中重点项目进行了全面介绍，并给出了华为自己在这方面的探索和实践。

关键词：A/B测试

《关键迭代：可信赖的线上对照实验》

推荐理由

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

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

关键词：类型系统

《编程与类型系统》

推荐理由

微软资深架构师撰写，从应用角度，全面阐述如何使用类型系统编写更好、更安全的代码。基于TypeScript真实示例，助你全面了解类型系统在编程中的应用技巧。

关键词：编程原则

《编程原则：来自代码大师Max Kanat-Alexander的建议》

推荐理由

本书介绍了如何让简约设计的思想回归到计算机编程中，如何打造高效的软件开发团队。整本书的主旨是帮助读者成为一名更好的软件开发者。本书主要包括以下内容：开发者的基本素质、软件的复杂与简约、团队里的工程问题、理解软件和软件测试、持续改善软件。

关键词：凸优化

《凸优化：算法与复杂性》

推荐理由

本书凝聚微软首席研究员Sébastien Bubeck教授多年心血，专门为计算机科学家打造，内容涉及从黑箱优化的基本理论到结构优化和随机优化的最新发展，把机器学习中涉及的凸优化设计思想通过简练的数学语言进行了阐述，可作为计算机科学、软件工程、统计学、应用数学、数据科学与大数据、人工智能等专业本科生和研究生的基础教材，也可供数据科学家、工程师和科研人员参考。

扫码关注【华章计算机】视频号

每天来听华章哥讲书

更多精彩回顾

书讯 | 7月书讯（下）| 读书开启下半年

书讯 | 7月书讯（上）| 读书开启下半年

资讯 | 《数据安全法》表决通过！最新解读来了

书单 | 8本书助你零基础转行数据分析岗

干货 | 当机器学习遇上隐私保护，聊聊联邦学习和分布式机器学习

收藏 | 终于有人把卷积神经网络（CNN）讲明白了

上新 | 【新书速递】打通数据科学三要素——数据科学实战性手册

赠书 | 【第62期】学会数据分析，抢占职场风口机遇