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

电视剧【韩剧模范刑警】剧情介绍: 　　以现实的刑警世界为背景，描述追踪真相的人们和试图隐藏真相的人们两派势力的对决。详情

经典好书《小松模式》读书内容简介:役会长，日本经济团体联合会副会长。1941年出生于日本岛根县。1963年从大阪市立大学工学部毕业后进入小松公司，在小松粟津、大阪工厂从事推土机设计工作。1971年任职质量管理课，1981年到小松美国公司服务部工作，1989年起成为小松集...详情

经典好书《B模式》读书内容简介:大量研究数据及对发达国家与发展中国家经济发展模式的思考，阐述了人类未来的发展必须转向B模式，即可持续发展的模式。他指出，B模式由三个部分组成：一是重构全球经济，使之能够支持；二是采取一切措施消除贫困、稳定人口，并且恢复希望，以吸引发展中国家的参加；三...详情

经典好书《深度探索C++对象模型》读书内容简介:型”下的程序行为。对于“对象导向性质之基础实现技术”以及“各种性质背后的隐含利益交换”提供一个清楚的认识。检验由程序变形所带来的效率冲击。提供丰富的程序范例、图片，以及对象导向观念和底层对象模型之间的效率测量。作者简介St...详情

经典好书《Akka应用模式：分布式应用程序设计实践指南》读书内容简介:a 开发者们，有很多技术资源可供参考，但是如要想知道如何去应用这些技术就需要不同的思维方式了。为了帮助你正确地使用Akka，《Akka应用模式：分布式应用程序设计实践指南》这本实用的实践指南提供了若干高级的设计模式，还包括了如何以及何时应用那些模式去...详情

经典好书《基元设计模式（英文版）》读书内容简介:业于北卡罗莱纳州立大学教堂山分校，获博士学位。该校也是基元设计模式的诞生地，当时是作为模式查询和识别系统（System for Pattern Query and Recognition，SPQR）项目的组成部分。Smith博士因其在校的研究项目而荣...详情

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

经典好书《概率图模型：原理与技术》读书内容简介:门的一个机器学习研究方向。本书详细论述了有向图模型（又称贝叶斯网）和无向图模型（又称马尔可夫网）的表示、推理和学习问题，全面总结了人工智能这一前沿研究领域的最新进展。为了便于读者理解，书中包含了大量的定义、定理、证明、算法及其伪代码，穿插了大量的辅助...详情

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