好站推荐: 找书资源 | 备用域名:zhiso.cc
[美]德内拉•梅多斯世界上最伟大的系统思考大师之一,师从系统动力学创始人杰伊•福瑞斯特,是知名的“世界模型Ⅲ”主创人员,也是“学习型组织之父”、《第五项修炼》…
格式: PDF 请到详细页访问 来源:书行天下<p>本书主要介绍与计算机系统相关的核心概念,解释这些概念如何相互关联并终影响程序执行的结果和性能。本书共分8章,主要内容包括数据的表示和运算、程序的转换及机…
格式: PDF 请到详细页访问 来源:无名图书<p>布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.本书利用交互式定理证明工具Coq,…
格式: PDF 请到详细页访问 来源:无名图书<p>本书充分突出操作系统作为一个系统保证整体高速运转的理念,同时亦强调各个组成部分必须有机、协调地分工协作,旨在让读者能真正理解操作系统的整体运转原理。</…
格式: PDF 请到详细页访问 来源:无名图书