当前位置:首页 > 名称
大约有10,000项符合查询结果项。(搜索耗时:0.0232秒)
为您推荐: ros机器人编程与slam算法解析指南 c 2005编程进阶与参考手册 中航工业统计实务与基础 委会 广州市财政局 电算化会计基础教程 21世纪中小学信息技术教育基础教程 河南纺织工业局 机器安装队
-
基础化学学习与习题指导
张永士主编;曹凤云,黄志刚副主编2005 年出版267 页ISBN:7810825372本教材根据教育部制定的《高职高专教育基础课程教学基本要求》,结合高职高专教改成果编写而成的,本书和《基础化学》相互配套是高职高专相关专业教材。...
-
-
几何定理机器证明的几何不变量方法
张景中,高小山,周咸青著2015 年出版318 页ISBN:9787030440662用计算机自动证明某一类型几何定理,甚至某一种几何全部定理的原理和方法。从理论角度看,几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤,才能编制程序并在计算机上实现。可用机器证明的几何定...
-
-
-
现代科学与工程计算基础
胡兵,李清朗编著2003 年出版378 页ISBN:7561426879本书主要内容包括:函数的插值与逼近、数值积分与数值微分、解线性代数方程组的直接法、解线性方程组的迭代法、非线性方程求根、矩阵特征值和特征向量的计算和常微分方程数值解法等。...
-
光催化及光电催化基础与应用
刘守新,刘鸿编著2006 年出版350 页ISBN:7502576169本书介绍了光催化具有室温深度反应和可直接利用太阳能作为光源来驱动反应等独特性能、环境污染治理技术和洁净能源、生产技术。
-
-
-
