数据库管理系统原理与设计 书籍
经典好书《数据库管理系统原理与设计》读书内容简介: 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...详情
系统论--系统科学哲学 书籍
经典好书《系统论--系统科学哲学》读书内容简介:。本书立足于一般系统论、信息论、控制论、耗散结构理论、协同学、超循环理论、突变论、混沌理论和分形理论等系统科学理论,探索了系统科学古今中外的四方面来源,考察了从宇宙、生命、精神、生态到社会五大系统的基本特征,...详情
深入理解计算机系统 书籍
经典好书《深入理解计算机系统》读书内容简介:本书适用于那些想要写出更快、更可靠程序的程序员。通过掌握程序是如何映射到系统上,以及程序是如何执行的,读者能够更好的理解程序的行为为什么是这样的,以及效率低下是如何造成的。粗略来看,计算机系统包括处理器和存储器硬件、编译器、操作系统和网络互连环境。而...详情
LINUX系统编程 书籍
经典好书《LINUX系统编程》读书内容简介:乎所有的程序员都要与其程序所处操作系统中的系统调用和程序库打交道。《LINUX系统编程》主要讨论如何编写Linux系统软件——代码位于底层,并且直接跟内核及核心系统程序库对话。《Linux系统编程》描述了使用标准接口包括使用Linux独有的高级接口时...详情
深入理解UNIX系统内核 书籍
经典好书《深入理解UNIX系统内核》读书内容简介:IX操作系统的内核技术,包含丰富的图示与细节展示。作者从操作系统设计的角度来审视UNIX系统内核,针对内核中的每个模块,深入探讨其结构和设计,详细阐释主流UNIX系统如何选择具体模块的实现方法,以及每种方法的优缺点,为读者更好地理解操作系统内核知识、...详情
经典好书《FreeBSD操作系统设计与实现(第2版) 英文版》读书内容简介:一版的基础上进行了全面更新,以涵盖版本FreeBSD 5和版本11之间的所有重大改进。本书大约有1/3的内容是全新的,还有1/3的内容进行了完全重写。在本书中,三位FreeBSD项目领导人先概述了FreeBSD内核的当前设计和实现,接下...详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
现代操作系统 书籍
经典好书《现代操作系统》读书内容简介:p>Andrew S.Tanenbaum 拥有美国麻省理工学院的理学学士学位和加州大学伯克利分校的哲学博士学位,目前是荷兰阿姆斯特丹Vrije大学的计算机科学系教授,并领导着一个计算机系统的研究小组。多年来,他在操作系统、编译技术、网络及局域分布式...详情
经典好书《UML系统分析设计与应用案例》读书内容简介:向对象的软件系统分析和设计中的应用,并通过实例讲解了系统的面向对象分析与设计过程,以及如何用UML语言为系统建模。此外,还介绍了如何使用Rational Rose 2000中的前向工程和逆向工程。 本书结合了丰富的实例,通过实例启...详情