计算理论导引
Michael Sipser
Electromagnetic Wave Theory
Jin Au Kong
多处理器编程的艺术
Maurice Herlihy
Book of Proof
Richard H. Hammack
Matrix Computations
Gene Howard Golub & Charles F. van Loan