-
中文图书1.矩阵结构与矩阵函数的形式化 O151.21/081
馆藏复本:3
可借复本:3 施智平...[等]著
科学出版社 2023
(0) 馆藏 -
中文图书2.哈密顿力学理论的形式化与机器人动力学形式化分析 O316/081
馆藏复本:3
可借复本:3 施智平 ... [等] 著
科学出版社 2022
(0) 馆藏 -
中文图书3.拉格朗日力学理论的形式化与机器人动力学形式化分析 TP24/830
馆藏复本:4
可借复本:4 关永 ... [等] 著
科学出版社 2022
(0) 馆藏 -
中文图书4.几何代数的形式化与初步应用 TP18/8303
馆藏复本:2
可借复本:2 关永, 李黎明, 施智平著
科学出版社 2020
(0) 馆藏 -
中文图书5.机器学习:算法背后的理论与优化 TP181/5541
馆藏复本:3
可借复本:3 史春奇, 卜晶祎, 施智平著
清华大学出版社 2019
(0) 馆藏