机器人学：建模、控制与视觉
推荐 有广告 无套路<p>为适应工业机器人、海陆空机器人和共融机器人快速发展的需要，突出机器人学的综合性、新颖性和前瞻性等特点，《机器人学：建模、控制与视觉》一书分建模、控制与视…
格式： PDF 请到详细页访问 来源：无名图书
公理化集合论机器证明系统
推荐 有广告 无套路<p>布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.本书利用交互式定理证明工具Coq,…
格式： PDF 请到详细页访问 来源：无名图书
文都教育 汤家凤 2020考研数学接力题典…
推荐 有广告 无套路<p>本书是针对数学二的考生编写。本书特点：1.每部分的题目都是严格依据*考纲的规定，无论是题型还是知识点都是依据考研考试的要求设计；2.强化复习是取得数学高…
格式： PDF 请到详细页访问 来源：无名图书
高效学习：曹将的公开课
推荐 有广告 无套路<p>这是一个快速变化的时代，它对个人能力的提升提出了更高更频繁的要求。越来越多的职场人通过看书、上网课、链接牛人等各种方式提升自己，却发现收效甚微。本书为大…
格式： PDF 请到详细页访问 来源：无名图书