算法图解
巴尔加瓦（美） Aditya Bhargava
图灵程序设计丛书 (1)
高级编译器设计与实现
（美）马其尼克 & 赵克佳 & 沈志宇
计算机科学丛书 (0.0)
QEMU/KVM源码解析与应用
李强
信息科学与技术丛书 (0.0)
自动机理论、语言和计算导论（原书第2版）
John E.Hopcroft & Rajeev Motwani & Jeffrey D.Ullman
营养圣经
帕特里克·霍尔福德 & 范志红