经典好书《FreeBSD操作系统设计与实现(第2版) 英文版》读书内容简介:一版的基础上进行了全面更新,以涵盖版本FreeBSD 5和版本11之间的所有重大改进。本书大约有1/3的内容是全新的,还有1/3的内容进行了完全重写。在本书中,三位FreeBSD项目领导人先概述了FreeBSD内核的当前设计和实现,接下...详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
经典好书《UML系统分析设计与应用案例》读书内容简介:向对象的软件系统分析和设计中的应用,并通过实例讲解了系统的面向对象分析与设计过程,以及如何用UML语言为系统建模。此外,还介绍了如何使用Rational Rose 2000中的前向工程和逆向工程。 本书结合了丰富的实例,通过实例启...详情
数据库管理系统原理与设计 书籍
经典好书《数据库管理系统原理与设计》读书内容简介: 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...详情
网格系统与版式设计 书籍
经典好书《网格系统与版式设计》读书内容简介:设计案例,包括包豪斯的平面设计和耐克的产品目录,从构成要素与程序入手,对网格系统做出了通俗易懂的介绍,讲解了网格系统的应用法则,并提供了详细的版式设计步骤。作者凭借其锐利的目光以及清晰的解说,揭示了成功的设计作品是如何运用各种手段构成视觉关系的,向读...详情
概率论与数理统计教程 书籍
经典好书《概率论与数理统计教程》读书内容简介:通高等教育“十一五”国家级规划教材。全书共八章,前四章为概率论部分,主要叙述各种概率分布及其性质,后四章为数理统计部分,主要叙述各种参数估计与假设检验。 《概率论与数理统计教程》的编写从实例出发;图文并茂,通俗易懂,注重讲清楚基本概念与统计思想...详情
分布式系统概念与设计 书籍
经典好书《分布式系统概念与设计》读书内容简介:前版已被爱丁堡大学、伊利诺伊大学、卡内基-梅隆大学、南加州大学、得克萨斯A&M大学、多伦多大学、罗切斯特理工学院等世界众多名校采纳为高级操作系统、计算机网络、分布式系统课程的教材。第4版的新内容:全新的三章内容,分别介绍对等系统、Web服务、移动与普...详情
经典好书《拓扑学与几何学基础讲义/数学统计学系列》读书内容简介: 作者简介详情
经典好书《FreeBSD操作系统设计与实现》读书内容简介: FreeBSD操作系统设计与实现,ISBN:9787115136855,作者:(美)(Marshall, K.M.)著作者简介详情
经典好书《对象-关系数据库管理系统原理与实现》读书内容简介:理系统Angel为背景,在深入分析国内外相关研究成果的基础上,针对对象-关系这种目前应用最为广泛、最为重要的数据库管理系统,论述了对象-关系数据库系统的原理与实现技术。作为国内第一本全面、系统而深入地论述对象-关系数据库管理系统设计思想与实现技术的专...详情