好站推荐: 找书资源 | 备用域名:zhiso.cc
姚乃琳,耶鲁大学精神医学博士后,香港大学精神医学博士,浙江大学心理学士。从事脑科学研究多年,在国际知名期刊发表10余篇研究文章,研究方向涉及用脑成像手段观测幻…
格式: PDF 请到详细页访问 来源:书行天下[美]德内拉•梅多斯世界上最伟大的系统思考大师之一,师从系统动力学创始人杰伊•福瑞斯特,是知名的“世界模型Ⅲ”主创人员,也是“学习型组织之父”、《第五项修炼》…
格式: PDF 请到详细页访问 来源:书行天下<p>本书主要介绍与计算机系统相关的核心概念,解释这些概念如何相互关联并终影响程序执行的结果和性能。本书共分8章,主要内容包括数据的表示和运算、程序的转换及机…
格式: PDF 请到详细页访问 来源:无名图书<p>布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.本书利用交互式定理证明工具Coq,…
格式: PDF 请到详细页访问 来源:无名图书