编程
有关算法、系统设计和形式化方法的书籍。
编程
有关算法、数据结构、系统设计和形式验证的书籍。
| 预订 | 关于 |
|---|---|
| [算法食谱]({{< relref "programming/algorithms/_index.md" >}}) | 实用模式、正确性论证和实现技术 |
| [系统设计]({{< relref "programming/system-design/_index.md" >}}) | 可扩展性、架构和面试式问题解决 |
| [倾斜]（{{< relref "programming/lean/_index.md" >}}) | 定理证明、形式化和证明工程 |