作者: 计算机理论类

自动机理论、语言和计算导论，Introduction to Automata Theory, Languages, and Computation（第二版影印版）（已送出）
说明：John E. Hopcroft, Rajeev Motwani 和 Jeffrey D. Ullman 的经典著作。
评价：三位作者都是理论计算机科学领域的大牛，此书 1979 的第一版在自动机和语言理论这个方向是泰山北斗一样的存在。我手头这本是 2000 出的第二版的影印版，本来打算用它作为这一方向的自学教材，没想到新风雨拖了将近半年才给我送来 …… 嗯嗯，那时我已经用另一本书完成了入门，而且自己的主要方向也不是自动机和语言理论，所以这本书就一直在书架上闲着。谁希望系统了解一下自动机、语言（不是编程语言那个概念）、可计算性、复杂性类这些东西的，这书是很好的教材。

形式语言与自动机（已送出）
说明：南大陈有祺的作品，复旦大学印刷版
评价：复旦大学同名课程的教材，任课教师是系内著名的冰山美女，长得很 PP 但是上课从来不笑，说话声音也不变化 …… 咳咳，扯远了。这本书内容基本是上面那本的子集，不过好在是中文，看起来轻松些，而且按照我上课时细读下来的感觉，水准不差。我手头的这本书是复旦大学自己印刷装订的，样子难看，不过印刷质量还行。谁要这本书的话，附送本人当年自己完成的全部书后习题 …… 呃，不过第六章以后的部分找不到了 ……

Computability, A Mathematical Sketchbook（已送出）
说明：Douglas S. Bridges 的名著，复印和装订版本。
评价：这书比较深，GTM 系列中的一本，以比较数学的方式讨论可计算性的问题，虽然是很薄的一本小册子，但是读起来花的时间不少。这本书不好找，而且贵，当初我们几个穷学生凑钱买了一本，然后复印和装订了若干。当时出于冗余考虑，我多印了一份，因此现在手头还有一本没有用过的。

Elements of Abstract and Linear Algebra（已送出）
说明：E.H.Connell 的作品，打印和装订版本。
评价：如书名，抽象代数的一本比较浅显的教材，早年根据朋友的推荐弄的。看了前两章，感觉不太好，就没有再看下去。

作者: 编程类

程序设计方法，How To Design Programs（已送出）
说明：Matthias Felleisen 等人的作品，读来轻松的 Scheme 教科书。
评价：此书我看过一小段，如果你觉得那本大名鼎鼎的 SICP 读起来有点吃力，但又想了解一下 Scheme 和函数式编程，看这个吧。

面向对象软件构造，Object-Oriented Software Construction（已送出）
说明：Eiffel 语言作者 Bertrand Meyer 的作品。
评价：这本书名气不小，号称是面向对象软件设计领域最完整和全面的教科书，各处 reference 无数。我也打算过要好好祥读，然而每次都在 1250 页的厚度面前败下阵来 …… 嗯嗯，事实上我完全没有看过。

Essential C++（已送出）
说明：Stanley Lippman 的作品，以短薄轻小而著称的 C++ 教科书。
评价：当初是有个朋友要学 C++，托我买了一本，不料被放了鸽子 …… 我个人并不喜欢 Lippman 作品的风格，这书我只看过目录，内容编排尚可。

C++ STL 中文版
说明：四个作者，名气最大的是 P.J.Plauger（VC++ 的 STL 作者）和 Alexander A. Stepnov （STL 之父）
评价：只扫了一下开头，基本没看过，买它主要是因为当时和它的译者是同事。这书基本上是本简明手册，每一章的模式就是先列一下有哪些类和函数，说明一下功能，然后解释一下大致如何实现、有些什么考虑、关键点是哪几个，接着就是大段大段的源代码。总的来说价值不大，对 STL 实现有兴趣的同志可以扫两眼。

作者: 考研类

操作系统：设计与实现（第二版）上下册，带光盘。（已送出）
说明：Tanenbaum 的作品，就是用 Minix 讲解操作系统的那一套。
评价：忘了为什么会买这本书，似乎是当初某大学考研的指定参考教材。从来没有看过，内容无从评价。

操作系统：精髓与设计原理影印版（第三版）
说明：William Stallings 的作品，小开面影印版。
评价：同上。

数据结构、算法与应用 —— C++ 语言描述（已送出）
说明：Sartaj Sahni 的作品。
评价：这是我本人出资购买的第一本数据结构和算法相关的书籍（严蔚敏那本是教材不算），我常常用它来证明自己在挑书眼光方面的进步 …… 好吧，简单地说此书质量不高，过于偏向数据结构以及如何用 C++ 来描述之，除了作为考研的辅导读物，没有什么用处 —— 但作为考研的辅导读物还是不错的，比国内两本用 C++ 描述数据结构的垃圾强太多了。