大约有5,000项符合查询结果项。（搜索耗时：0.1333秒）
为您推荐：
几何定理机器证明的案例
几何定理的机械化证明
几何最著名24个定理证明及应用
交互式定理证明与程序开发
拉克洛瓦 韦达定理 证明方法
几何证明
-
卢本，卢立楷编著2006 年出版202 页ISBN：7111178343
本书介绍了焊接机器人的结构类型，控制系统构成等知识。
-
何清华著2005 年出版321 页ISBN：781105020X
本书以国家“十五”计划重大项目——隧道凿岩机器人为技术原形，介绍了隧道凿岩机器人的基本构成、基本工作及主要技术参数，对隧道凿岩机器人的主要技术难题进行了攻关性研究。...
-
杨欢耸等编著2018 年出版79 页ISBN：9787121339950
该书以一个综合的设计项目“智能车”为载体，通过对智能车上的电机、传感器等的硬件设计，软件编程等方式进行教学，硬件上采用开源式硬件Arduino，软件上选择了北师大的图形化软件米思奇软件为编程工具，内容分为智...
-
В.И.喀查尔切夫著；北京农业机械化学院修理学教研组译1957 年出版719 页ISBN：15010·558
-
（美）美国各州公路工作者协会著；交通部第一公路勘察设计院译1983 年出版439 页ISBN：15044·1665
-
李绪梅主编2004 年出版156 页ISBN：7114048416
本书主要介绍公路几何设计的基本理论、基本内容和设计程序。
-
郭连璧编1979 年出版146 页ISBN：15043·5143
-
许鼎伍编著1984 年出版142 页ISBN：15044·5484
-
武勇义，徐尤龙著1992 年出版257 页ISBN：7114011407
-
王久生等编著1990 年出版200 页ISBN：7810300261
