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

经典好书《拉丁美洲的政治与发展》读书内容简介:iarda），美国比较政治和外交政策研究领域顶级学者，美国佐治亚大学国际关系系创始人，华盛顿特区战略和国际研究中心高级研究员。1988年，威亚尔达曾就职于美国第51届总统乔治•H.W.布什的外交政策顾问团。其独特而深刻的思想不仅令他享誉学术界，也对政...详情

经典好书《西方现代景观设计的理论与实践》读书内容简介:国的景观行业正处于一个转型的时期，经济的繁荣和环境意识的提高使景观行业获得了前所未有的迅速发展，景观的内容和形式也在发生巨大的变化。我国现在的状况，与西方国家几十年前的情况有惊人相似的地方，景观行业也是如此。在我国景观设计从传统走向现代的过程中，西方...详情

经典好书《人类如何走到今天：改变世界的科技思想与发明》读书内容简介:/p>计算机、抗生素、轮子、飞行器和能源革命，是它们塑造了现代社会！有趣易懂的故事讲解，以一种工具史观来思考人类文明的过去、现在和未来。当谈到人类文明和科技发展历程时，大多数人会关注那些伟...详情

经典好书《发展经济学：超边际与边际分析（修订本）》读书内容简介: 作者简介详情

经典好书《思维与设计》读书内容简介:的思维训练课程，应当超越专业的局限，着力研究广泛性、普适性的现代设计的思维方式，也更加需要汲取艺术富于想象力的创造精神。艺术的本质应当是创造与个性的发挥，而不是模仿与再现。设计则是在规定性中发现问题，解决问题。艺术思维与设计思维形成完美的结合，中国现...详情

经典好书《中国新疆“东突厥斯坦”分裂主义的由来与发展》读书内容简介:《中国新疆历史与现状》丛书之一，主要介绍了新疆“东突厥斯坦”分裂主义的由来与发展。《中国新疆历史与现状》丛书汇集了我国史地专家长期研究新疆的思想积累，以尊重史实、分清是非、立足现实、落笔历史为主旨，重点阐述了与新疆稳定和发展相关的新疆历史及现状。丛书...详情

经典好书《中国历史上的基本经济区与水利事业的发展》读书内容简介: 作者简介详情

经典好书《马可·波罗与世界的发现》读书内容简介:人物之一。然而，他的盛名却无法彰显其历史的重要性。如今，他的名字首先是东方-西方密切联系和高端旅行的代名词，于是，产生了诸多奇怪现象。作者简介John Larner（1930–2008年），英国著名历史学家。出生于英国南部...详情

经典好书《青少年探索与发现科普文库·奇妙的生命》读书内容简介:吉斯页岩中的生命故事》由史蒂芬•杰•古尔德所著，《青少年探索与发现科普文库•奇妙的生命:布尔吉斯页岩中的生命故事》的作者讲到的布尔吉斯面岩具有重大的历史意义，古尔德说它应该和宇宙大爆炸以及黑洞共同为公众所熟知……这是一个引人注目的故事，并且被讲述得活...详情