计算复杂性
Christos H.Papadimitriou & 朱洪 & 彭超 & 卜天明
计算机科学丛书 (0.0)
自动机理论、语言和计算导论（原书第2版）
John E.Hopcroft & Rajeev Motwani & Jeffrey D.Ullman
处理器虚拟化技术
邓志
Lua程序设计
罗伯拖·鲁萨利姆斯奇 (Roberto Ierusalimschy) & 梅隆魁
IA-32架构软件开发人员指南：卷3 （05年中文译版 - 部分）
未知