经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、...详情

经典好书《面向模式的软件架构. 第2卷》读书内容简介:国际公认的软件开发专家，尤其在设计模式、面向对象框架、实时中间件、建模工具和开源软件开发等方面享有盛誉，美国范德比尔特大学（Vanderbilt University）计算机科学教授。他的研究领域包括模式和模式语言、优化原理，对于支持服务质量的组件中...详情

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

经典好书《面向模式的软件架构，卷3》读书内容简介:德国慕尼黑西门子研究院高级软件工程师，Michael Kircher Software UG (haftungsbeschränkt)公司总经理。关注的领域包括分布式对象计算、软件架构、模式、极限编程及创新环境中脑力劳动者的管理。与人合著有*Remo...详情

经典好书《中国小说叙事模式的转变》读书内容简介:北京大学获文学博士学位，1992年起为北京大学中文系教授。曾先后在日本东京大学和京都大学（1993-1994）、美国哥伦比亚大学（1997）、德国海德堡大学（2000）、英国伦敦大学（2001）讲学和研究。主要研究领域是：1980年代着重“二十世纪中...详情

经典好书《民主的模式》读书内容简介:主国家，将它们置于一幅二维的民主“概念图”之中。凭借有力的证据和深层次的比较分析，作者得出了一个重要结论：共识民主的效果比多数民主更好。作者认为，这一发现奖为正处在民主化进程中的国家以及新兴民主国家提供参考。本书是美国著名学者阿伦·利普...详情

经典好书《基于Excel和VBA的高级金融建模》读书内容简介:模型覆盖了整个金融领域，包括股票、股票期权和债券期权。本书在纵览金融领域的基础上，将资产定价中的假设、数学问题、数值方法和Excel 的解法连接起来，总结出一般性规律，然后详细介绍如何应用Excel中的宏和函数来实现股票、期权和债券内容的计算。</p...详情

经典好书《我生活的种种模式》读书内容简介:A・西蒙的自传。西蒙是本世纪文理兼通的一位科学奇才。他从研究社科学起步。却在政治科学、经济学、心理学、管理科学、计算机科学和科学哲学等领域颇有建树。从50年代开始，他把关于组织地为决策管理方面的理论应用于经济学，还开创了人工智能，认知科学和信处理心理...详情

经典好书《民主的模式》读书内容简介:1年出生，英国伦敦经济与政治学院(London School of Economics and Polifical Science)的政治学教授，在国际关系领域也卓有成就。他和吉登斯一起都是著名的政体出版社(Polity Press)的创立者之一。 ...详情

经典好书《订阅经济――数字时代的商业模式变革》读书内容简介: 作者简介详情