检索到 7 条 主题词=形式语言 的结果
-
中文图书1.形式化方法导论.2版 TP301.2/7=2
馆藏复本：2
可借复本：0 张广泉编著
清华大学出版社 2023
(0) 馆藏 -
中文图书2.形式化方法:理论及应用:theory and applications
馆藏复本：0
可借复本：0 华保健编著
中国科学技术大学出版社 2024
(0) 馆藏 -
中文图书3.形式语言与自动机导论
馆藏复本：0
可借复本：0 (美)彼得·林茨(Peter Linz)，(美)苏珊·H. 罗杰(Susan H. Rodger)著
机械工业出版社 2025
(0) 馆藏 -
中文图书4.自动机理论、语言和计算导论:典藏版
馆藏复本：0
可借复本：0 (美)约翰·E.霍普克罗夫特，(美)拉杰夫·莫特瓦尼，(美)杰弗里·D.乌尔曼著
机械工业出版社 2022.04
(0) 馆藏 -
中文图书5.自动机理论、语言和计算导论 TP301.1/2
馆藏复本：2
可借复本：2 (美) 约翰·E.霍普克罗夫特, 拉杰夫·莫特瓦尼, 杰弗里·D.乌尔曼著
机械工业出版社 2022.04
(0) 馆藏 -
中文图书6.形式语言与自动机理论.2版 TP301.2/3
馆藏复本：5
可借复本：3 蒋宗礼, 姜守旭编著
清华大学出版社 2007
(0) 馆藏 -
中文图书7.形式语言与自动机理论教学参考书.第2版 TP301/27
馆藏复本：4
可借复本：1 蒋宗礼编著
清华大学出版社 2007
(0) 馆藏
