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

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

经典好书《Soft Skills 軟實力｜軟體開發人員的生存手冊》读书内容简介:，面對客戶、同事、主管、保持自身生產力、安全理財、維持個人身材和尋找真愛，卻往往束手無策。本書正是要來助你一臂之力。《軟實力｜軟體開發人員的生存手冊》要為技術專業人士指引一條明路，全方位發展美滿幸福的人生。本書作者John Sonmez...详情

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

经典好书《国际关系分析》读书内容简介:也是2007年北京市高等教育精品教材立项项目。这是一本内容丰富且简明实用的国际关系分析教科书，主要介绍了国际关系的基本概念和原理，并以大量实例向读者演示如何运用这些概念和原理分析纷繁复杂的国际关系现实。作者在写作过程中注重概念的明确、原...详情

经典好书《UML系统分析设计与应用案例》读书内容简介:向对象的软件系统分析和设计中的应用，并通过实例讲解了系统的面向对象分析与设计过程，以及如何用UML语言为系统建模。此外，还介绍了如何使用Rational Rose 2000中的前向工程和逆向工程。 本书结合了丰富的实例，通过实例启...详情

经典好书《客体关系心理治疗》读书内容简介:统梳理客体关系理论，全面呈现其历史起源和发展现状。作者基于其大量临床实践，归纳出客体关系心理治疗四阶段，对不同取向心理治疗师都具有实践指导价值。针对不同类型的个案，分别详述个案病理在人际关系中的表现、心理职师采取的不同干预手段。作者简介...详情

经典好书《犹太教神秘主义主流》读书内容简介:犹太教神秘主义研究的坚实基础之第一人。在这部划时代的书中，他概述了哈西德主义从其古代发端到近代最新的发展。大胆而深刻的理念和象征得到了分析和评价。索伦的著作使我们关于犹太教和神秘主义在西方思想中的作用的整个观点发生了根本的改变。目录</...详情

经典好书《UNIX操作系统设计(英文版)》读书内容简介:系统V为背景，全面、系统地介绍了UNIX操作系统内核的内部数据结构和算法。《UNIX操作系统设计(英文版)》首先对系统内核结构做了简要介绍，然后分章节描述了文件系统、进程调度和存储管理，并在此基础上讨论了UNIX系统的高级问题，如驱动程序接口、进程间...详情

经典好书《Linux网络体系结构》读书内容简介:x内核中实现网络功能时所需的基础知识，本书也适合所有希望深入理解操作系统内部网络特定进程的人。本书介绍了Linux内核的关键网络组件及机制，同时也介绍了通信系统的设计。 本书详细地描述了新近Linux内核版本中的网络子系统。 这里解释了协议的工...详情