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

经典好书《从中医看中国文化》读书内容简介:中文大学授课讲座关于中医的内容整理、修订而来，所讲授内容颇受学生欢迎。本书讲述中医，并非从中医专业、养生保健等角度出发，而是从中国历史上的医学现象、医学理论出发，探讨其背后所隐藏的鬼神、巫术、政治、性别、自然、民间信仰、经学理论等多方面的、生动真实的...详情

经典好书《从人间世到幽冥界》读书内容简介:“人间世”的犯罪延伸到“幽冥界”的地狱审判，讨论唐代法制的相关方面，包括：透过庶民犯罪，检视唐代诉讼制度的实际运作概况；国家在建立法秩序的过程中，如何运用超越法律之外的其他宗教或信仰的力量，以降低犯罪率，达到有效社会控制的目的。作者简介...详情

经典好书《沈从文全集.1-17》读书内容简介: 本集收录1-17卷，第1-10卷，小说，其中第1、4卷含剧本等少量其他作品；第11-12卷，散文；第13卷，传记；第14卷，杂文。作者简介详情

经典好书《从你的全世界路过》读书内容简介:嘉佳献给你的心动故事。最初以“睡前故事”系列的名义在网上疯狂流传，几天内达到1,500,000 次转发，超4亿次阅读，引来电影投资方的巨资抢购，转瞬便签下其中5个故事的电影版权。每1分钟，都有人在张嘉佳的故事里看到自己。读...详情

经典好书《向开国领袖学习工作方法》读书内容简介:刘少奇、陈云、邓小平等领导人在实际工作中积累了宝贵的工作方法，在不同时期发挥了重要的作用。这些工作方法的价值并不因时间的流逝和条件的改变而失去作用，今天我们应该在新的历史条件下充分地挖掘它、继承它、使用它、发展它，以加快推进中华民族的伟大复兴事业的进...详情

经典好书《园林景观设计：从概念到形式》读书内容简介:细的图片展示各种生动的设计技巧；简洁的实例展示一系列设计形式的形成过程；自然界中的典型形状以展示自然图形设计形式的来源；超常规的实例以激发设计师创新的灵感。对于设计师来说，一个很令人头痛的事就是把概念转化为特定的、详细的空间组织形式。《...详情

经典好书《iPhone 3开发基础教程》读书内容简介:台新纪元！而最新版iPhone 3做了不少改进，如强化应用程序对GPS的支持，增加了众多新功能，如全系统搜索、支持复制和粘贴、收发多媒体信息等。iPhone 3与App Store的绝配为全世界的程序员提供了一个施展才华的全新大舞台。只要有新奇的创意...详情

经典好书《iPhone开发秘籍 （第2版）》读书内容简介:hone 开发的全面信息，对iPhone SDK 中的各种组件做了深入浅出的介绍，包括iPhone 3.0 SDK 的所有新增特性，同时对iPhone 开发的基本流程、基本原理和基本原则进行了详细且通俗的讲解。此外，还结合实例讲解了如何开发各种iPh...详情

经典好书《快速软件开发》读书内容简介:件开发项目管理最常见和最难解决的问题。这本书在总结了包括微软公司在内的美国软件业成千上万个软件开发项目的实践经验、研究成果、经验教训的基础上，详细列出了几十种经实践证明可以直接在软件开发中应用，以提高开发速度的最佳实践方法、开发策略、实用技巧等，帮助...详情