《面向实际应用的软件可靠性技术》是一个实用的、最新的首选资源，可以反复引用，以有效地防止软件缺陷，在出现缺陷时发现并纠正缺陷，并在软件产品中建立更高级别的信心。

利用 SRE 提高服务的可扩展性和可靠性; 站点可靠性工程 （SRE，Site Reliability Engineering​） 由 Google 率先创建更具可扩展性和更可靠的大规模系统，现已成为当今最有价值的软件创新机会之一。 《建立 SRE 的基础》是一份简明实用的指南，展示了如何在您自己的组织中推动 SRE 的成功采用。

今天，软件工程师不仅需要知道如何有效地编程，还需要知道如何开发适当的工程实践，使他们的代码库可持续和健康。本书强调了编程和软件工程之间的这种区别。

本书全面介绍了嵌入式软件的验证和调试技术，这些技术经常用于安全关键应用（例如汽车），在这些应用中，故障是不可接受的。

随着关键系统的自主性不断提高——自动驾驶汽车、无人机、卫星和着陆器证明了这一点——这些系统中的数值功能变得越来越先进。这里介绍的技术对于支持对这些新兴技术中使用的控制器软件进行形式分析至关重要。

本书以KeY成立20周年为契机，邀请项目内外的研究人员为一本书做出贡献，本书捕捉了该领域的一些最新发展。

这本更新的教科书涵盖了数字设计、计算机体系结构基础和 ARM 汇编语言。本书首先介绍了计算机抽象、基本数字系统、字符编码、数字设计基础知识和计算机组件。本书继续讨论计算中的信息表示、布尔代数和逻辑门以及顺序逻辑。本书还介绍了计算机体系结构、缓存映射方法和虚拟内存。

本书介绍了一系列难度越来越大的RISC-V处理器实现（非流水线、流水线、深度流水线、多线程、多核）。

使用 Go 了解现代网络自动化的世界，并通过 10+ 专家的见解加深您的知识，这些专家在网络自动化方面具有实际实践经验和/或正在使用 Go 执行与网络相关的任务

网站安全变得简单。本书涵盖了网站被黑客入侵的最常见方式以及Web开发人员如何保护自己。