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