-
中文图书1.自动机理论、语言和计算导论 TP301.1/2
馆藏复本:2
可借复本:2 (美) 约翰·E.霍普克罗夫特, 拉杰夫·莫特瓦尼, 杰弗里·D.乌尔曼著
机械工业出版社 2022.04
(0) 馆藏 -
中文图书2.形式化方法导论.第2版
馆藏复本:0
可借复本:0 张广泉编著
清华大学出版社 2023.3
(0) 馆藏 -
中文图书3.形式语言与自动机理论教学参考书.第2版 TP301/27
馆藏复本:4
可借复本:1 蒋宗礼编著
清华大学出版社 2007
(0) 馆藏 -
中文图书4.形式语言与自动机理论.2版 TP301.2/3
馆藏复本:5
可借复本:3 蒋宗礼, 姜守旭编著
清华大学出版社 2007
(0) 馆藏