Recommender Systems: The Textbook
Charu C. Aggarwal
How to Prove It: A Structured Approach
Daniel J. Velleman
Reading, Writing, and Proving: A Closer Look at Mathematics
Ulrich Daepp & Pamela Gorkin
Differential Equations and Linear Algebra, 4th Edition
Stephen W. Goode & Scott A. Annin
多处理器编程的艺术
Maurice Herlihy