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

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

经典好书《代码整洁之道》读书内容简介:Mentor公司总裁。面向对象设计、模式、UML、敏捷方法学和极限编程领域的资深顾问。他是Designing Object-Oriented C++Applications Using the BoochMethod以及Jolt获奖图书Agile S...详情

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

经典好书《解码者》读书内容简介:科研人员日常学习、工作的照片辑及包括多位菲尔兹奖、沃尔夫奖、阿贝尔得主在内的著名数学家、理论物理学家以及年轻的访问学者们为本书写下的随想和短文，语言清新优美，平淡自然却韵味深远，这些文章触及了数学研究的核心，将带领了解：数学家是些什么样...详情

经典好书《直覺，為決策之本》读书内容简介:他在新書中說明了如何在工作中掌握直覺的訣竅，並更上一層樓。是有效決策的導師。」－－前《華爾街日報》「前線」專欄作家 湯姆•派辛格（Tom Petzinger）「本書清楚實用，能夠協助經理人提升決策品質。人人必讀！」－－暢銷書《一分鐘經理...详情

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

经典好书《变色龙：契诃夫中短篇小说集》读书内容简介:是小说,还是剧本,他都独辟蹊径,其艺术成就是高超的,举世公认的。关于契诃夫的小说,列夫·托尔斯泰说过：他“创造了新的形式,因此我丝毫不假作谦逊地肯定说,在技术方面契诃夫远比我为高明！……这是一个无与伦比的艺术家。”《变色龙：契诃夫中短篇...详情

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

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