多处理器编程的艺术
Maurice Herlihy
The Matrix Cookbook
Kaare Brandt Petersen & Michael Syskind Pedersen
流畅的Python
Luciano Ramalho
Proofs and Refutations: The Logic of Mathematical Discovery
Imre Lakatos
Numerical Optimization
Jorge Nocedal & Stephen J. Wright
Springer Series in Operations Research (1)
矩阵计算
Gene H. Golub & Charles F. van Loan
Introduction to Linear Algebra 5th Edition
Gilbert Strang
Mathematical Thinking: Problem-Solving and Proofs 2nd Edition
John P. D'Angelo & Douglas Brent West
Matrix Computations
Gene Howard Golub & Charles F. van Loan
Probabilistic Graphical Models: Principles and Techniques
Daphne Koller & Nir Friedman
A First Course in Mathematical Modeling
Frank R. Giordano & Maurice D. Weir & William P. Fox
Collection of Problems in Probability Theory
L. D. Meshalkin
Calculus
Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Matrix Calculus (for Machine Learning and Beyond)
Alan Edelman, Steven G. Johnson
Everything You Always Wanted To Know About Mathematics
Brendan W. Sullivan