-
中文图书1.航天型号嵌入式软件验证技术与实践 V4/8
馆藏复本:3
可借复本:3 祝宇[等]编著
中国宇航出版社 2022
(0) 馆藏
-
中文图书2.时空信息系统:使用STK的本体论方法:an ontological approach using STK V423.4/2
馆藏复本:1
可借复本:1 (美)琳达·麦克尼尔(Linda M. McNeil),(美)凯尔索(T. S. Kelso)[著]
国防工业出版社 2017
(0) 馆藏