Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
计算机网络: 自顶向下方法
James F. Kurose & Keith W. Ross
Filtering and System Identification: A Least Squares Approach
Michel Verhaegen & Vincent Verdult
The Design of Approximation Algorithms
David P. Williamson & David B. Shmoys