当前位置：首页 > 名称
大约有9,000项符合查询结果项。（搜索耗时：0.0098秒）
为您推荐： 代数不等式的证明 机器证明 全4册 工业机器人集成应用机构设计篇自动化 工业机器人自动化生产线 工业机器人集成应用机构设计篇自动化 解不等式及证明 的方法
-
-
川崎工业机器人与自动化生产线 高职
詹国兵，王建华，孟宝星主编；权宁，纪海宾，邢方方参编；吉智主审2018 年出版266 页ISBN：9787560649221本书以川崎RS10N工业机器人和天津龙洲RB1050实训台为例，由深入浅、理实一体化，较为系统地介绍了典型工业机器人和典型自动化生产线的操作、编程和调试等专业知识和技能。本书除注重理论的系统性和完整性外，还...
-
机器自动化 工业机器人及其关键技术研究
李素云著2018 年出版261 页ISBN：9787502289102工业时代的核心技术是工业自动化，工业机器人是实现自动化的一个手段。本书较为全面、深入地对工业机器人的相关技术展开了讨论，注重理论联系实际，并尽量反映国内外近年来在机器人理论研究和生产应用方面的最新...
-
-
-
数学中的小问题大定理丛书 阿贝尔恒等式与经典不等式及应用
杨志明编著2018 年出版787 页ISBN：9787560374000本书本书主要介绍了阿贝尔恒等式及其相关内容，全书共分六章，分别为：阿贝尔(Abel)恒等式、排序不等式、均值不等式、柯西（Cauchy）不等式、卡拉马特（Karamata）不等式及一些公开的问题。本书适合于参加高中数学竞赛，参...
-
司法证明方法与推定规则
何家弘著2018 年出版359 页ISBN：9787519718947本书包括司法证明的难题、司法证明的历史、司法证明的方法、司法证明的规则、司法证明的责任、司法证明的标准、推定概念的解析、推定种类的重述、推定规则的范式、推定规则的创设、推定规则的适用、司法错...
-
-
可信平台模块虚拟化与证明
谭良著2018 年出版256 页ISBN：9787030557698云计算与可信计算相结合是构建可信云环境的重要方法，其最为关键的问题是对TPM（TrustedPlatformModule，TPM）的虚拟化。本书将给出TPM虚拟化的基本概念、类型和基本要求，提出了TPM虚拟化的技术分类模型，详细阐述了T...
-
