经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:,涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题,反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等,并介绍了Allo...详情
亲爱的设计师 电视剧
电视剧【亲爱的设计师】剧情介绍:灿然执导,张佳宁、蒋毅、蒋方婷、盛冠森等领衔主演的中国首部时尚设计师写实现象大剧。亲爱的设计师剧情围绕着影子设计师沈天天(张佳宁饰)的时尚设计之路展开,因身世苦楚从小被李氏制衣集团老总李曼丽(何赛飞饰)收养,为报答恩情,甘当李曼丽亲生女儿唐果儿(蒋方...详情
影片剧情摘要:风编剧,许玮甯、莫子仪等主演。我的恋爱时代剧情以时尚设计为背景,用一种诙谐幽默的形式,以七个设计师之间的暧昧关系为主线,讲述了发生在小公司里明争暗斗的办公室故事,以及一场复杂搞笑的多角恋情。 在设计公司担任业务经理的霸子(莫子仪饰)为...详情
微服务架构设计模式 书籍
经典好书《微服务架构设计模式》读书内容简介:一系列全新的架构思想和实践。在这本独特的书籍中,微服务架构的先驱、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...详情
行为设计学(零成本改变) 书籍
经典好书《行为设计学(零成本改变)》读书内容简介:p Heath):斯坦福大学商学院组织行为学教授。丹•希思(Dan Heath):杜克大学社会企业发展中心高级研究员,前哈佛商学院研究员,Thinkwell(思睿)新媒体教育公司创办人之一。希思兄弟在中信已出版作品...详情
经典好书《怦然心动——情感化交互设计指南(修订版)》读书内容简介:购买实体产品和被某人吸引时的心理状态,并且非常深入地用心理学的方法解释了刺激和触发人类行为的因素。书中提供的众多方法,让我们可以创造出更加持久和深刻的用户体验。本书包含了众多的案例和参考资料,就算是熟谙用户体验的读者也能从中学习到新的知识,或轻松触碰...详情
美国编排设计教程 书籍
经典好书《美国编排设计教程》读书内容简介:在内的8种版式设计体系,分别是轴式、放射式、膨胀式、随意式、栅格式、模块式、过渡式和双边式体系。编排设计一直是一个复杂的过程,有许多元素在起作用,比如层级、阅读顺序、易读性和对比。金伯利·伊拉姆是畅销书《设计几何学》和《栅格系统与版式设计》 (已由上...详情