编程珠玑
Jon Bentley
How to Prove It: A Structured Approach
Daniel J. Velleman
Filtering and System Identification: A Least Squares Approach
Michel Verhaegen & Vincent Verdult
算法设计
Jon Kleinberg