自动机理论、语言和计算导论（原书第2版）
John E.Hopcroft & Rajeev Motwani & Jeffrey D.Ullman
计算机科学丛书 (0.0)
处理器虚拟化技术
邓志
The Little Schemer:递归与函数式的奥妙 （无书签）
[美] Daniel P. Friedman & [美] Matthias Felleisen & 卢俊祥
算法图解 (（美）巴尔加瓦（Aditya Bhargava）著, 袁国忠译) (z-lib.org)
巴尔加瓦（Aditya Bhargava）
Understanding the Linux Kernel:The Linux Kernel '3
Daniel P·Bovet