交互式定理证明与程序开发 书籍
经典好书《交互式定理证明与程序开发》读书内容简介:算的艺术》的主要目标是从实践的角度来理解Coq系统及其基本理论,即归纳构造演算。这《交互式定理证明与程序开发:Coq归纳构造演算的艺术》给出了大量的例子,所有例子都町以在计算机上执行。从《交互式定理证明与程序开发:Coq归纳构造演算的艺术》配套网站可...详情
经典好书《阿里巴巴Java开发手册(第2版)》读书内容简介:是码出高效,码出质量。它结合作者的开发经验和架构历程,总结阿里巴巴集团技术团队的软件设计与实践,浓缩成为立体的编程规范和最佳实践。众所周知,现代软件行业的高速发展对开发工程师的综合素质要求越来越高,因为软件最终的交付质量不仅受开发工程师...详情
中国人口发展史 书籍
经典好书《中国人口发展史》读书内容简介:术专著。本书的内容不仅有中国以往二千多年间人口数量变化及其原因和特点分析,而且包括人口构成、人口再生产、人口分布和人口迁移等各个方面的阐述,同时对中国人口调查制度的起源和演变过程、现有历史人口资料的评价和运用作了论述。因而本书既能使读者对中国人口发展...详情
拉丁美洲的政治与发展 书籍
经典好书《拉丁美洲的政治与发展》读书内容简介:iarda),美国比较政治和外交政策研究领域顶级学者,美国佐治亚大学国际关系系创始人,华盛顿特区战略和国际研究中心高级研究员。1988年,威亚尔达曾就职于美国第51届总统乔治•H.W.布什的外交政策顾问团。其独特而深刻的思想不仅令他享誉学术界,也对政...详情
老伙计们出发啦 书籍
经典好书《老伙计们出发啦》读书内容简介:要一改无趣单调的老年生活,联合其他几位志同道合的老伙计成立俱乐部,从此,他们的人生变得跌宕起伏,精彩纷呈。他们设计各种出游项目,安排各种活动,更为重要的是,他们从中享受到了生命中至为重要的友谊、善意和关怀。“偶尔一次的不循规 蹈矩让我感...详情
未发现的自我 书籍
经典好书《未发现的自我》读书内容简介:部的康斯坦斯湖畔,1961年逝世。他是瑞士著名的精神病医生,分析心理学的创始人,毕生致力于人类灵魂及其深处奥秘的探索,对研究人类的无意识心理做出了巨大贡献。荣格曾受弗洛伊德的器重,担任国际精神分析学会第一任主席。他提出的集体无意识观点突...详情
经典好书《iPhone 3开发基础教程》读书内容简介:台新纪元!而最新版iPhone 3做了不少改进,如强化应用程序对GPS的支持,增加了众多新功能,如全系统搜索、支持复制和粘贴、收发多媒体信息等。iPhone 3与App Store的绝配为全世界的程序员提供了一个施展才华的全新大舞台。只要有新奇的创意...详情
经典好书《iPhone开发秘籍 (第2版)》读书内容简介:hone 开发的全面信息,对iPhone SDK 中的各种组件做了深入浅出的介绍,包括iPhone 3.0 SDK 的所有新增特性,同时对iPhone 开发的基本流程、基本原理和基本原则进行了详细且通俗的讲解。此外,还结合实例讲解了如何开发各种iPh...详情
爆发(经典版) 书籍
经典好书《爆发(经典版)》读书内容简介:说塔勒布认为人类行为是随机的,都是小概率事件,是不可以预测的;那么全球复杂网络权威巴拉巴西则认为,人类行为93%是可以预测的。2.巴拉巴西的研究是在人类生活数字化的大数据时代基础上进行的,移动电话、网络以及电子邮件使人类行为变得更加容易...详情
快速软件开发 书籍
经典好书《快速软件开发》读书内容简介:件开发项目管理最常见和最难解决的问题。这本书在总结了包括微软公司在内的美国软件业成千上万个软件开发项目的实践经验、研究成果、经验教训的基础上,详细列出了几十种经实践证明可以直接在软件开发中应用,以提高开发速度的最佳实践方法、开发策略、实用技巧等,帮助...详情