经典好书《交互式定理证明与程序开发》读书内容简介:算的艺术》的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这《交互式定理证明与程序开发：Coq归纳构造演算的艺术》给出了大量的例子，所有例子都町以在计算机上执行。从《交互式定理证明与程序开发：Coq归纳构造演算的艺术》配套网站可...详情

经典好书《用TCP/IP进行网际互联 第一卷：原理、协议与结构（第四版）》读书内容简介:前美国大多数大学里所开设的计算机网络课程的主要参考书。目前国内外能见到的各种有关TCP/IP的书籍，其主要内容均出自本书。本书的特点是：强调原理、概念准确、深入浅出、内容丰富新颖。全书共分为三卷。第一卷从TCP/IP基本概念讲起，讨论了主要协议和结构...详情

经典好书《复制互联网》读书内容简介:朋友创业门槛最低的入口，但互联网创业并不像人们想象的那么容易，互联网创业最需要的是点子，有了好的创意，可能就成功了一半，这对任何一个创业人，不仅是互联网创业都是十分重要的。本书从当前全球数以千万计的网站中选出近一年来最具创意的230家网...详情

经典好书《交互设计指南》读书内容简介:中包含了作者十多年来对交互设计的一些深刻理解，对如何做好交互设计有很强的实践价值。在本书第3～8章中，贯穿了一个能够广泛应用于各种项目的通用设计流程，能够帮助新手设计师按序将所有信息应用于实践。书中还有一些对交互设计领域的开创者和名人的访谈，可以让我...详情

经典好书《互联网+》读书内容简介:行动计划以推动经济进一步发展，并认为站在“互联网+”风口顺势而为，可以使经济飞起来。《互联网+：国家战略行动路线图》由“互联网+”理念的提出者于扬、*强有力推动者马化腾等创作。书稿从理论层面、实践经验等多个角度，结合当下各产业的现状、发...详情

经典好书《文本与视觉的互动》读书内容简介:应用》内容简介：文学视觉化（以及视觉产品文学化）的趋势前，学术界的研究即使无法超前引领，至少也应该与其同行，在既有和新开发的理论视阈内对其进行研究分析，做出自己的判断和评价。我们这部小小的文集，可以算是朝这一方向做出的一次努力和尝试。作...详情

经典好书《互联网创业核心技术：构建可伸缩的web应用》读书内容简介:的软件工程师及敏捷领导者，目前就职于雅虎悉尼。Artur 从事 Web 应用方面的开发工作已经超过十年，同时也大量关注敏捷及创业公司管理，热爱精益创业模型。Artur 开发的网站每小时 PV 数超过一百万，为欧洲及澳洲两个大洲的用户提供服务。他还在大...详情

经典好书《结网@改变世界的互联网产品经理》读书内容简介:以创建、发布、推广互联网产品为主线，描述了互联网产品经理的工作内容，以及应对每一部分工作所需的方法和工具。产品经理的工作是围绕用户及具体任务展开的，《结网@改变世界的互联网产品经理(修订版)》给出的丰富案例以及透彻的分析道出了从发现用户到最终满足用户...详情

经典好书《交互设计：原理与方法》读书内容简介:计师具备一种由内而外的设计思维方式，首先发现一种有用性，并确定内容或功能（机能），然后设计相适应的交互界面和形式。而对于信息产品的设计，越来越多地采用一种由外而内的设计方式，即先确定输入输出方式和用户使用的行为，设想未来的生活方式，然后考虑内部系统实...详情

经典好书《文明互鉴》读书内容简介:鉴——上海图书馆徐家汇藏书楼珍稀文献展”的配套图录，是一部学术研究型文献图录与研究论文合编的著作。本书收录自十五世纪至二十世纪初西文珍稀文献二百余种，分为“识华观流”、“中学西传”、“汉学流变”、“西学东渐”、“融会创新”、“格致互通”六个专题，并附...详情