经典好书《深入理解UNIX系统内核》读书内容简介:IX操作系统的内核技术，包含丰富的图示与细节展示。作者从操作系统设计的角度来审视UNIX系统内核，针对内核中的每个模块，深入探讨其结构和设计，详细阐释主流UNIX系统如何选择具体模块的实现方法，以及每种方法的优缺点，为读者更好地理解操作系统内核知识、...详情

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

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

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

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

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

经典好书《系统架构》读书内容简介:域资深专家Norman R. Augustine作序推荐，Amazon全五星评价。全书共分四部分。第一部分（第1~3章）的重点是引出系统架构。第1章通过一些范例来展示架构理念，指出良好的架构，并给出本书的概要；第2章列出进...详情

经典好书《Android系统源代码情景分析》读书内容简介:地分析Android系统的源代码，涉及到Linux内核层、硬件抽象层（HAL）、运行时库层(Runtime)、应用程序框架层(Application Framework)以及应用程序层(Application)。在组织上，本书将上述内容...详情

经典好书《数据库管理系统原理与设计》读书内容简介: his B.Tech. from IIT Madras in 1983 and his Ph.D. from the University of Texas at Austin in 1987. He was a member of the Dat...详情

经典好书《网格系统与版式设计》读书内容简介:设计案例，包括包豪斯的平面设计和耐克的产品目录，从构成要素与程序入手，对网格系统做出了通俗易懂的介绍，讲解了网格系统的应用法则，并提供了详细的版式设计步骤。作者凭借其锐利的目光以及清晰的解说，揭示了成功的设计作品是如何运用各种手段构成视觉关系的，向读...详情