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

经典好书《数据库管理系统原理与设计》读书内容简介: his B.Tech. from IIT Madras in 1983 and his Ph.D. from the University of Texas at Austin in 1987. He was a member of the Dat...详情

经典好书《网格系统与版式设计》读书内容简介:设计案例，包括包豪斯的平面设计和耐克的产品目录，从构成要素与程序入手，对网格系统做出了通俗易懂的介绍，讲解了网格系统的应用法则，并提供了详细的版式设计步骤。作者凭借其锐利的目光以及清晰的解说，揭示了成功的设计作品是如何运用各种手段构成视觉关系的，向读...详情

经典好书《概率论与数理统计教程》读书内容简介:通高等教育“十一五”国家级规划教材。全书共八章，前四章为概率论部分，主要叙述各种概率分布及其性质，后四章为数理统计部分，主要叙述各种参数估计与假设检验。 《概率论与数理统计教程》的编写从实例出发；图文并茂，通俗易懂，注重讲清楚基本概念与统计思想...详情

经典好书《拓扑学与几何学基础讲义/数学统计学系列》读书内容简介: 作者简介详情

经典好书《FreeBSD操作系统设计与实现》读书内容简介: FreeBSD操作系统设计与实现，ISBN：9787115136855，作者：（美）（Marshall, K.M.）著作者简介详情

经典好书《交易系统与方法（原书第5版）》读书内容简介: J. Kaufman）佩里 Ｊ. 考夫曼，拥有近半世纪的证券与衍生产品市场交易经验，是系统交易与量化交易领域的先驱。在全球各地向基金、政府以及投资经理分享自己所开创的系统交易领域的真知灼见。他的职业生涯开启于宇航领域，效...详情

经典好书《心理与行为科学统计》读书内容简介:学位，1993 年在北京大学心理学系获得硕士学位，1998香港中文大学心理学系获得博士学位。发表了80余篇研究论文，其中31篇为以第一作者或通讯作者身份发表的SSCI收录的英文期刊。目前任中国心理学会心理测量分会理事，国际SSCI期刊“Applied...详情

经典好书《精神障碍诊断与统计手册(案头参考书)(第五版)》读书内容简介:学会（American Psychiatric Association, APA）推出了美国《精神障碍诊断与统计手册》的最新版本--DSM-5。它是现有的精神疾病分类与诊断标准DSM-4的升级版。为了能进一步改进精神疾病的诊断，治疗，科研和在所有临床...详情

经典好书《概率论与数理统计》读书内容简介: 《概率论与数理统计》(修订本)是原教育部委托中国人民大学经济信息管理系赵树源教授主编的高等学校文科教材《经济应用数学基础》的第三册。它介绍了初等概率论的基本知识及数理统计的一些方法，同时还对马尔可夫链作了简单介绍。作者简介详情