计算复杂性
Christos H.Papadimitriou & 朱洪 & 彭超 & 卜天明
计算机科学丛书 (0.0)
红书
[瑞士] 荣格（C. G. Jung）原著 & [英] 索努·沙姆达萨尼（Sonu Shamdasani）编译 & 周党伟
编译原理 第2版
Alfred V. Aho & Monica S. Lam & Ravi Sethi & Jeffrey D. Ullman & 赵建华 & 郑涛 & 戴新宇
程序员的自我修养:链接、装载与库
潘爱民 & 俞甲子 & 石凡
现代编译原理:C语言描述（修订版）
[美]Andrew W.Appel & [美]MaiaGinsburg & 赵克佳 & 黄春 & 沈志宇
图灵计算机科学丛书 (0.0)