经典好书《函数响应式领域建模》读书内容简介:感器网络的响应式世界。为了捕获这些应用的动态联系及依赖，我们需要使用另外一种方式来进行领域建模。由纯函数构成的领域模型是以一种更加自然的方式来反映一个响应式系统内的处理流程，同时它也直接映射到了相应的技术和模式，比如Akka、CQRS 以及事件溯源。...详情

经典好书《大数据系统构建》读书内容简介:，传统的数据库系统显然已无法满足海量数据的管理需求。 作为一种新的处理模式，大数据系统应运而生，它使用多台机器并行工作，能够对海量数据进行存储、处理、分析，进而帮助用户从中提取对优化流程、实现高增长率的有用信息，做更为精准有效的决策。 但不可忽略的是...详情

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

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

经典好书《数学的建筑》读书内容简介: 作者简介详情

经典好书《Excel数据建模与应用》读书内容简介:SMA）这一管理学重要课题。我们编写本书的目的是为了演示说明一系列广泛的应用程序，并介绍如何使用Microsoft的Excel软件对它们进行建模和分析。我们强调经过验证的问题解决方法，并且基于这些方法进行决策，因为我们认为这是专业人士解决问题的方式。...详情

经典好书《数学建模（原书第5版）》读书内容简介:指导学生初步掌握数学建模的思想和方法，共分两大部分：离散建模和连续建模，通过本书的学习，学生将有机会在创造性模型和经验模型的构建、模型分析以及模型研究方面进行实践，增强解决问题的能力。《华章数学译丛：数学建模（原书第5版）》对于用到的数...详情

经典好书《MATLAB在数学建模中的应用》读书内容简介:的角度介绍了MATLAB的应用。《MATLAB在数学建模中的应用》的4位作者均具有实际的数学建模参赛经历和竞赛指导经验。书中内容完全是根据数学建模竞赛的需要而编排的，涵盖了绝大部分数学建模问题的MATLAB求解方法。《MATLAB在数学...详情

经典好书《建筑中的数学之旅》读书内容简介:字塔到20世纪的世界标志性建筑，讨论这些伟大建筑的建筑形式和结构，用赫赫有名的例子说明建筑的重要特征，另一条主线则介绍了欧几里得几何、三角学、向量、二维和三维解析几何，以及微积分等数学知识。在作者旁征博引、娓娓道来的笔触下，这两条主线交织在一起，图文...详情

影片剧情摘要: 由平面设计师FedericoGonzalez和建筑师AndreaStinga制作，用ABC字母表方式（名字首字母）介绍了26位建筑大师及他们的代表作品，视频制作模仿1930年的卷轴动画效果，建筑与建筑间的过渡妙趣横生。 详情