经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第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种版式设计体系，分别是轴式、放射式、膨胀式、随意式、栅格式、模块式、过渡式和双边式体系。编排设计一直是一个复杂的过程，有许多元素在起作用，比如层级、阅读顺序、易读性和对比。金伯利·伊拉姆是畅销书《设计几何学》和《栅格系统与版式设计》　（已由上...详情