当前位置:首页 > 名称
大约有10,000项符合查询结果项。(搜索耗时:0.0408秒)
为您推荐: 计算思维与计算机导论 计算与信息哲学导论 信息与通信工程导论 信息技术与中学物理教学整合 信息技术与社会主义的自我管理 微型计算机原理与接口技术
-
-
-
-
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems 【数理化】
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
-
-
-
-
现代时间序列分析导论 第2版 【数理化】
(德)克西盖斯纳,(德)沃特斯,(德)哈斯勒著2015 年出版233 页ISBN:9787300206257本书阐述了时间序列计量经济学的现代发展,及其在宏观经济学和金融时间序列中的应用。书中将理论方法和实际应用相结合,阐述了时间序列分析理论中最重要的内容,包括:平稳和非平稳性检验、单变量时间序列的模拟和...
-
计算流体力学 基础理论与实际应用 【数理化】
周正贵编著2008 年出版177 页ISBN:7564111364本书主要介绍流数值计算基本概念、流场计算模型方程的数值计算方法、不可压缩流场数值计算方法、可压缩流场数值计算方法等。
学科分类
