Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
How to Prove It: A Structured Approach
Daniel J. Velleman
Pattern Recognition and Machine Learning
Christopher M. Bishop
Computer Vision: Models, Learning, and Inference
Simon J. D. Prince
Python工匠：案例、技巧与工程实践
朱雷
算法
Robert Sedgewick & Kevin Wayne
流畅的Python
Luciano Ramalho
矩阵计算
Gene H. Golub & Charles F. van Loan
零信任网络: 在不可信网络中构建安全系统
Evan Gilman
编程珠玑
Jon Bentley