经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材,涵盖了命题逻辑,谓词逻辑、模态逻辑与 Agent、...详情
小松模式 书籍
经典好书《小松模式》读书内容简介:役会长,日本经济团体联合会副会长。1941年出生于日本岛根县。1963年从大阪市立大学工学部毕业后进入小松公司,在小松粟津、大阪工厂从事推土机设计工作。1971年任职质量管理课,1981年到小松美国公司服务部工作,1989年起成为小松集...详情
B模式 书籍
经典好书《B模式》读书内容简介:大量研究数据及对发达国家与发展中国家经济发展模式的思考,阐述了人类未来的发展必须转向B模式,即可持续发展的模式。他指出,B模式由三个部分组成:一是重构全球经济,使之能够支持;二是采取一切措施消除贫困、稳定人口,并且恢复希望,以吸引发展中国家的参加;三...详情
深度探索C++对象模型 书籍
经典好书《深度探索C++对象模型》读书内容简介:型”下的程序行为。对于“对象导向性质之基础实现技术”以及“各种性质背后的隐含利益交换”提供一个清楚的认识。检验由程序变形所带来的效率冲击。提供丰富的程序范例、图片,以及对象导向观念和底层对象模型之间的效率测量。作者简介St...详情
经典好书《Akka应用模式:分布式应用程序设计实践指南》读书内容简介:a 开发者们,有很多技术资源可供参考,但是如要想知道如何去应用这些技术就需要不同的思维方式了。为了帮助你正确地使用Akka,《Akka应用模式:分布式应用程序设计实践指南》这本实用的实践指南提供了若干高级的设计模式,还包括了如何以及何时应用那些模式去...详情
基元设计模式(英文版) 书籍
经典好书《基元设计模式(英文版)》读书内容简介:业于北卡罗莱纳州立大学教堂山分校,获博士学位。该校也是基元设计模式的诞生地,当时是作为模式查询和识别系统(System for Pattern Query and Recognition,SPQR)项目的组成部分。Smith博士因其在校的研究项目而荣...详情
经典好书《面向模式的软件架构. 第2卷》读书内容简介:国际公认的软件开发专家,尤其在设计模式、面向对象框架、实时中间件、建模工具和开源软件开发等方面享有盛誉,美国范德比尔特大学(Vanderbilt University)计算机科学教授。他的研究领域包括模式和模式语言、优化原理,对于支持服务质量的组件中...详情
大话设计模式 书籍
经典好书《大话设计模式》读书内容简介:编程示例来组织讲解GOF(设计模式的经典名著——Design Patterns:Elements of Reusable Object-Oriented Software,中译本名为《设计模式——可复用面向对象软件的基础》的四位作者EIich Gam...详情
概率图模型:原理与技术 书籍
经典好书《概率图模型:原理与技术》读书内容简介:门的一个机器学习研究方向。本书详细论述了有向图模型(又称贝叶斯网)和无向图模型(又称马尔可夫网)的表示、推理和学习问题,全面总结了人工智能这一前沿研究领域的最新进展。为了便于读者理解,书中包含了大量的定义、定理、证明、算法及其伪代码,穿插了大量的辅助...详情