大约有3,518项符合查询结果项。（搜索耗时：0.0736秒）
为您推荐： 分析基础机器证明系统 几何定理机器证明的案例 几何定理机器证明的基本原理 不等式机器证明与自动发现 方程求解与机器证明 证明责任论
-
-
从切比雪夫到爱尔特希 上 素数定理的初等证明 1 the elementary proof of the prime number theorem
潘承彪著2013 年出版221 页ISBN：9787560339177本书主要介绍素数定理的七个初等证明以及与之有关的切比雪夫不等式、Mertens定理、素数定理的等价命题、Riemann Zeta函数、几个Tanber型定理、L空间中的Fourier变化、Wiener定理、素数定理的推广等。通过...
-
-
太空中的机器人 机器人世界
（英）史蒂夫·帕克著；杨飞虎，王竞男译2017 年出版29 页ISBN：9787111568476机器人世界丛书带读者走进神奇的机器人世界。它告诉我们机器人究竟是什么，以及它们是如何工作和交流的。这套丛书涵盖了所有类型的机器人，本书主要介绍太空中的机器人，介绍他们的种类、工作方式、用途及目前已...
-
-
证明责任论 以德国民法典和民事诉讼法典为基础撰写
（德）莱奥·罗森贝克（Leo Rosenberg）著；庄敬华译2002 年出版474 页ISBN：7800838994第一章证明责任的概念和意义§1证明责任问题概述§2法律适用与证明责任？证明责任规范的适用范围§3证明责任与确认责任（主观的证明责任和客观的证明责任）§4主张责任§5主张和证明是权利、义务还是责任？§6证明...
-
工作和娱乐用机器人 机器人世界
（英）史蒂夫·帕克著；杨飞虎，王竞男译2017 年出版29 页ISBN：9787111568520机器人世界丛书带读者走进神奇的机器人世界。它告诉我们机器人究竟是什么，以及它们是如何工作和交流的。这套丛书涵盖了所有类型的机器人，本书主要介绍工作与娱乐用机器人，介绍它们的类型、原理、相同点和不同...
-
机器对机器 M2M 通信技术与应用
（徳）格兰仕等著2011 年出版122 页ISBN：9787118073874本书分为七个方面：管理总结、M2M市场的介绍、M2M市场的商业模式、设施管理和能源管理、交通管理和“Car2x”、财政服务和移动支付、贸易和物流、电动汽车和电动车。...
-
机器人插班生系列之 我的同学是机器人
王勇英著2013 年出版185 页ISBN：9787544734325天才插班生白小影做出了很多古怪的事情，小神探于朗经过一系列调查发现白小影是机器人。白小影和伙伴们一起努力过上了美好的生活。
-
行走的机器 六足机器人
宋新明（Shin-Min Song），（美）沃尔德伦（Kenneth J.Waldron）2017 年出版199 页ISBN：9787517054610本书英文版由麻省理工出版社出版，以ASV车辆作为样本为读者展示了步行机械设计的设计流程和计算方法，是一本理论和工程实践兼顾的好书。本书的主要内容有：步行机械的发展历程及其潜在价值、步行机械的步态理论...