大约有530,281项符合查询结果项。(搜索耗时:0.6139秒)
为您推荐: 几何定理机器证明的案例 挑战思维极限 勾股定理的365种证明 证明的故事 从勾股定理到现代数学 几何最著名24个定理证明及应用 几何定理的机械化证明 分析基础机器证明系统
-
-
-
-
校园文化建设的基本原理与实践操作系统研究
张澍军,王占仁等著2013 年出版382 页ISBN:9787206101106本书是教育部哲学社会科学研究重大课题委托项目“新时期高校校园文化建设的理论与实践研究”的最终成果。全书由课题组负责人东北师范大学思想理论教育研究所所长张澍军教授总体规划并拟定写作提纲和要点。...
-
单片机原理与机器人控制实验教程
陈春俊,宁静,费小琼主编2007 年出版162 页ISBN:7811048167本书内容包括:超想3000TB实验仪器感知认识、MCS51基础实验、提高型实验、设计型实验、机器人感知认识、机器人传感器及其他模块认知及实验。...
-
固态发酵生物反应器设计和操作的基本原理
(巴西)D.A.米切尔,(巴西)N.克里格,(斯洛文尼亚)M.贝罗维奇主编2017 年出版358 页ISBN:9787518411467本书聚焦于实现固体发酵过程的生物反应器,具体介绍了固态发酵及其过程中发生的传递现象和生长动力学,阐述了各种类型的固态发酵生物反应器以及过程监测、控制等相关问题,尤其是针对商业化应用所面临的放大挑战...
-
移动机器人原理与设计
(法)吕克·若兰(Luc Jaulin)著2018 年出版218 页ISBN:9787111591863本书讨论移动机器人的基本原理和设计方法,侧重于培养工程应用能力。书中原理部分较为简洁,不展开建模过程的细节;设计部分通过大量实践案例来加深对理论的理解,涉及多种水中机器人和帆船机器人实例,并配有MATLAB...
-
神经网络在应用科学和工程中的应用 从基本原理到复杂的模式识别
(美)SANDHYASAMARASINGHE著2010 年出版444 页ISBN:9787111275855本书是研究神经网络对科学数据进行模式识别的一种探索,主要介绍了神经网络的基本概念,并以图示的形式用大量的实例和个案研究结合计算机仿真对神经网络用于模式识别的各种方法进行阐述与对比。...
-
-
