Mathematical Thinking: Problem-Solving and Proofs 2nd Edition
John P. D'Angelo & Douglas Brent West
Beginning Mathematical Logic: A Study Guide
Peter Smith
Non-Convex Optimization for Machine Learning
Prateek Jain & Purushottam Kar
多处理器编程的艺术
Maurice Herlihy
编译原理
Alfred V. Aho