当前位置：首页 > 名称
大约有10,000项符合查询结果项。（搜索耗时：0.0145秒）
为您推荐： 中高阶英语写作 高阶英语写作 高阶英语写作逻辑结构 高阶写作思维能力 通用学术英语写作 高阶 研究生 高阶英语词组
-
-
-
高阶停歇机构设计原理
王洪欣著2015 年出版173 页ISBN：9787030458834高阶停歇机构设计理论是机构学中的一个有机组成部分。本专著针对高阶停歇机构的系统设计理论与分析方法开展了深入地研究。本专著所提出的高阶停歇机构的设计理论是基于复合函数的零点与组合机构的存在性问...
-
-
高阶统计量与随机信号分析
李宏伟，程乾生著2002 年出版192 页ISBN：7562517304中国地质大学“211工程”学术著作出版基金资助:本书以统计分析为基础，论述了高阶统计量的理论和方法及其在几个典型的随机信号分析问题中的应用。 ...
-
-
-
高阶逻辑辅助证明系统
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
-
极端曝光 创意数码摄影的高阶技巧
（英）戴维·奈廷格尔著；王之光译2012 年出版144 页ISBN：9787806869703本书从影响曝光的两个关键元素“快门速度”和“光圈”入手，探索了在极端的快门速度和光圈下的曝光技术，以及所能取得的相应效果，从而让读者深入理解曝光，学会创意曝光。(该书从英国的Ilex Press 引进，原作者为Da...