自动机理论、语言和计算导引
《自动机理论、语言和计算导引》,作者:(美)霍普克罗夫特(Hopcroft， J.E.)，(美)厄尔曼(Ullman， J.D.)著；徐美瑞译 出版社:科学出版社 ISBN:7030019172。本书是讨论自动机理论、语言理论和计算理论（主要是计算复杂性理论）的专著． 全书共十四章．第一章为预备知识；第二、三章讨论有穷自动机和正规集合；第四、五、六章讨论上下文无关语言和下推自动机；第七章讨论
导引
计算机和难解性 : NP完全性理论导引
《计算机和难解性 : NP完全性理论导引》,作者:(美)加里(Garey， M.R.)，(美)约翰逊(Johnson， D.S.)著；张立昂等译 出版社:科学出版社 ISBN:15031769。本书系统地介绍了NP完全性理论的概念和方法．全书共分七章和两个附录．第一章粗略地介绍计算复杂性的一些基本概念和NP完全性理论的意义．第二章至第五章介绍NP完全性的基本理论和证明方法．第六章集中研究NP难问题
实用物态方程理论导引
《实用物态方程理论导引》,作者:徐锡申，张万箱著 出版社:科学出版社 ISBN:130313229。本书简要地叙述了物态方程理论．主要内容有：电离平衡方程；Thomas-Fermi统计理论（包括各种修正）；获得固体和液体物态方程的方法，着重论述了半经验理论；以及计算物态方程数据的具体步骤．书中还具体介绍了流体力学程序计算中使用的物态方程形式以及爆轰产物的物态方程．书末的附录中给
ADA导引 : 程序设计语言ADA参考手册 (美国国家标准/军用标准)
《ADA导引 : 程序设计语言ADA参考手册 (美国国家标准/军用标准)》,作者:H.莱德加德 出版社:科学出版社 ISBN:15031690。程序设计语言Ada是在美国国防部推动和领导下研制的大型算法语言，将被用于取代与美国军方有关的领域现正使用的一切其它高级程序设计语言． 本书既包括对Ada特点的扼要介绍（导引部分），又包括对Ada的详细定义（文本部分）．对Ada细节不感兴趣的读者可以从
集合论导引（第三卷）高阶无穷
《集合论导引（第三卷）高阶无穷》,作者:冯琦 著 出版社:科学出版社 ISBN:9787030636232。本卷是在前两卷的基础上对集合论保证无穷集合存在的无穷公理的层次分析。这种分析既包含组合分析，也包含逻辑分析；既包含内模型分析，也包含外模型分析；归根结底是揭示各种高阶无穷公理对整个集合论论域的影响，尤其是对实数集合的影响。因此，第三卷的第1章侧重于大基数的组合分析、逻辑分析以及内
