经典好书《FreeBSD操作系统设计与实现(第2版) 英文版》读书内容简介:一版的基础上进行了全面更新,以涵盖版本FreeBSD 5和版本11之间的所有重大改进。本书大约有1/3的内容是全新的,还有1/3的内容进行了完全重写。在本书中,三位FreeBSD项目领导人先概述了FreeBSD内核的当前设计和实现,接下...详情
经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
MIPS体系结构透视 书籍
经典好书《MIPS体系结构透视》读书内容简介:本关于MIPS体系结构的经典之作。第2版延续了第1版的可读性传统,通过应用具体的实例对硬件和软件的接口进行强调,并将广泛应用的RISC系统结构MIPS与开源操作系统Linux结合在一起,从MIPS设计原理开始,阐述MIPS指令集和程序员的可用资源。<...详情
现代操作系统 书籍
经典好书《现代操作系统》读书内容简介:p>Andrew S.Tanenbaum 拥有美国麻省理工学院的理学学士学位和加州大学伯克利分校的哲学博士学位,目前是荷兰阿姆斯特丹Vrije大学的计算机科学系教授,并领导着一个计算机系统的研究小组。多年来,他在操作系统、编译技术、网络及局域分布式...详情
国际关系分析 书籍
经典好书《国际关系分析》读书内容简介:也是2007年北京市高等教育精品教材立项项目。这是一本内容丰富且简明实用的国际关系分析教科书,主要介绍了国际关系的基本概念和原理,并以大量实例向读者演示如何运用这些概念和原理分析纷繁复杂的国际关系现实。作者在写作过程中注重概念的明确、原...详情
经典好书《UML系统分析设计与应用案例》读书内容简介:向对象的软件系统分析和设计中的应用,并通过实例讲解了系统的面向对象分析与设计过程,以及如何用UML语言为系统建模。此外,还介绍了如何使用Rational Rose 2000中的前向工程和逆向工程。 本书结合了丰富的实例,通过实例启...详情
客体关系心理治疗 书籍
经典好书《客体关系心理治疗》读书内容简介:统梳理客体关系理论,全面呈现其历史起源和发展现状。作者基于其大量临床实践,归纳出客体关系心理治疗四阶段,对不同取向心理治疗师都具有实践指导价值。针对不同类型的个案,分别详述个案病理在人际关系中的表现、心理职师采取的不同干预手段。作者简介...详情
八十忆双亲 师友杂忆 书籍
经典好书《八十忆双亲 师友杂忆》读书内容简介:八十高龄后对双亲及师友等的回忆文字,情致款款,令人慨叹。读者不仅由此得见钱穆一生的求学、著述与为人,亦能略窥现代学术概貌之一斑。有心的读者更能从此书感受到20世纪“国家社会家庭风气人物思想学术一切之变”。这本书不光是写他自己一身一家的琐事,更加能启发...详情
经典好书《UNIX操作系统设计(英文版)》读书内容简介:系统V为背景,全面、系统地介绍了UNIX操作系统内核的内部数据结构和算法。《UNIX操作系统设计(英文版)》首先对系统内核结构做了简要介绍,然后分章节描述了文件系统、进程调度和存储管理,并在此基础上讨论了UNIX系统的高级问题,如驱动程序接口、进程间...详情
Linux网络体系结构 书籍
经典好书《Linux网络体系结构》读书内容简介:x内核中实现网络功能时所需的基础知识,本书也适合所有希望深入理解操作系统内部网络特定进程的人。本书介绍了Linux内核的关键网络组件及机制,同时也介绍了通信系统的设计。 本书详细地描述了新近Linux内核版本中的网络子系统。 这里解释了协议的工...详情