当前位置：首页 > 名称
大约有20,000项符合查询结果项。（搜索耗时：0.0331秒）
为您推荐： 英语高阶写作 高阶英语写作逻辑结构 高阶英语写作 高阶写作思维能力 高阶写作思维 通用学术英语写作 高阶 研究生
-
高阶统计量工具箱及其在机械故障诊断中的应用
唐友福，雷娜，刘树林编著2018 年出版177 页ISBN：9787560370248本书将高阶统计量理论与Matlab高阶统计量工具箱编程相结合，详细介绍了高阶统计量函数命令的使用方法及其在机械故障诊断中的相关工程实例，有利于读者更深入地了解和掌握各种高阶统计量方法的原理及工程应用。...
-
计算电磁学中的高阶技术
冯德军译；（意大利）罗伯托·D.格拉利亚，（美）安德鲁·F.彼得森2019 年出版370 页ISBN：9787121364006本书是国际著名电磁场理论和计算电磁学专家Roberto D. Graglia 和Andrew F. Peterson的专著。该书主要介绍了如何利用高阶基函数进行电磁计算，内容包括多种高阶基函数，如插值矢量基、分层级基、奇异场高阶基...
-
-
-
高阶停歇机构设计原理
王洪欣著2015 年出版173 页ISBN：9787030458834高阶停歇机构设计理论是机构学中的一个有机组成部分。本专著针对高阶停歇机构的系统设计理论与分析方法开展了深入地研究。本专著所提出的高阶停歇机构的设计理论是基于复合函数的零点与组合机构的存在性问...
-
-
高阶统计量与随机信号分析
李宏伟，程乾生著2002 年出版192 页ISBN：7562517304中国地质大学“211工程”学术著作出版基金资助:本书以统计分析为基础，论述了高阶统计量的理论和方法及其在几个典型的随机信号分析问题中的应用。 ...
-
-
-
高阶逻辑辅助证明系统
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
学科分类