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

经典好书《微分方程、动力系统与混沌引论》读书内容简介: 作者简介详情

经典好书《图解Spark：核心技术与案例实战》读书内容简介:ark 2.0 版本为基础进行编写，全面介绍了Spark 核心及其生态圈组件技术。主要内容包括Spark 生态圈、实战环境搭建、编程模型和内部重要模块的分析，重点介绍了消息通信框架、作业调度、容错执行、监控管理、存储管理以及运行框架，同时还介绍了Sp...详情

经典好书《与孩子一起学编程》读书内容简介:可以带着自己的孩子，跟随Sande父子组合在轻松的氛围中熟悉那些编程概念，如内存、循环、输入和输出、数据结构和图形用户界面等。这些知识一点儿也不高深，听起来备感亲切，书中言语幽默风趣而不失真义，让学习过程充满乐趣。细心的作者还配上了孩子们都喜欢的可爱...详情

经典好书《量子物理学中的常用算法与程序》读书内容简介:述了计算机物理的基础知识，并给出量子物理学中常用算法及相应的FORTRAN程序。全书申13章组成，主要包括FORTRAN算法语言简介，代数公式，常用特殊函数，3i、6j和9j符号，一元方程，线性代数，函数插值与微商，常微分方程，数值积分，本征问题，递...详情

经典好书《政治实践与公共空间》读书内容简介:家之一。亲身经历德国魏玛共和的民主危机，以及纳粹政权的种族迫害，阿伦特深刻反省西方现代性的困厄，并具体阐释现代性进程中的各个暗流如何酝出极权主义的意识形态，进而推动极权政体的恐怖统治。在极权主义全然摧毁西方政治思想传统的有效性之后，阿伦特殚精竭虑地重...详情

经典好书《真实与建构》读书内容简介:问题提供了全新的视角。在具体研究过程中整合了科学技术史与环境史的方法，融入历史编纂学的角度，以期超越传统史学研究的范畴。通过这种方式，本书也尝试从“个人”“集体”或“专业的”“国家的”层面，对确立“历史真实”与身份定位所必需的建构性叙事间的复杂关系提...详情

经典好书《儒学传承与社会实践》读书内容简介:担者和倡导者。近年来，随着区域社会文化史研究的兴起，士绅阶层与地域社会及儒学传承的关系日益受到重视。《学术文丛:儒学传承与社会实践--明清吉安府士绅研究》的作者衷海燕也是因此而选择明清吉安府士绅作为论文研究的课堂。 《学术文丛:儒学...详情

经典好书《微风果实与花》读书内容简介:理、手作、家事等角度，记岁时伏腊、春秋佳日之琐屑，间以手绘插画，用温婉恬静的笔触达成与自然间的共鸣。书中手作与料理等教程来自作者生活中的提炼，篇幅小巧，步骤详尽。不妨依时令一一尝试——春植香草、夏浸梅酒、秋时剥栗、冬日偎炉煮茶……凡此种...详情

影片剧情摘要:esaroundthreeeras:thePharaonicera,theMamlukeraandthefirsthalfofthe20thcentury.Itdiscussescorruptionandhowsomeclericshaveinvol...详情