共找到 12040 与研发与创新 相关的结果，耗时21 ms
交互式定理证明与程序开发 书籍
经典好书《交互式定理证明与程序开发》读书内容简介:算的艺术》的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这《交互式定理证明与程序开发：Coq归纳构造演算的艺术》给出了大量的例子，所有例子都町以在计算机上执行。从《交互式定理证明与程序开发：Coq归纳构造演算的艺术》配套网站可...详情
拉丁美洲的政治与发展 书籍
经典好书《拉丁美洲的政治与发展》读书内容简介:iarda），美国比较政治和外交政策研究领域顶级学者，美国佐治亚大学国际关系系创始人，华盛顿特区战略和国际研究中心高级研究员。1988年，威亚尔达曾就职于美国第51届总统乔治•H.W.布什的外交政策顾问团。其独特而深刻的思想不仅令他享誉学术界，也对政...详情
両漢儒教の新研究 书籍
经典好书《両漢儒教の新研究》读书内容简介:京会議シンポジウムIV 両漢における「天」の文化ー思想史と歴史学の連携による 趣旨説明 報告 一、漢代以前の「天」と「上帝」 二、天人相関と「自然」 三、両漢における天の祭祀と六天説 四、鄭玄の六天説と両漢の礼学 五、道教の天ー「初期天師道」における...详情
经典好书《人类如何走到今天：改变世界的科技思想与发明》读书内容简介:/p>计算机、抗生素、轮子、飞行器和能源革命，是它们塑造了现代社会！有趣易懂的故事讲解，以一种工具史观来思考人类文明的过去、现在和未来。当谈到人类文明和科技发展历程时，大多数人会关注那些伟...详情
经典好书《发展经济学：超边际与边际分析（修订本）》读书内容简介: 作者简介详情
重新设计社会科学研究 书籍
经典好书《重新设计社会科学研究》读书内容简介:具书，是QCA方法开创者拉金几十年方法突破研究的集大成，是深入理解和学习QCA的必备书。QCA方法的独特之处是结合了定性方法与定量方法的特点，打破了传统的定性研究与定量研究的划分，适用范围广泛：它既可以用于小样本的案例研究（弥补案例研究外部推广性差的...详情
经典好书《中国历史上的基本经济区与水利事业的发展》读书内容简介: 作者简介详情
马可·波罗与世界的发现 书籍
经典好书《马可·波罗与世界的发现》读书内容简介:人物之一。然而，他的盛名却无法彰显其历史的重要性。如今，他的名字首先是东方-西方密切联系和高端旅行的代名词，于是，产生了诸多奇怪现象。作者简介John Larner（1930–2008年），英国著名历史学家。出生于英国南部...详情
经典好书《青少年探索与发现科普文库·奇妙的生命》读书内容简介:吉斯页岩中的生命故事》由史蒂芬•杰•古尔德所著，《青少年探索与发现科普文库•奇妙的生命:布尔吉斯页岩中的生命故事》的作者讲到的布尔吉斯面岩具有重大的历史意义，古尔德说它应该和宇宙大爆炸以及黑洞共同为公众所熟知……这是一个引人注目的故事，并且被讲述得活...详情