当前位置：首页 > 名称
大约有105,837项符合查询结果项。（搜索耗时：0.6549秒）
为您推荐： 城市轨道交通车辆制动系统 汽轮机辅助系统 汽轮机设备及辅助系统课程设计 装甲车辆机电复合传动系统模式切换控制理论与方法 汽轮机设备及辅助系统设计计算 汽轮机辅助系统课程设计
-
-
-
-
中华人民共和国国家标准 GB/T20234-2006 电动汽车传导充电用插头、插座、车辆耦合器和车辆插孔通用要求=Pluge
socket-outlets2222 年出版0 页ISBN： -
-
-
-
-
高阶逻辑辅助证明系统
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
中央银行学 维护货币稳定和金融稳定的理论与实践
（泰）蒙贾著2015 年出版419 页ISBN：9787504980953本书全面介绍了中央银行业务，让读者明白、理解现代中央银行的角色、其指导思想背后的理论依据以及操作实践。本书系统地介绍了中央银行的业务，适合缺乏宏观经济学基础的普通读者及学生阅读。本书还进行了理论...
学科分类
出版时间