经典好书《计算机系统概论》读书内容简介:的经典基础教材。全书以自底向上方法帮助学生理解计算机系统的原理，前半部分阐述了计算机底层结构，后半部分讲解了高级语言编程及编程方法学，主要内容包括数据类型及其运算、数字逻辑、冯·诺伊曼模型、汇编语言、输入和输出、TRAP程序和子程序、C语言编程等内容...详情

经典好书《模糊系统、模糊神经网络及应用程序设计》读书内容简介: 作者简介详情

经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、...详情

经典好书《数据库管理系统原理与设计》读书内容简介: 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...详情

经典好书《深入理解计算机系统》读书内容简介:本书适用于那些想要写出更快、更可靠程序的程序员。通过掌握程序是如何映射到系统上，以及程序是如何执行的，读者能够更好的理解程序的行为为什么是这样的，以及效率低下是如何造成的。粗略来看，计算机系统包括处理器和存储器硬件、编译器、操作系统和网络互连环境。而...详情

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

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

经典好书《数据库管理系统原理与设计》读书内容简介: 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...详情

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

经典好书《计算机系统（原书第5版）》读书内容简介:统、汇编、高阶语言和应用等层级，系统而全面地介绍了计算机系统、C++、信息表示、计算机体系结构、汇编语言、汇编级编译、语言翻译原理、进程管理、存储管理、组合电路、顺序电路、计算机组成。书后配有练习答案。本书全面而系统地介绍了计算机组成、汇编语言和计算...详情