经典好书《操作系统设计与实现(下册)》读书内容简介:省理工学院加州大学伯克利分校获得学士与博士学位。现任荷兰阿姆斯特丹Vrije大学计算机教授并领导着一个计算机系统研究小组。到2005年1月卸任为止,他担任计算与成像高级学院院长一职已有12年。Tanenbaum过去的研究领域包括编译器、...详情
经典好书《操作系统:设计与实现(第二版)》读书内容简介:省理工学院加州大学伯克利分校获得学士与博士学位。现任荷兰阿姆斯特丹Vrije大学计算机教授并领导着一个计算机系统研究小组。到2005年1月卸任为止,他担任计算与成像高级学院院长一职已有12年。Tanenbaum过去的研究领域包括编译器、...详情
经典好书《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...详情
经典好书《UML系统分析设计与应用案例》读书内容简介:向对象的软件系统分析和设计中的应用,并通过实例讲解了系统的面向对象分析与设计过程,以及如何用UML语言为系统建模。此外,还介绍了如何使用Rational Rose 2000中的前向工程和逆向工程。 本书结合了丰富的实例,通过实例启...详情