-
中文图书1.形式化开发多序列比对算法 O242.23/134
馆藏复本:2
可借复本:2 石海鹤, 张旭初著
江西高校出版社 2020
(0) 馆藏 -
中文图书2.形式化构件装配的领域算法构造 TP301.6/134.2
馆藏复本:2
可借复本:2 石海鹤, 周卫星著
科学出版社 2020
(0) 馆藏 -
中文图书3.形式化框架下置换和查找类算法的组装生成 TP301.6/134
馆藏复本:2
可借复本:2 石海鹤著
科学出版社 2017
(0) 馆藏 -
中文图书4.C#语言程序设计基础.3版 TP312C/833.4/3
馆藏复本:2
可借复本:1 郑宇军,石海鹤,王卫红编著
清华大学出版社 2014
(0) 馆藏