Introduction to Algorithms, Third Edition
Thomas H. Cormen & Charles E. Leiserson & Ronald L. Rivest & Clifford Stein
计算机网络: 自顶向下方法
James F. Kurose & Keith W. Ross
Proof and the Art of Mathematics: Examples and Extensions
Joel David Hamkins
Pattern Recognition and Machine Learning
Christopher M. Bishop
Book of Proof
Richard H. Hammack