检索到 4 条 分类号=O1 主题=软件工具 的结果
-
中文图书1.Python基础及其在数学建模中的应用 TP311.561/382
馆藏复本：2
可借复本：2 主编李汉龙, 隋英, 韩婷
北京理工大学出版社 2023
(0) 馆藏 -
中文图书2.交互式定理证明与程序开发:Coq归纳构造演算的艺术:Coq'art: the calculus of inductive constructions O141-39/1
馆藏复本：0
可借复本：0 Yves Bertot，Pierre Casteran著
清华大学出版社 2010
(0) 馆藏 -
中文图书3.几何画板课件制作教程.2版 O18/5
馆藏复本：4
可借复本：4 刘胜利编
科学出版社 2004
(0) 馆藏 -
中文图书4.数学工具软件及应用:Mathematica 几何画板 Derive O245/4
馆藏复本：2
可借复本：2 赵继源, 石刚编著
北京理工大学出版社 2005
(0) 馆藏
