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

经典好书《阿里巴巴Java开发手册（第2版）》读书内容简介:是码出高效，码出质量。它结合作者的开发经验和架构历程，总结阿里巴巴集团技术团队的软件设计与实践，浓缩成为立体的编程规范和最佳实践。众所周知，现代软件行业的高速发展对开发工程师的综合素质要求越来越高，因为软件最终的交付质量不仅受开发工程师...详情

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

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

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

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

经典好书《被开拓的诗世界》读书内容简介: 本书是程千帆及其弟子莫砺锋、张宏生研读杜甫诗歌的一份心得。共收录十一篇文章，包括《杜诗集大成说》《忧患感和责任感——从屈原、贾谊到杜甫》《他们并非站在同一高度上——读杜甫等同题共作的登慈恩寺塔诗札记》《崎岖的道路与伟丽的山川——读杜甫纪行诗札记》等。作者简介详情

经典好书《敞开》读书内容简介:到本雅明的弥赛亚主义、从黑格尔到科耶夫的辩证学家所预言和宣告的事件。谁是即将来临（或业已降临）的走向终结的历史的主人公？人是什么？人如何登上舞台？然后人是如何在众多动物中成为主人和保持其首要地位的？在《敞开》中，吉奥乔•阿甘本认为，人一...详情

经典好书《一只会开枪的狮子》读书内容简介:狮子发现成功以后的世界并不是他想要的那样。这本来是一只任性的小狮子，自从学会了开枪，并成为无可匹敌的神枪手之后，他的生活就完全改变了。他离开了森林，离开了狮子朋友，来到大城市，到处表演，挣了好多钱，成了大名人。但是有一天他突然觉得做什么都没意思，做名...详情

经典好书《从一个人开始》读书内容简介:i）1935年生于大阪。1958年自庆应义塾大学经济学部毕业后，曾当过杂志记者，后来进入东京体育新闻社，并担任过文化部部长与出版部部长。1977年离开公司，创立日本Create社。目前是出版制作人，同时也是生活经济评论家。经常站在消费者...详情