经典好书《自然语言计算机形式分析的理论与方法(精)/当代科学技术基础理论与前沿问题研究丛书》读书内容简介:学和数学的一个交叉研究领域，是自然语言计算机处理的关键。自然语言是信息主要的负荷者，在当今信息网络时代，计算机已经日益普及，普通计算机用户可以使用的语言资源正以惊人的速度飞快增长。互联网主要是由自然语言构成的，它已经成为了极为丰富的语言信息资源；移动...详情

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

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

经典好书《计算统计（第2版）》读书内容简介:p>本书提供统计计算理论和实践的完全指南。第2版涵盖了现代和经典统计的大部分论题，包括优化、积分、蒙特卡罗方法、自助法、密度估计和光滑。不但从概念上通过逐步描述解释算法，并且通过例子和习题进行详细的阐述。第2版重要的特点包括：</...详情

电视剧【亲爱的设计师】剧情介绍:灿然执导，张佳宁、蒋毅、蒋方婷、盛冠森等领衔主演的中国首部时尚设计师写实现象大剧。亲爱的设计师剧情围绕着影子设计师沈天天(张佳宁饰)的时尚设计之路展开，因身世苦楚从小被李氏制衣集团老总李曼丽(何赛飞饰)收养，为报答恩情，甘当李曼丽亲生女儿唐果儿(蒋方...详情

影片剧情摘要:风编剧，许玮甯、莫子仪等主演。我的恋爱时代剧情以时尚设计为背景，用一种诙谐幽默的形式，以七个设计师之间的暧昧关系为主线，讲述了发生在小公司里明争暗斗的办公室故事，以及一场复杂搞笑的多角恋情。　　在设计公司担任业务经理的霸子(莫子仪饰)为...详情

经典好书《微服务架构设计模式》读书内容简介:一系列全新的架构思想和实践。在这本独特的书籍中，微服务架构的先驱、Java 开发者社区的意见领袖 Chris Richardson 收集、分类并解释了 44 个架构设计模式，这些模式用来解决诸如服务拆分、事务管理、查询和跨服务通信等难题。<p...详情

经典好书《面向对象分析与设计》读书内容简介:大奖精选丛书》系列之一，Jolt大奖素有“软件业之奥斯卡”的美称，本丛书精选自Jolt历届获奖图书，以植根于开发实践中的独到工程思想与杰出方法论为主要甄选方向。《面向对象分析与设计(第3版)》第1版和第2版分别于1991年和1993年荣获Jolt震撼...详情

经典好书《设计模式解析》读书内容简介:概述了模式的基础知识，以及面向对象分析和设计在当代软件开发中的重要性，随后使用易懂的示例代码阐明了12个最常用的模式，使读者能够理解模式背后的基本原则和动机，理解为什么它们会这样运作。作者简介本书以作者自身学习、使用模式和...详情

经典好书《C 程序设计语言(第二版)》读书内容简介:实验室计算科学研究中心高级研究人员，著名的计算机科学家。他参加了UNIX系统、C语言、AWK语言和许多其他系统的开发，同时出版了许多在计算机领域具有影响的著作，如《The Elements of Programming Style》、《The Pra...详情