算法导论
Thomas H. Cormen
多处理器编程的艺术
Maurice Herlihy
Writing Well and Being Well for Your PhD and Beyond: How to ...
Katherine Firth
Book of Proof
Richard H. Hammack
Proximal Algorithms
Neal Parikh & Stephen P. Boyd & Now Publishers