好站推荐: 找书资源 | 备用域名:zhiso.cc
<p>为适应工业机器人、海陆空机器人和共融机器人快速发展的需要,突出机器人学的综合性、新颖性和前瞻性等特点,《机器人学:建模、控制与视觉》一书分建模、控制与视…
格式: PDF 请到详细页访问 来源:无名图书<p>布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.本书利用交互式定理证明工具Coq,…
格式: PDF 请到详细页访问 来源:无名图书哈尔・埃尔罗德(HalElrod)死过一次的人生赢家15岁拥有一档个人电台节目;20岁成为市值2亿美元公司的顶尖销售员;20岁出车祸,“临床死亡”6分钟,奇迹…
格式: PDF 请到详细页访问 来源:书行天下