Principles of Program Analysis
Nielson, Flemming; Nielson, Hanne R.; Hankin, Chris
C++并发编程实战（第2版）
安东尼·威廉姆斯（Anthony Williams） & 吴天明
计算机程序的构造和解释(原书第2版)
[美] Harold Abelson & [美] Gerald Jay Sussman & [美] Julie Sussman & 裘宗燕
计算机科学丛书 (0.0)
处理器虚拟化技术
邓志
GitHub入门与实践
大塚弘记 (日)
图灵程序设计丛书 (1)