当前位置：首页 > 名称
大约有55,885项符合查询结果项。（搜索耗时：0.3436秒）
为您推荐： 数学物理中的微分形式_ 代数拓扑 微分方程和代数 微分形式 可视化微分几何和形式 微分形式入门
-
-
-
-
形式语义学基础与形式说明
屈延文编著2010 年出版496 页ISBN：9787030262387本书较详细地给出了形式语义学的基础理论框架，但它并不是一本纯理论的教材，而是一本理论与软件实践相结合的教材。全书共分十章，介绍了指称语义学、代数语义学、操作语义学与公理语义学的基本内容及其应用，并介...
-
机器人机构拓扑结构学
杨廷力著2004 年出版244 页ISBN：7111134222本书介绍机器人机构拓扑结构设计的一种系统理论与有效方法及其应用。内容有如下特点： 1.从机器人整体功能出发，进行机构拓扑结构设计。不仅考虑机构的运动学、动力学要求，如运动确定性、运动输出特征、...
-
-
-
-
-
学科分类
出版时间