当前位置：首页 > 名称
大约有7,000项符合查询结果项。（搜索耗时：0.0211秒）
为您推荐： press北京 科技协作中心 计算机软件部出版社 全国计算机技术与软件专业技术资格 press广东计算机软件联合开发中心 press华东计算技术研究所软件部 信息产业部计算机软件专业技术资格和水平考试办公室组 全国计算机技术与软件专业 资格考试办公室组
-
信息与计算科学丛书 扩散方程计算方法
袁光伟等著2015 年出版276 页ISBN：9787030463883本书介绍扩散方程的计算方法，重点介绍作者近十年来取得的研究进展。内容包括：简要介绍扩散方程几类常见的有限体积方法；扭曲网格上扩散方程的多种高精度有限体积格式，其中包括具有保正性的格式和保持离散极值原...
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...
-
论可计算数 图灵与现代计算的诞生
（美）克里斯·伯恩哈特（Chris Bernhardt）著2016 年出版248 页ISBN：97875086661051936年，24岁的图灵发表了现代计算领域奠基性的论文《论可计算数及其在判定问题上的应用》。在本书中，作者还原了图灵是如何一步步对计算进行分解并构建现代计算机原型的。在作者看来，这堪称图灵一生中最重要的...
-
新编计算机类本科规划教材 数值计算方法
薛莲编著2007 年出版279 页ISBN：9787121050985本书介绍了进行科学计算所必须掌握的一些最基本、最常用的数值计算方法及其Matlab软件的应用，内容包括误差知识、一元非线性方程的解法、线性方程组的解法、插值与拟合、数值积分与数值微分、常微分方程数值...
-
-
-
-
-
-
学科分类