Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
Digital Minimalism: Choosing a Focused Life in a Noisy World
Cal Newport
Computer Vision: Models, Learning, and Inference
Simon J. D. Prince
编译原理
Alfred V. Aho
Statistical Rethinking: A Bayesian Course With Examples in R ...
Richard McElreath
Probabilistic Graphical Models: Principles and Techniques
Daphne Koller & Nir Friedman