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

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

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

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

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

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

经典好书《深入理解软件构造系统》读书内容简介:确性和性能，在一定程度上决定了软件开发成果的质量和软件开发过程的效率。本书作者作为一名软件构造系统专家，总结了自己在构造系统开发和维护方面的多年经验，对软件构造系统的原理进行了深入浅出的剖析，并通过各种实际使用场景，对几种最流行的构造工具进行了对比分...详情

经典好书《Oracle编程艺术：深入理解数据库体系结构（第3版）》读书内容简介:e著名Oracle数据库大师，长期主持Oracle Magazine“Ask Tom”专栏，热心回答困扰全世界Oracle开发人员和DBA的各种问题。曾任Oracle公司核心技术集团副总裁。从5.1.5c版本开始使用Oracle，自7....详情

经典好书《数据库系统概念》读书内容简介:作品夯实数据库理论基础，增强数据库技术内功的必备之选对深入理解数据库，深入研究数据库，深入操作数据库都具有极强的指导作用！【内容简介】本书是数据库系统方面的经典教材之一，其内容由浅入深，既包含数...详情

经典好书《前端工程化：体系设计与实践》读书内容简介:工程师的工作效率，加快Web开发迭代速度，是现在前端开发领域中非常重要的一环。前端工程化：体系设计与实践》系统、全面地介绍了前端工程体系的各个环节，包括设计要点和实践经验。全书分为7章，分别是前端工程简史、脚手架、构建、本地开发服务器、部署、工作流、...详情