当前位置:首页 > 名称
大约有10,000项符合查询结果项。(搜索耗时:0.0550秒)
为您推荐: 大学计算机应用基础项目化教程 大学计算机与人工智能基础 新时代大学体育运动指导与实践教程 中国科学技术大学交叉学科基础物理教程配套辅导书 大学计算机基础 第3版 大学计算机应用基础
-
-
-
信息与计算科学丛书 扩散方程计算方法 【数理化】
袁光伟等著2015 年出版276 页ISBN:9787030463883本书介绍扩散方程的计算方法,重点介绍作者近十年来取得的研究进展。内容包括:简要介绍扩散方程几类常见的有限体积方法;扭曲网格上扩散方程的多种高精度有限体积格式,其中包括具有保正性的格式和保持离散极值原...
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems 【数理化】
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
-
-
-
-
-
-
随机过程基础及其应用 【数理化】
赵希文,彭秀艳编著2007 年出版366 页ISBN:9787811330373本书共分9章,每章后都配有适量习题,本书可作为工科院校的研究生教材,也可供从事科学研究,工程技术人员参考。
