Principles of Program Analysis
Nielson, Flemming; Nielson, Hanne R.; Hankin, Chris
现代体系结构的优化编译器
[美] Randy Allen & [美] Ken Kennedy & 张兆庆
计算机科学丛书 (0.0)
算法图解
巴尔加瓦（美） Aditya Bhargava
图灵程序设计丛书 (1)
计算复杂性
Christos H.Papadimitriou & 朱洪 & 彭超 & 卜天明
Windows核心编程(第5版)
Jeffrey Richter & Christophe Nasarre & 葛子昂 & 周靖 & 廖敏
微软技术丛书 (0.0)