计算机和难解性 : 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:9787030636218。本卷是这本《集合论导引》的开卷，分为三章，是后续两卷的基础。第1章主要是引进集合论的基本公理、基本概念、基本方法，并给出典型的可数集合的例子，包括自然数集合、整数集合、有理数集合以及彻底有限集合等。第2章主要是引进选择公理以及由此建立起来的基数运算律和一些典型组合实例。第3章专门
