好站推荐: 找书资源 | 备用域名:zhiso.cc
畅销书《黑天鹅》《反脆弱》《随机漫步的傻瓜》《非对称风险》作者。塔勒布是我们这个时代伟大的思想者之一,是当今令人敬畏的风险管理理论学者,被誉为拥有“罕见的勇气…
格式: PDF 请到详细页访问 来源:书行天下[美]德内拉•梅多斯世界上最伟大的系统思考大师之一,师从系统动力学创始人杰伊•福瑞斯特,是知名的“世界模型Ⅲ”主创人员,也是“学习型组织之父”、《第五项修炼》…
格式: PDF 请到详细页访问 来源:书行天下<p>本书主要介绍与计算机系统相关的核心概念,解释这些概念如何相互关联并终影响程序执行的结果和性能。本书共分8章,主要内容包括数据的表示和运算、程序的转换及机…
格式: PDF 请到详细页访问 来源:无名图书<p>布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.本书利用交互式定理证明工具Coq,…
格式: PDF 请到详细页访问 来源:无名图书