计算理论导引
Michael Sipser
计算机网络: 自顶向下方法
James F. Kurose & Keith W. Ross
Proofs: A Long-Form Mathematics Textbook
Jay Cummings
Computer Systems: A Programmer's Perspective Plus Masteringengineering ...
Randal E. Bryant & David R. O'Hallaron
Electromagnetic Wave Theory
Jin Au Kong