当前位置：首页 > 名称
大约有603,789项符合查询结果项。（搜索耗时：0.7870秒）
为您推荐： 非成像光学设计 控制系统计算机辅助设计 光学系统设计 电力工程设计手册 火力发电厂锅炉及辅助系统设计 航天光学遥感系统总体设计 空间光学遥感器系统设计
-
Harmonic Analysis and Approximation on the Unit Sphere 球面上的调和分析与逼近
Wang Kunyang，Li Luoqing著2000 年出版300 页ISBN：7030083660 -
-
高阶逻辑辅助证明系统
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
-
-
-
-
-
-
学科分类
出版时间