经典好书《はじめてのOSコードリーディング ~UNIX V6で学ぶカーネルのしくみ》读书内容简介:>日本资深程序员，现在硅谷从事计算机处理芯片的设计工作。曾设计了超级计算机“京”的L1缓存，该计算机在2011年排名世界Top 500超级计算机的第1位，也是人类历史上第一台计算能力跨越1亿亿次每秒的计算系统。作者Email：v6@gachapin....详情

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

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

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

经典好书《深入理解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大学的计算机科学系教授，并领导着一个计算机系统的研究小组。多年来，他在操作系统、编译技术、网络及局域分布式...详情

经典好书《やり抜く力 GRIT(グリット)》读书内容简介:/p>★HONZビジネス書グランプリ2017第1位! (ビジネススキル部門)★DIAMONDハーバード・ビジネス・レビュー読者が選ぶベスト経営書2016第2位!★2016年翻訳者・編集者・エージェントおすすめの「今年...详情