Beginning Mathematical Logic: A Study Guide
Peter Smith
编译原理
Alfred V. Aho
Computational Methods for Electromagnetic Inverse Scattering
Xudong Chen
Information Retrieval: Implementing and Evaluating Search Engines
Stefan Buttcher & Charles L. A. Clarke & Gordon V. Cormack
矩阵计算
Gene H. Golub & Charles F. van Loan
Matrix Computations
Gene Howard Golub & Charles F. van Loan
Differential Equations and Linear Algebra, 4th Edition
Stephen W. Goode & Scott A. Annin
The Matrix Cookbook
Kaare Brandt Petersen & Michael Syskind Pedersen
Linear Algebra Done Right, 4th edition
Sheldon Axler, 吴俊达, 何阳
Introduction to Linear Algebra 5th Edition
Gilbert Strang