经典好书《深入理解计算机系统》读书内容简介:本书适用于那些想要写出更快、更可靠程序的程序员。通过掌握程序是如何映射到系统上，以及程序是如何执行的，读者能够更好的理解程序的行为为什么是这样的，以及效率低下是如何造成的。粗略来看，计算机系统包括处理器和存储器硬件、编译器、操作系统和网络互连环境。而...详情

经典好书《数字设计和计算机体系结构》读书内容简介:，从计算机组成和设计向下至更精细的层次，详细展示了如何用Verilog和VHDL构建MIPS微处理器。本书为学生提供了一个很好的机会，使他们可以在现代FPGA上进行大型的数字设计，既能增长学生的专业知识，又能启发学生运用所学知识去解决实际问题。书中通...详情

经典好书《LINUX系统编程》读书内容简介:乎所有的程序员都要与其程序所处操作系统中的系统调用和程序库打交道。《LINUX系统编程》主要讨论如何编写Linux系统软件——代码位于底层，并且直接跟内核及核心系统程序库对话。《Linux系统编程》描述了使用标准接口包括使用Linux独有的高级接口时...详情

经典好书《国外优秀数学教材系列》读书内容简介: 作者简介详情

经典好书《费希特著作选集 第4卷》读书内容简介:导论　关于理性国家对现存国家和国家法理论对政治学的关系第一卷　哲学——什么样的贸易往来在理性国家中是合法的?第一章　用来回答这个问题的基本原理第二章　上述基本原理在社会交往中的普遍运用第三章　关...详情

经典好书《深入理解UNIX系统内核》读书内容简介:IX操作系统的内核技术，包含丰富的图示与细节展示。作者从操作系统设计的角度来审视UNIX系统内核，针对内核中的每个模块，深入探讨其结构和设计，详细阐释主流UNIX系统如何选择具体模块的实现方法，以及每种方法的优缺点，为读者更好地理解操作系统内核知识、...详情

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

经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Allo...详情

经典好书《MIPS体系结构透视》读书内容简介:本关于MIPS体系结构的经典之作。第2版延续了第1版的可读性传统，通过应用具体的实例对硬件和软件的接口进行强调，并将广泛应用的RISC系统结构MIPS与开源操作系统Linux结合在一起，从MIPS设计原理开始，阐述MIPS指令集和程序员的可用资源。<...详情

经典好书《现代操作系统》读书内容简介:p>Andrew S.Tanenbaum 拥有美国麻省理工学院的理学学士学位和加州大学伯克利分校的哲学博士学位，目前是荷兰阿姆斯特丹Vrije大学的计算机科学系教授，并领导着一个计算机系统的研究小组。多年来，他在操作系统、编译技术、网络及局域分布式...详情