Differential Equations and Linear Algebra, 4th Edition
Stephen W. Goode & Scott A. Annin
多处理器编程的艺术
Maurice Herlihy
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
编译原理
Alfred V. Aho