当前位置:首页 > 名称
大约有106,632项符合查询结果项。(搜索耗时:0.2306秒)
为您推荐: 偏微分方程的差分方法 差分方程与微分方程关联 偏微分的差分解法 格林函数和变分法在电磁场 电磁波计算中的应用 title有趣的差分方程 第2版 数学奥赛辅导丛书 范畴论方法在计算机科学中的应用
-
-
-
-
-
-
-
-
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
-
学科分类
出版时间
