高级编译器设计与实现
（美）马其尼克 & 赵克佳 & 沈志宇
计算机科学丛书 (0.0)
Principles of Program Analysis
Nielson, Flemming; Nielson, Hanne R.; Hankin, Chris
摄影构图学
克莱门茨 & B. Clements & 罗森菲尔德 & D. Rosenfeld
计算复杂性
Christos H.Papadimitriou & 朱洪 & 彭超 & 卜天明
音乐理论基础
李重光