Unix编程艺术黑客与画家计算理论基础深入理解计算机系统(CSAPP)线性代数导论(GLSA V5)算法导论(CLRS)计算机程序的构造与解释(SICP)计算理论导引(ITOC)编译原理:技术与工具(Dragon Book)