当前位置:首页 > 名称

大约有3,518项符合查询结果项。(搜索耗时:0.2587秒)

为您推荐: 几何定理机器证明的基本原理 几何定理机器证明的案例 分析基础机器证明系统 不等式机器证明与自动发现 方程求解与机器证明 证明论

  • 世界经典科幻故事全集 机器大战的故事

    周治主编2009 年出版186 页ISBN:9787545104363

    本书为教学课外辅助读物。补充学生课外知识,选取一些中外经典名著供青少年课外阅读。本册选取世界经典科幻故事作为经典主题。

  • 上海大隆机器厂工人运动史

    上海市大隆机器厂工人运动史编写组编1991 年出版155 页ISBN:7800233863

  • 机器制造业中的大尺寸测量

    (苏)鲁宾诺夫(А.Д.Рубинов)著;俞力译1957 年出版101 页ISBN:15033·676

  • 时间机器

    (英)赫伯特·乔治·威尔斯著;顾忆青译2017 年出版147 页ISBN:7201124803

    本书是英国著名小说家赫伯特·乔治·威尔斯在1895年发表的一部科幻小说。作品描述一位科学家通过时间旅行机器来到公元802701年,这时的地球到处是宫殿式建筑,人类进化为艾洛伊人和莫洛克人。作者将优雅的贵族...

  • 机器人结构与程序设计

    郑剑春主编2010 年出版215 页ISBN:9787302240198

    本书以乐高公司产品及其软件作品作为教学基础内容,介绍了中学生所用机器人的结构与程序控制的知识。本书适用于高中通用技术课程(机器人模块)教学。...

  • 怎样在机器制造厂中组织生产

    (苏)沙克沙岗斯基(Т.Д.Саксаганский)撰;安士泰译1953 年出版172 页ISBN:

  • 我爱连线 机器

    (英)卡伦·布莱恩特-摩尔,珍妮·泰勒编;(英)格拉汉姆·朗德绘;张伟译2013 年出版24 页ISBN:7530465090

    本书是深受英国小朋友喜爱的连线游戏书。小朋友要按照数字从小到大的顺序,把每页需要连接的点连起来,然后回答每页提出的问题。这样一来,孩子们既能学到知识,又感到趣味十足,还能锻炼认识数字的能力和运笔的能力...

  • 水中仿生机器人导论

    谢广明,李卫京,刘甜甜,夏庆锋,李宗刚著2017 年出版189 页ISBN:9787302461159

    本书基于系统性和完整性,对机器人和水中机器人进行了概述与简介,阐述了水中仿生机器人的系统实现、运动实现及避障实现,介绍了单关节仿生机器鱼的结构组成与使用控制。...

  • KUKA工业机器人编程与实操技巧

    徐文,徐江陵,段伟编著2017 年出版226 页ISBN:7111563099

  • 无人战争与机器

    赵晶编著2011 年出版186 页ISBN:9787806809549

    本书以图文并茂的形式详尽地介绍了各种各样的汽车发明、发展及生产情况,其中不乏很多名牌,像是宝马、奔驰、甲壳虫、丰田等。文中图片清晰优美,文字通俗易懂,既可作为普通读者了解汽车知识的读物,也可作为汽车爱...

返回顶部