Introduction to Linear Algebra 5th Edition
Gilbert Strang
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Mathematical Thinking: Problem-Solving and Proofs 2nd Edition
John P. D'Angelo & Douglas Brent West
Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
编程珠玑
Jon Bentley
多处理器编程的艺术
Maurice Herlihy
Algorithm Design
Jon Kleinberg & Éva Tardos
Clean Code: A Handbook of Agile Software Craftsmanship
Robert C. Martin
Effective C++：改善程序与设计的55个具体做法
Scott Meyers
More Effective C++：35个改善编程与设计的有效方法
C++ Primer Plus
Stephen Prata
流畅的Python
Luciano Ramalho
Python工匠：案例、技巧与工程实践
朱雷