交互式定理证明与程序开发 书籍
经典好书《交互式定理证明与程序开发》读书内容简介:算的艺术》的主要目标是从实践的角度来理解Coq系统及其基本理论,即归纳构造演算。这《交互式定理证明与程序开发:Coq归纳构造演算的艺术》给出了大量的例子,所有例子都町以在计算机上执行。从《交互式定理证明与程序开发:Coq归纳构造演算的艺术》配套网站可...详情
复制互联网 书籍
经典好书《复制互联网》读书内容简介:朋友创业门槛最低的入口,但互联网创业并不像人们想象的那么容易,互联网创业最需要的是点子,有了好的创意,可能就成功了一半,这对任何一个创业人,不仅是互联网创业都是十分重要的。本书从当前全球数以千万计的网站中选出近一年来最具创意的230家网...详情
交互设计指南 书籍
经典好书《交互设计指南》读书内容简介:中包含了作者十多年来对交互设计的一些深刻理解,对如何做好交互设计有很强的实践价值。在本书第3~8章中,贯穿了一个能够广泛应用于各种项目的通用设计流程,能够帮助新手设计师按序将所有信息应用于实践。书中还有一些对交互设计领域的开创者和名人的访谈,可以让我...详情
经典好书《The History of English Law Before the Time of Edward I (Volume I and II)》读书内容简介:eat Pieces of Historical Literature of all Time" Pollock, Frederick, and Frederic William Maitland. The History of English La...详情
互联网+ 书籍
经典好书《互联网+》读书内容简介:行动计划以推动经济进一步发展,并认为站在“互联网+”风口顺势而为,可以使经济飞起来。《互联网+:国家战略行动路线图》由“互联网+”理念的提出者于扬、*强有力推动者马化腾等创作。书稿从理论层面、实践经验等多个角度,结合当下各产业的现状、发...详情
文本与视觉的互动 书籍
经典好书《文本与视觉的互动》读书内容简介:应用》内容简介:文学视觉化(以及视觉产品文学化)的趋势前,学术界的研究即使无法超前引领,至少也应该与其同行,在既有和新开发的理论视阈内对其进行研究分析,做出自己的判断和评价。我们这部小小的文集,可以算是朝这一方向做出的一次努力和尝试。作...详情
经典好书《互联网创业核心技术:构建可伸缩的web应用》读书内容简介:的软件工程师及敏捷领导者,目前就职于雅虎悉尼。Artur 从事 Web 应用方面的开发工作已经超过十年,同时也大量关注敏捷及创业公司管理,热爱精益创业模型。Artur 开发的网站每小时 PV 数超过一百万,为欧洲及澳洲两个大洲的用户提供服务。他还在大...详情
经典好书《结网@改变世界的互联网产品经理》读书内容简介:以创建、发布、推广互联网产品为主线,描述了互联网产品经理的工作内容,以及应对每一部分工作所需的方法和工具。产品经理的工作是围绕用户及具体任务展开的,《结网@改变世界的互联网产品经理(修订版)》给出的丰富案例以及透彻的分析道出了从发现用户到最终满足用户...详情
交互设计:原理与方法 书籍
经典好书《交互设计:原理与方法》读书内容简介:计师具备一种由内而外的设计思维方式,首先发现一种有用性,并确定内容或功能(机能),然后设计相适应的交互界面和形式。而对于信息产品的设计,越来越多地采用一种由外而内的设计方式,即先确定输入输出方式和用户使用的行为,设想未来的生活方式,然后考虑内部系统实...详情
文明互鉴 书籍
经典好书《文明互鉴》读书内容简介:鉴——上海图书馆徐家汇藏书楼珍稀文献展”的配套图录,是一部学术研究型文献图录与研究论文合编的著作。本书收录自十五世纪至二十世纪初西文珍稀文献二百余种,分为“识华观流”、“中学西传”、“汉学流变”、“西学东渐”、“融会创新”、“格致互通”六个专题,并附...详情