经典好书《操作系统设计与实现（上册）》读书内容简介:省理工学院加州大学伯克利分校获得学士与博士学位。现任荷兰阿姆斯特丹Vrije大学计算机教授并领导着一个计算机系统研究小组。到2005年1月卸任为止，他担任计算与成像高级学院院长一职已有12年。Tanenbaum过去的研究领域包括编译器、...详情

经典好书《分布式系统原理与范型》读书内容简介:作系统》的修订版，是分布式系统的权威教材。全书分为两部分：原理和范型。第一部分详细讨论了分布式系统的原理、概念和技术，其中包括通信、进程、命名、同步、一致性和复制、容错以及安全。第二部分给出了一些实际的分布式系统：基于对象的分布式系统、分布式文件系统...详情

经典好书《分布式系统概念与设计(原书第3版)》读书内容简介:供深入的分布式系统设计原理和实践方面的知识，读者通过学习可以掌握评价已有系统或设计新系统的方法。书中结合分布式系统技术主要的新进展，重点介绍了因特网、企业内部网、Web和中间件，还包括故障建模和容错、分布式对象和分布式多媒体系统。《分布式系统概念与设...详情

经典好书《分布式系统原理与范型》读书内容简介:统的最新力作，是分布式系统的权威教材。本书分成了两大部分。第2～9章讨论的是分布式系统的的原理、概念和技术，包括通信、进程、命名、同步化、一致性和复制、容错性以及安全性等，而分布式应用的开发方法（即范型）在第10～13章中进行了讨论。但是，与前一版不...详情

经典好书《Linux系統架構与目錄之解析》读书内容简介:案的專書，打破以往只依賴指令字典的迷思，依據系統目錄架構為主體，並設計查詢功能，以協助讀者建立Linux作業系統的整體觀感，而不再僅限於對某些服務或設定的片面了解。提供完整的系統啟動流程圖，為讀者說明各個目錄與檔案位於開機流程中的重點。...详情

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

经典好书《FreeBSD操作系统设计与实现(第2版) 英文版》读书内容简介:一版的基础上进行了全面更新，以涵盖版本FreeBSD 5和版本11之间的所有重大改进。本书大约有1/3的内容是全新的，还有1/3的内容进行了完全重写。在本书中，三位FreeBSD项目领导人先概述了FreeBSD内核的当前设计和实现，接下...详情

经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第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...详情