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

经典好书《微观动机与宏观行为》读书内容简介:与其所带来的总体结果（或宏观行为）之间的相互关系，它不仅探讨个体行为所导致的令人惊奇的宏观结果，也讨论宏观结果中所蕴涵的个体动机或行为，以及是否可能从观察到的宏观行为中推论出微观动机。谢林教授通过人们耳熟能详的、简单易懂的例子说明了当总体行为不仅仅是...详情

经典好书《实战Java虚拟机：JVM故障诊断与性能优化（第2版）》读书内容简介:的生态圈，学习Java的人也越来越多，但多数人学习Java虚拟机（JVM）时都会遇到瓶颈。本书将通过200余个示例详细介绍JVM中的各种参数配置、故障排查、性能监控及性能优化，帮助Java人突破瓶颈。《实战Java虚拟机———JVM故障...详情

经典好书《机遇与混沌》读书内容简介:测？对这些问题答案的探讨，构成了本书的主题。作者从机遇有其原因、抽彩和星象等说起，谈到了历史的演化、熵、信息乃至性的真意、智能……本书深入浅出，是普通读者了解混沌理论的绝佳入门读物。作者简介大卫・吕埃勒，法国科学家，布鲁塞...详情

经典好书《计算机组成与设计：硬件/软件接口》读书内容简介: Pardee Professor of Computer Science, Emeritus at the University of California at Berkeley, which he joined after graduating...详情

经典好书《投机与骗局》读书内容简介:的大众幻想与群众性癫狂》和《混乱中的困惑》。《非同寻常的大众幻想与群众性癫狂》作为密西西比计划、荷兰郁金香狂潮和南海泡沫事件等非理性狂热现象的编年史引人入胜，它深刻描绘了人类陷入投机狂热的冲动，可以说，它不单是一本投资经典，也是一本人类愚行的总记录。...详情

经典好书《形式语言与自动机导论》读书内容简介: 本书精辟地阐述了计算课程的入门理论，简明地解释了复杂的思想并且提供了坚实的数学基础知识。作者提供了直观的证明，同时避免过多数学细节，这样学生就能够集中精力理解基本理论。许多精心选择的例子在几种上下文中重复出现，这样学生就能够通过对比式的研究加强理解。作者简介详情

经典好书《外围资本主义：危机与改造》读书内容简介:/p>本书内容分布引论第一部分　资本主义全球体系中的拉丁美洲外围第二部分　社会结构及其变动，收入分配第三部分　占有，再分配和体系的危机第四部分　中心与外围之间的结构性差异</...详情

经典好书《国外建筑设计详图图集9.伊东丰雄》读书内容简介:建筑细部》共分四章。第一章是对1984年起到90年代初的“八代市立博物馆·未来森林博物馆”这一阶段的建筑进行的整理。第二章，从90年代的“日本佛教文化会馆竞赛方案征集”时起，作者开始对玻璃发生了兴趣，因此采用玻璃幕墙、平屋顶和盒子型的作品逐渐增多，本...详情

经典好书《晚清教案危机与政府应对》读书内容简介:案对晚清社会政治危机加剧的影响，政府与民众对待教案态度的差异，分析了清政府在应对教案时的运筹水平、决策机制、处置能力、正误得失以及政策的实际效用，从一个侧面反映了晚清政府面对社会变革时的处境及应对危机的能力与局限。作者简介...详情