编译原理
Alfred V. Aho
Filtering and System Identification: A Least Squares Approach
Michel Verhaegen & Vincent Verdult
Proximal Algorithms
Neal Parikh & Stephen P. Boyd & Now Publishers
算法
Robert Sedgewick & Kevin Wayne
多处理器编程的艺术
Maurice Herlihy