经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Allo...详情

经典好书《现代操作系统》读书内容简介:p>Andrew S.Tanenbaum 拥有美国麻省理工学院的理学学士学位和加州大学伯克利分校的哲学博士学位，目前是荷兰阿姆斯特丹Vrije大学的计算机科学系教授，并领导着一个计算机系统的研究小组。多年来，他在操作系统、编译技术、网络及局域分布式...详情

经典好书《统计学》读书内容简介:53841，作者：贾俊平 等 著作者简介贾俊平，中国人民大学统计学院副教授。研究方向：统计方法在经济各领域的应用、统计教学方式和方法。主要著作有：《统计学》、《描述统计》、《工商管理统计》、《市场调查与分析》等。主持研究的...详情

经典好书《UML系统分析设计与应用案例》读书内容简介:向对象的软件系统分析和设计中的应用，并通过实例讲解了系统的面向对象分析与设计过程，以及如何用UML语言为系统建模。此外，还介绍了如何使用Rational Rose 2000中的前向工程和逆向工程。 本书结合了丰富的实例，通过实例启...详情

经典好书《星占学与传统文化》读书内容简介:代中国人观念中的天人关系。书中引用了大量不常见的原始文献，既能使读者明白易懂，又具有足够的思想深度。作者在本书中提出了，“政治天文学”的概念，指出了中国历史上天文学的特点及其特殊的政治地位和作用，对我国这一自古以来影响深远且颇具神秘色彩的天人感应学说...详情

经典好书《UNIX操作系统设计(英文版)》读书内容简介:系统V为背景，全面、系统地介绍了UNIX操作系统内核的内部数据结构和算法。《UNIX操作系统设计(英文版)》首先对系统内核结构做了简要介绍，然后分章节描述了文件系统、进程调度和存储管理，并在此基础上讨论了UNIX系统的高级问题，如驱动程序接口、进程间...详情

经典好书《深入理解软件构造系统》读书内容简介:确性和性能，在一定程度上决定了软件开发成果的质量和软件开发过程的效率。本书作者作为一名软件构造系统专家，总结了自己在构造系统开发和维护方面的多年经验，对软件构造系统的原理进行了深入浅出的剖析，并通过各种实际使用场景，对几种最流行的构造工具进行了对比分...详情

经典好书《操作系统之哲学原理(第2版)》读书内容简介:和管理整个系统，使之协调工作。本书对操作系统的核心内容进行了全面分析，包括操作系统的发展历史和基本概念、进程与线程、内存管理、文件系统、输入与输出、多核环境下的进程调度和操作系统设计。本书用大量生活实例，生动地解释了操作系统中的主要难点和模糊点：锁的...详情

经典好书《数据库系统概念》读书内容简介:作品夯实数据库理论基础，增强数据库技术内功的必备之选对深入理解数据库，深入研究数据库，深入操作数据库都具有极强的指导作用！【内容简介】本书是数据库系统方面的经典教材之一，其内容由浅入深，既包含数...详情

经典好书《从方法到系统》读书内容简介:的转折，在这一转折中分类学成为了自然志学科的首要部分。本书以科学思想史的内部视角考察了自然志家切萨尔皮诺、扎卢然斯基、阿尔德罗万迪、约翰•雷、图尔内福、林奈的分类学工作，由此追溯了近代分类学概念构造的起源。早期分类学体现为对“方法”的研究和编制，这种...详情