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

经典好书《ZooKeeper:分布式过程协同技术详解》读书内容简介:）阐述ApacheZooKeeper这类系统的设计目的和动机，并介绍分布式系统的一些必要背景知识。第1章介绍ZooKeeper可以做什么，以及其设计如何支撑这些任务。第2章介绍基本概念和基本组成模块，并通过命令行工具的具体操作介绍了ZooKeeper...详情

经典好书《ARM嵌入式系统基础教程》读书内容简介:系统系列教程》中的理论课教材。以PHILIPS公司LPC2000系列ARM微控制器为例，深入浅出地介绍嵌入式系统开发的各个方面。全书共分为3部分：第1章和第2章为理论部分，主要介绍嵌入式系统的概念及开发方法。第3～5章为基础部分，主要介绍ARM7体系...详情

经典好书《嵌入式Linux基础教程（第2版）》读书内容简介:稳定的内核、开源共享的软件、优秀的开发工具、完善的网络通信和文件管理机制等特点，使嵌入式Linux获得了广泛应用，已成为嵌入式开发的主流平台。本书是嵌入式Linux领域的名著。全面深入而又简明地阐述了构建嵌入式Linux系统的精髓。书中...详情

经典好书《C++函数式编程》读书内容简介:编程是继面向对象编程之后又一编程范式，解决了命令式过程式编程与面向对象编程中出现的问题，是一种极具潜力的编程方式，值得研究和学习。主要讲解了函数对象、Purity、惰性求值、range、函数式数据结构、代数类型以及模式匹配、monad、模版元编程、并...详情

电视剧【爱的方式】剧情介绍:勇岱、徐百卉主演的都市情感剧。爱的方式剧情讲述了齐新有强迫症，稍有心烦她就会把不快发泄到丈夫少明身上，忍无可忍的少明终于爆发，决定和齐新离婚的故事。　　中年女人齐新关爱家人，操心家庭中所有成员的事儿：母亲赵兰的再婚，小姑子钟少霞的婚事，...详情

影片剧情摘要:克法兰 饰演)被人横刀夺爱，抢走了性感火辣的女朋友(阿曼达·塞弗里德 饰演)，他要面对的情敌却是一个臭名昭著的神枪手(尼尔·帕特里克·哈里斯 饰演)，如何证明自己的勇气和实力，打败情敌挽回女友芳心，成为农夫生命中最大的难题。　　这时一个...详情

经典好书《改变生活的新饮食方式》读书内容简介:00万册的《一座小行星的饮食》（Dietfor a Small Planet，1971）。该书被美联社誉为在“碳足迹”一词出现之前很早就倡导低碳饮食的作品。曾参与创立两个致力于解决全球食物问题与发展草根民主的组织。1987年获颁“正直生活奖”（Rig...详情

经典好书《思想是生活的一種方式》读书内容简介:想史的再思考》包括兩部分文章，一部分是與近代中國思想中「主義時代的來臨」這個主題相關的文字，另外一部分則是闡明「思想是生活的一種方式」這個研究的方向與態度。後者主張思想史亦應探討「思想的生活性」及「生活的思想性」，而因為本書中與「主義時...详情

经典好书《经济学的思维方式（影印第12版）》读书内容简介:典经济学教科书。与主流经济学教材不同，本书回避了繁复的公式、函数、运算，通过深入浅出和饶有趣味的图画，将日常生活中纷繁复杂、看似毫无关联的一些社会现象，和一套富有一致性的思维框架结合起来，展现出一种“经济学的想象力”。正如道格拉斯•诺斯所说，经济学的...详情