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

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

经典好书《星占学与传统文化》读书内容简介:代中国人观念中的天人关系。书中引用了大量不常见的原始文献，既能使读者明白易懂，又具有足够的思想深度。作者在本书中提出了，“政治天文学”的概念，指出了中国历史上天文学的特点及其特殊的政治地位和作用，对我国这一自古以来影响深远且颇具神秘色彩的天人感应学说...详情

经典好书《数据库管理系统原理与设计》读书内容简介: 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...详情

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

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

经典好书《分布式系统概念与设计》读书内容简介:前版已被爱丁堡大学、伊利诺伊大学、卡内基-梅隆大学、南加州大学、得克萨斯A&M大学、多伦多大学、罗切斯特理工学院等世界众多名校采纳为高级操作系统、计算机网络、分布式系统课程的教材。第4版的新内容：全新的三章内容，分别介绍对等系统、Web服务、移动与普...详情

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

经典好书《传统与个人才能》读书内容简介:-1965)，诗人、剧作家和文学批评家，诗歌现代派运动领袖。出生于美国密苏里州的圣路易斯。一九二二年发表的《荒原》为他赢得了国际声誉，被评论界看作是二十世纪最有影响力的一部诗作，至今仍被认为是英美现代诗歌的里程碑。一九二七...详情

经典好书《东亚传统教育与学礼学规》读书内容简介:動。論教育活動的起源，其與宗教的關係密不可分，是以可理解的。只是教育史的發展，正是在淡化宗教色彩，使其止於儀式，而其意義則歸為教育，在制度上乃曰：「學禮」。因為禮就廣義而言也是法，所以後代的各種學規(包含官學、書院等)也可視為學禮之一。至於家學也有禮...详情