Computational Methods for Electromagnetic Inverse Scattering
Xudong Chen
Beginning Mathematical Logic: A Study Guide
Peter Smith
编程珠玑
Jon Bentley
How to Prove It: A Structured Approach
Daniel J. Velleman
Matrix Computations
Gene Howard Golub & Charles F. van Loan