-
中文图书1.分数阶系统高阶逻辑形式化验证 O172/Z225
馆藏复本:3
可借复本:3 赵春娜, 蒋慕蓉著
科学出版社 2023
(0) 馆藏 -
中文图书2.离散数学.第2版 O158/H928B
馆藏复本:3
可借复本:3 黄亚群, 蒋慕蓉, 赵春娜编著
科学出版社 2020
(0) 馆藏 -
中文图书3.戴维-斯特瓦尔松方程 O175/D975
馆藏复本:2
可借复本:2 戴正德, 蒋慕蓉, 李栋龙著
科学出版社 2007
(0) 馆藏

