Matrix Calculus (for Machine Learning and Beyond)
Alan Edelman, Steven G. Johnson
计算理论导引
Michael Sipser
编译原理
Alfred V. Aho
Book of Proof
Richard Hammack
多处理器编程的艺术
Maurice Herlihy