经典好书《FreeBSD操作系统设计与实现(第2版) 英文版》读书内容简介:一版的基础上进行了全面更新,以涵盖版本FreeBSD 5和版本11之间的所有重大改进。本书大约有1/3的内容是全新的,还有1/3的内容进行了完全重写。在本书中,三位FreeBSD项目领导人先概述了FreeBSD内核的当前设计和实现,接下...详情
数据结构(第二版) 书籍
经典好书《数据结构(第二版)》读书内容简介:7年出版的原书的修订版。修订版在保持原书基本框架和特色的基础上对主要各章如:第一、二、三、四、六及九章等作了增删和修改。本书系统地介绍了各种类型的数据结构和查找、排序的各种方法。对每一种数据结构,除了详细阐述...详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
MIPS体系结构透视 书籍
经典好书《MIPS体系结构透视》读书内容简介:本关于MIPS体系结构的经典之作。第2版延续了第1版的可读性传统,通过应用具体的实例对硬件和软件的接口进行强调,并将广泛应用的RISC系统结构MIPS与开源操作系统Linux结合在一起,从MIPS设计原理开始,阐述MIPS指令集和程序员的可用资源。<...详情
数据结构与问题求解 书籍
经典好书《数据结构与问题求解》读书内容简介:用的观点介绍了数据结构和算法。本书中包含了C++的最新特性,任何地方都可以完全使用标准模板库(STL)。 C++允许程序员分开编写接口和实现,将它们保存在单独编译的文件中,并隐藏实现的具体细节。本书深入了一层:数据结构的接口和实现...详情
数理逻辑 书籍
经典好书《数理逻辑》读书内容简介:版)》内容分两部分:第一部分属数理逻辑基础,包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。《普通高等学校十一五规划教材•数理逻辑(第2版)》对Godel第一不完备性定理、Godel-Rosser定理、Tarski定理及...详情
现代操作系统 书籍
经典好书《现代操作系统》读书内容简介:p>Andrew S.Tanenbaum 拥有美国麻省理工学院的理学学士学位和加州大学伯克利分校的哲学博士学位,目前是荷兰阿姆斯特丹Vrije大学的计算机科学系教授,并领导着一个计算机系统的研究小组。多年来,他在操作系统、编译技术、网络及局域分布式...详情
妈妈教的数学 书籍
经典好书《妈妈教的数学》读书内容简介:老师。如愿考入北京师范大学数学系。四年后的1985年,响应国家号召,回到母校北京师范大学附属实验中学教书。中国的教师节也是从那年开始的。不仅在课堂上授业解惑,也通过文字的形式来传播思想,把图书当作介绍数学学习方法的工具。在...详情
高等代数学 书籍
经典好书《高等代数学》读书内容简介:,包括数与多项式,行列式,线性方程组,矩阵,线性空间,二次型,线性变换,空间分解,矩阵相似,欧空间和酉空间,双线性型,张量积与外积等。内容较深厚,便于打下优势基础;观点较新,便于适应现代数学。还有若干较深选读内容。可作为高...详情