剧情呢 国产剧 港剧 泰剧
创建时间 资源类别 相关度排序
共找到 5887 与交互式定理证明与程序开发 相关的结果,耗时2 ms rss sitemap
标签:时间,哲学,科普,物理,物理学,记忆研究,社会学,卡洛·罗韦利, 原作名:The Order of Time
作者:[意] 卡洛·罗韦利 出版年月:2019-06-01 … 页数: 183页 最新访问:2020-03-03 … 网友评分: 9.0
经典好书《时间的秩序》读书内容简介:味着什么?是我们存在于时间之内,还是时间存在于我们之中?卡洛·罗韦利用诗意的文字,邀请我们思考这一亘古难题——时间的本质。在我们的直觉里,时间是全宇宙统一的,稳定地从过去流向未来,可以用钟表度量。可罗韦利向我们揭示出一个奇怪 的宇宙,在...详情

愛的秩序 书籍

标签:基督教,啥,L林克,@译本, 原作名:
作者:舍勒 出版年月:2020-02-20 … 页数:None页 最新访问:2020-03-03 … 网友评分:
经典好书《愛的秩序》读书内容简介:-1928),是本世紀的德語哲學家中,對基督思想產生過並將持續產生深遠影響的哲人。他以人的心性作為真理展現的地點,逆流地探索西方哲學傳統一直輕視課題--人對自身價值的自覺,人與人感通之情、人與天地的感應。其與中國哲學傳統相呼應,對基督教與中國文化之匯...详情

秩序感 书籍

标签:设计,贡布里希,艺术,艺术心理学,艺术理论,心理学,秩序感,设计理论, 原作名:
作者:[英]E·H·贡布里希 出版年月:2020-02-20 … 页数: 437页 最新访问:2020-03-03 … 网友评分: 8.8
经典好书《秩序感》读书内容简介:了一种全新的图案研究方法。前几章论述的要点是维多利亚时代英国人对装饰的批评,对淳朴自然风格的崇尚以及对设计的争论。有关这些理论性问题的研究,罗斯金、欧文·琼斯和哥特弗里德·桑佩尔等著名批评家都曾作出了重要的贡献。这本书的研究则又增添了新的成果,它试图...详情
标签:目录学,国学,出版, 原作名:
作者:[清] 朱彝尊 撰 出版年月:2020-02-20 … 页数: 460页 最新访问:2020-03-03 … 网友评分:
经典好书《曝书亭序跋·潜采堂宋元人集目录·竹垞行笈书目》读书内容简介:书亭序跋》自《曝书亭集》辑出,以民国间《四部丛刊》据康熙间刻本影印本为底本;《潜研堂宋元人集目录》以宣统三年(1911)叶氏观古堂刻本为底本,《竹垞行笈书目》以宣统元年番禺沈氏刻本为底本。此外,又据《浙江采集遗书总录》《四库存目标注》等辑的集外序跋十...详情
标签:计算机科学,计算机,编程,SICP,程序设计,经典,LISP,Scheme, 原作名:Structure and Interpretation of Computer Programs
作者:Harold Abelson 出版年月:2020-02-20 … 页数: 473页 最新访问:2020-03-03 … 网友评分: 9.5
经典好书《计算机程序的构造和解释(原书第2版)》读书内容简介:84年出版,成型于美国麻省理工学院(MIT)多年使用的一本教材,1996年修订为第2版。在过去的二十多年里,《计算机程序的构造和解释(原书第2版)》对于计算机科学的教育计划产生了深刻的影响。第2版中大部分重要程序设计系统都重新修改并做过测试,包括各种...详情
标签:政治,国际政治,政治学,文化,亨廷顿,历史,塞缪尔·亨廷顿,政治学-国际政治&国际关系, 原作名:The Clash of Civilizations and the Remaking of World Order
作者:[美]亨廷顿 出版年月:2020-02-20 … 页数: 345页 最新访问:2020-03-03 … 网友评分: 8.6
经典好书《文明的冲突与世界秩序的重建》读书内容简介:研究领域著名学者,曾任美国哈佛国际和地区问题研究所所长。作者认为,冷战后,世界格局的决定因素表现为七大或八大文明,冷战后的世界,冲突的基本根源不再是意识形态,而是文化方面的差异,主宰全球的将是“文明的冲突”。是时政类超级畅销书。作者简介...详情
标签:编程,敏捷开发,计算机,程序设计,程序员,技术,个人管理,经典, 原作名:The Productive Programmer
作者:福特 出版年月:2020-02-20 … 页数: 206页 最新访问:2020-03-03 … 网友评分: 8.3
经典好书《卓有成效的程序员》读书内容简介:一个以开发软件为生的人都需要掌握一种经过实践检验的方法,来使自己工作得更好、更快、更高效。《卓有成效的程序员》在“如何节省时间”方面提供了宝贵意见和实用工具,无论你使用何种平台,都能立刻应用于其中。大师级的开发者Neal Ford不仅提供了关于提高生...详情
标签:Erlang,并行,函数式编程,程序设计,编程,计算机,programming,程序语言, 原作名:Programming Erlang: Software for a Concurrent World
作者:Armstrong 出版年月:2020-02-20 … 页数: 427页 最新访问:2020-03-03 … 网友评分: 8.8
经典好书《Erlang 程序设计》读书内容简介:作,主要涵盖顺序型编程、异常处理、编译和运行代码、并发编程、并发编程中的错误处理、分布式编程、多核编程等内容。本书将帮助读者在消息传递的基础上构建分布式的并发系统,免去锁与互斥技术的羁绊,使程序在多核CPU 上高效运行。本书讲述的各种设计方法和行为将...详情
标签:C语言,C,Programming,编程,经典,计算机,程序设计,计算机类, 原作名:
作者:Brian W.Kernighan 出版年月:2020-02-20 … 页数: 272页 最新访问:2020-03-04 … 网友评分: 9.6
经典好书《C程序设计语言》读书内容简介:实验室计算科学研究中心高级研究人员,著名的计算机科学家。他参加了UNIX系统、C语言、AWK语言和许多其他系统的开发,同时出版了许多在计算机领域具有影响的著作,如《The Elements of Programming Style》、《The Pra...详情
标签:计算机科学,计算机,编程,经典,程序设计,数学文化,数学,Programming, 原作名:The Art of Computer Programming, Volume 4A: Combinatorial Algorithms, Part 1
作者:高德纳(Donald E. Knuth) 出版年月:2020-02-20 … 页数: 648页 最新访问:2020-03-04 … 网友评分:
经典好书《计算机程序设计艺术·卷4A》读书内容简介:领域的权威之作,深入阐述了程序设计理论,对计算机领域的发展有着极为深远的影响。本书是该系列的第4卷A,书中主要介绍了组合算法,内容涉及布尔函数、按位操作技巧、元组和排列、组合和分区以及所有的树等。作者简介高德纳(Donal...详情