交互式定理证明与程序开发 书籍
经典好书《交互式定理证明与程序开发》读书内容简介:算的艺术》的主要目标是从实践的角度来理解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...详情
快速软件开发 书籍
经典好书《快速软件开发》读书内容简介:件开发项目管理最常见和最难解决的问题。这本书在总结了包括微软公司在内的美国软件业成千上万个软件开发项目的实践经验、研究成果、经验教训的基础上,详细列出了几十种经实践证明可以直接在软件开发中应用,以提高开发速度的最佳实践方法、开发策略、实用技巧等,帮助...详情
被开拓的诗世界 书籍
经典好书《被开拓的诗世界》读书内容简介: 本书是程千帆及其弟子莫砺锋、张宏生研读杜甫诗歌的一份心得。共收录十一篇文章,包括《杜诗集大成说》《忧患感和责任感——从屈原、贾谊到杜甫》《他们并非站在同一高度上——读杜甫等同题共作的登慈恩寺塔诗札记》《崎岖的道路与伟丽的山川——读杜甫纪行诗札记》等。作者简介详情
敞开 书籍
经典好书《敞开》读书内容简介:到本雅明的弥赛亚主义、从黑格尔到科耶夫的辩证学家所预言和宣告的事件。谁是即将来临(或业已降临)的走向终结的历史的主人公?人是什么?人如何登上舞台?然后人是如何在众多动物中成为主人和保持其首要地位的?在《敞开》中,吉奥乔•阿甘本认为,人一...详情
花开上海滩 电视剧
电视剧【花开上海滩】剧情介绍:实业家邵元任收为养女后阴差阳错地与留美海归袁子欣相识相知相爱,并一起接掌邵氏实业。全剧展现了以邵氏父女两代为代表的本土新兴实业家在外国资本、本土传统资本、黑帮和几经更迭的政府势力之间激烈的利益冲突和复杂关系,尤其是在日本侵华野心日益显露,邵氏父女的个...详情
绝不松开你的手 电视剧
电视剧【绝不松开你的手】剧情介绍:述的是八五后4个青年,杨启铭、郑海军、谢全、方和平因小时候在海边玩耍遭遇了一次事故后,大家都发生了多多少少的变化。杨启铭,以消极、玩弄的态度对待生活,即使有着杰出的才调,一直找不到懂得欣赏的人,他企图尽力改变自己的处境,但却无济于事;郑海军,为人仗义...详情