1. 《算法导论》
《算法导论》是计算机领域内最经典的教材之一，该书由斯坦福大学Thomas H. Cormen、Charles E. Leiserson、Ronald L. Rivest、Clifford Stein四位教授撰写，自1989年首次出版以来，一直是计算机领域教育和研究的指导书。该书以简洁明了的方式向读者传授算法设计、分析及其实现方法。
1.1 书中的精华部分
揭示了算法基本原理
基础知识：
- 如何分析算法的时间与空间复杂度
- 如何设计递归算法及非递归算法
高级知识：
- 动态规划算法的基本思想及实现
- 贪心算法及其应用
- 分治算法的设计思路及典型应用
讲述了使用真实场景解决实际问题的算法
- 数据结构：队列、栈、链表、树、散列表、二叉堆、红黑树及其应用
- 排序算法：归并排序、堆排序、快速排序、希尔排序及其应用
- 场景：最短路径问题、最大流问题、字符串匹配问题
2. 《计算机程序设计艺术》
《计算机程序设计艺术》是由Donald E. Knuth教授编写的一套计算机程序设计的经典教材，前三卷主要介绍算法基础，第四卷介绍组合算法，是算法学习方面的经典著作，被誉为计算机科学的“圣经”。
2.1 书中的精华部分
讲述了算法与程序设计之间的紧密联系
- 算法学习方法论
- 程序设计员的素质与习惯
- 程序细节不可忽视的作用
深入理解高效算法的关键
- 表示方法与数据结构
- 算法实现的数据结构：基本方式及其优化
- 递推公式、递归式与柿子计算
3. 《编译原理》
《编译原理》一书主要介绍编译器的构造原理和方法，在计算机科学中具有重要的地位，是所有学习计算机科学的本科生和研究生必须学习的一本教材。
3.1 书中的精华部分
介绍了编译器中各个部分的功能和特点
- 词法分析、语法分析、语义分析、代码生成等各个编译器部分的功能
- 使用预处理器生成代码的特点及方法
- 分析和处理现代编程语言中的新特性
讲述了编程语言编写的内部结构和工作方式
- 把控数据结构的内部元素、函数调用、变量结构、并发编程
- 对虚拟机和解释器的讨论
- 函数式编程和编译数字、字符串、分数组数据
4. 《设计模式：可重用面向对象软件的基础》
《设计模式：可重用面向对象软件的基础》是经典的软件设计模式著作，由四位软件工程师共同创作。这本书给软件设计师提供了一套来自多年实践经验的可重用面向对象软件设计模式，这些模式帮助设计师更好地处理变化和复杂性。
4.1 书中的精华部分
提出了设计模式的理论框架和方法论
- 设计模式是什么，为什么设计模式是必需的
- 提供可重用的设计模式及其分类，例如创建型、结构型、行为型
- 讨论并解释每种模式的优缺点及其用处和应用
对这些设计模式进行了详细的介绍和应用案例
- 工厂模式、单例模式、装饰器模式、观察者模式、策略模式、命令模式
- 解释其工作原理、实现方法及其在实际项目中的应用
- 针对每个模式进行了具体的应用案例介绍
5. 《计算机网络：自顶向下方法》
《计算机网络：自顶向下方法》是由卡内基梅隆大学教授James F. Kurose和Keith W. Ross合著的计算机网络应用指南，书中详细介绍了计算机网络的协议体系结构、协议操作、网络应用等内容。
5.1 书中的精华部分
通俗易懂地介绍了计算机网络的知识点
- 把计算机网络架构分为应用层、运输层、网络层、数据链路层和物理层
- 针对每个层次进行了详细的介绍，演示在TCP/IP协议中IMAP、DNS、HTTP等协议的使用
- 利用实际应用案例来说明协议的工作原理
介绍计算机网络的实际应用、安全等方面
- 讨论互联网，以及实现互联网的协议（如802.11 WLAN,Ethernet）
- 讨论分组交换技术、路由算法和网络管理
- 针对安全问题讨论了防火墙、诈骗和恶意软件
6. 《操作系统概念》
《操作系统概念》是由Silberschatz、Peter Baer Galvin和Greg Gagne共同编写的一本操作系统教材，是学习操作系统的经典著作。本书详细讲述了操作系统的功能、结构、并发性、虚拟化技术等等。
6.1 书中的精华部分
详细介绍操作系统的基本概念
- 介绍进程、作业、线程及其实现
- 讨论进程协调和调度问题，进一步阐述多道、间接、时间片、优先级等调度算法
- 强调使用同步机制解决并发问题
介绍操作系统的网络和安全方面
- 数据库和文件系统设计
- 分布式系统和Socket编程的应用
- 讨论进程间通信和共享，编写要求权限
- 多线程编程
- 操作系统中最重要的安全措施：主机安全、网络安全
7. 《计算理论导引》
《计算理论导引》是Parsing的作者John E. Hopcroft和Ravi Sethi、Jeffrey Ullman等教授共同编著的，该书是计算机科学领域的经典教材，是许多学校计算机科学学位要求的教材之一。本书主要讲述了自动机理论与形式语言理论，尤其强调图灵机和计算可解性问题。
7.1 书中的精华部分
深入探讨了计算机科学的数学基础
自动机理论：
- 自动机模型、G语言和其相关的正则语言、有限状态自动机
- 摒弃非正则语言模型、引入栈和图灵机
计算理论：
- 无法决定性问题、计算问题的可解性、复杂性分类、P、NP、NP完全
详细阐述了形式语言的概念及应用
- 针对非正则语言的构造引入BNF语法
- 上下文无关文法的引入、定义、特点
- 自上而下解析、自下而上解析
- 静态语义分析