-
中文图书1.面向计算机科学的数理逻辑:系统建模与推理 O141/640
馆藏复本:5
可借复本:1 (德)Michael Huth,(英)Mark Ryan著
机械工业出版社 2007
(0) 馆藏 -
中文图书2.计算机常用工具软件基础教程 TP311.56/4103
馆藏复本:5
可借复本:0 樊磊编著
清华大学出版社 2004.11
(0) 馆藏 -
中文图书3.应用泛函分析 O177/4101
馆藏复本:6
可借复本:5 樊磊,何伟编著
高等教育出版社 2005.4
(0) 馆藏