-
中文图书1.离散数学:面向计算机科学专业 O158/145
馆藏复本:2
可借复本:1 (美)克利福德·斯坦(Clifford Stein), 罗伯特·L. 戴斯得尔(Robert L. Drysdale), 肯尼斯·博加特(Kenne...
机械工业出版社 2021
(0) 馆藏
-
中文图书2.面向计算机科学的数理逻辑.2版 TP301.6/10=2
馆藏复本:13
可借复本:11 陆钟万著
科学出版社 2002
(0) 馆藏
-
中文图书3.软件需求工程 TP311.521/4
馆藏复本:1
可借复本:1 毋国庆 ... [等] 编著
机械工业出版社 2008
(0) 馆藏
-
中文图书4.形式语言与自动机 TP301.2/10
馆藏复本:1
可借复本:1 陈有祺编著
机械工业出版社 2008
(0) 馆藏
-
中文图书5.面向对象分析与设计 TP312/245
馆藏复本:2
可借复本:2 麻志毅编著
机械工业出版社 2008
(0) 馆藏
-
中文图书6.计算机组成原理 TP303/166
馆藏复本:1
可借复本:1 张新荣, 李雪威, 于瑞国编著
机械工业出版社 2009
(0) 馆藏
-
中文图书7.电路、信号与系统 TM13/155
馆藏复本:1
可借复本:1 张永瑞, 高建宁编著
机械工业出版社 2010
(0) 馆藏
-
中文图书8.人工智能 TP18/132
馆藏复本:5
可借复本:4 刘凤岐编著
机械工业出版社 2011
(0) 馆藏
-
中文图书9.集论与逻辑:面向计算机科学 O144/6
馆藏复本:6
可借复本:6 沈恩绍著
科学出版社 2003
(0) 馆藏
-
中文图书10.数据结构与算法 TP311.12/138
馆藏复本:2
可借复本:2 吴跃主编
机械工业出版社 2010
(0) 馆藏
-
中文图书11.面向计算机科学的数学逻辑 TP301.6/10
馆藏复本:5
可借复本:4 陆钟万著
科学出版社 1998.1
(0) 馆藏
-
中文图书12.面向计算机科学的数理逻辑 O141/12
馆藏复本:5
可借复本:5 陆钟万著
北京大学出版社 1989.11
(0) 馆藏