三个获得计算机诺贝尔奖的师兄弟及其“计算理论”书籍：

1986年的图灵奖获得者Robert E. Tarjan的博士论文是平面图论算法并见他的博士多数都做图论如他的唯一华人博士Xiaofeng Han是做图论的（这也正是因我们的图论具有极其广泛而深远的作用）。他和他博士Donald R. Woods以及世界大师波利亚合撰《Notes on introductory combinatorics组合数学导论的注记》一书（这Robert E. Tarjan大师在前言写道“Combinatorics play a crucial role in computer science组合数学在计算机科学中起着至关重要的作用”）、以及独撰《Data Structures and Network Algorithms数据结构与网络算法》一书（与Robert E. Tarjan同在1986年获图灵奖的是John Hopcroft，并我也有的这John Hopcroft和Jeffrey Ullman合撰的世界名著《自动机理论、语言和计算引论》都属于计算理论书籍，自动机论的分支还有活着的地球人中最聪明的人奠基并在很多世界领域发挥重要作用的“细胞自动机理论”）。

他的师兄Manna Zohar的中文版621页的《计算的数学理论》（科学出版社1986年出版）一书我也有（2002年Manna Zohar的64岁时出版祝贺他的800页33篇论文集，祝贺文章中有1996年的图灵奖获得者Amir Pnueli阿米尔·伯努利等等--这Pnueli就是凭借和这Manna Zohar共同开发的线性“时态逻辑…、程序与系统验证”而获得1996年计算机诺贝尔奖图灵奖--可参考Manna Zohar为第一作者的他俩合撰的《The Temporal Logic of Reactive and Concurrent Systems: Specification反应和并发系统的时间逻辑:规范》这一高被引书-正如这书前言第一句说“This book is about programs, systems, verification, using the tool of temporal logic这本书是用时间逻辑作为工具的关于程序与系统验证的”，如此Manna Zohar也是计算机诺贝尔奖级别的-即使落选可惜）；

他俩的师弟Ronald Rivest和上面Manna Zohar的博士Adi Shamir以及研究DNA的哈密顿图性开创分子计算机的Leonard Adleman最近以公钥密码学（主要是RSA加密算法）的工作而他仨共同获得2002年获计算机诺贝尔奖-图灵奖并第一贡献人Ronald Rivest合撰的圣经般的《算法导论》世界巨著也主要是讲计算理论（密码学已发展得很不错很繁荣,如已设有国家密码管理局以及各省密码管理局还有也如我们海南省的各市县密码管理局--当然还有下面翻译十大科技作家的书的信息工程研究所书记吴世忠之前担任副局长的国家保密局及各省市县保密局[国家保密局内设机构许多司级即厅级如此它是部长级的-所以国家保密局副局长调任信息工程研究所书记有些不可思议]。如此,世界各国专家的较著名的密码学书籍我都看过当然有些是粗略看-如与牛顿、爱因斯坦并列的十大科技作家Bruce Schneier的《应用密码学》一书是“目前内容最全最新的密码学专著”及前言说“这是第一次把这么多资料收集在一本书中”，但它仅439页就写了25章则许多章节就有些简略。不论如何,就如吴世忠等翻译2000年出版的译者序说“本书的翻译，动议于何德全院士所指导的信息安全与应用密码学博士研究生的教学计划”，足见其层次，这译者序中只有第2段、第3段点评具体课题领域-且这2段都最先说到“盲签名”、“零知识证明”等，其中盲签名是David Chaum用来创建数字货币系统的关键工具{这提出者David L. Chaum就是这里的组合数学大师Donald Knuth的博士Mont-Reynaud的博士}也还因这方面其它开创性工作如此被誉为加密货币之父和区块链奠基人更是数字货币教父--可参考这里倒数第2段的十几个领域中许多与密码学有关的并其中的⒀介绍零知识证明；这个吴世忠局长也翻译Friedrich Ludwig Bauer的《密码编码和密码分析原理与方法》等）。

还可参考这个网页、以及这个有更多著名计算理论书籍的网页，还有这个网说到的计算机之父、人工智能之父、量子密码之父等的计算理论书籍；

这个网也说到另一些计算机理论书籍及其与图论关系，还有这个网的计算机理论书籍，也可参考这中国第一个组合数学研究室的下面部分的计算机理论书籍等等。