-
中文图书1.模型检测 TP274/510
馆藏复本:3
可借复本:3 (美) Edmund M. Clarke, Orna Grumberg, Doron A. Peled著
电子工业出版社 2018
(0) 馆藏 -
中文图书2.软件可靠性方法 TP311.5/513
馆藏复本:3
可借复本:2 (以) Doron A. Peled著
机械工业出版社 2012
(0) 馆藏 -
西文图书3.Robot vision : international workshop RobVis 2001, Auckland, New Zealand, February 16-18, 2001 : pro TP242.6/R666
馆藏复本:1
可借复本:1 International Workshop on Robot Vision
Springer, c2001.
(0) 馆藏 -
中文图书4.球王贝利自传 K837.775.47/3
馆藏复本:3
可借复本:3 奥兰多·杜阿尔特, 亚历克斯·贝洛执笔
世界知识出版社 2006
(0) 馆藏