当前位置：首页 > 名称
大约有20,000项符合查询结果项。（搜索耗时：0.0170秒）
为您推荐： title柯林斯cobuild高阶英汉双解学习词典 title书籍 柯林斯cobuild高阶英汉双解学习词典 柯林斯cobuild高阶英汉双解学习词典第8版柯斯林英语 title柯林斯cobuild中阶英汉双解学习词典 title柯林斯cobuild初阶英汉双解学习词典 柯林斯cobuild英语词典
-
-
-
高阶停歇机构设计原理
王洪欣著2015 年出版173 页ISBN：9787030458834高阶停歇机构设计理论是机构学中的一个有机组成部分。本专著针对高阶停歇机构的系统设计理论与分析方法开展了深入地研究。本专著所提出的高阶停歇机构的设计理论是基于复合函数的零点与组合机构的存在性问...
-
-
高阶统计量与随机信号分析
李宏伟，程乾生著2002 年出版192 页ISBN：7562517304中国地质大学“211工程”学术著作出版基金资助:本书以统计分析为基础，论述了高阶统计量的理论和方法及其在几个典型的随机信号分析问题中的应用。 ...
-
-
-
-
-
高阶逻辑辅助证明系统
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
学科分类