书目检索

简单检索 多字段检索 组合检索 检索结果

用户登录
全部 纸本图书 期刊
  • 拉格朗日力学理论的形式化与机器人动力学形式化分析图书

    —关永等著

    索书号:TP24/00135

    标准编码:978-7-03-072097-9

    出版信息:科学出版社  2022.05  北京

  • 几何代数的形式化与初步应用图书

    —关永, 李黎明, 施智平著

    索书号:TP18/00542

    标准编码:978-7-03-063033-9

    出版信息:科学出版社  2020.5  北京

  • 矩阵结构与矩阵函数的形式化图书

    —施智平,吴爱轩,关永,王国辉,张倩颖著

    索书号:O151.21/00165

    标准编码:978-7-03-076330-3

    出版信息:科学出版社  2023.9  北京

1 共: 3 条