检索到 23 条 主题词=形式语言 的结果
-
中文图书1.形式化方法:理论及应用:theory and applications TP301.2/222
馆藏复本：3
可借复本：3 华保健编著
中国科学技术大学出版社 2024
(0) 馆藏 -
中文图书2.自动机理论、语言和计算导论:典藏版 TP301/1841/4
馆藏复本：6
可借复本：6 (美) 约翰·E. 霍普克罗夫特, 拉杰夫·莫特瓦尼, 杰弗里·D. 乌尔曼著
机械工业出版社 2022
(0) 馆藏 -
中文图书3.形式语言与自动机理论.第4版 TP301/433/6
馆藏复本：3
可借复本：3 蒋宗礼, 姜守旭编著
清华大学出版社 2023
(0) 馆藏 -
中文图书4.形式化方法导论.第2版 TP301.2/102/2
馆藏复本：3
可借复本：3 张广泉编著
清华大学出版社 2023
(0) 馆藏 -
中文图书5.形式语言学新发展研究 TP301.2/210
馆藏复本：2
可借复本：2 程工, 沈园著
清华大学出版社 2022
(0) 馆藏 -
中文图书6.形式化方法在构件组装实时系统中的应用研究 TP316.2/0101
馆藏复本：2
可借复本：2 席琳, 马传连著
中央民族大学出版社 2019
(0) 馆藏 -
中文图书7.形式语言与自动机.第2版 TP301.2/440
馆藏复本：2
可借复本：1 杨娟, 石川, 王柏主编
北京邮电大学出版社 2017
(0) 馆藏 -
中文图书8.形式语言与自动机理论引论 TP301.2/433
馆藏复本：2
可借复本：2 蒋宗礼, 姜守旭编著
清华大学出版社 2017
(0) 馆藏 -
中文图书9.形式化方法导论 TP301.2/102
馆藏复本：2
可借复本：2 张广泉编著
清华大学出版社 2015
(0) 馆藏 -
中文图书10.形式语言与自动机 TP301/221
馆藏复本：2
可借复本：2 朱保平, 李千目编著
清华大学出版社 2015
(0) 馆藏 -
中文图书11.形式语言与自动机理论教学参考书.第3版 TP301/433/5
馆藏复本：2
可借复本：2 蒋宗礼编著
清华大学出版社 2013
(0) 馆藏 -
中文图书12.形式语言与自动机理论.第3版 TP301/433/4
馆藏复本：2
可借复本：2 蒋宗礼, 姜守旭编著
清华大学出版社 2013.5
(0) 馆藏 -
中文图书13.形式语言与自动机理论.2版 TP301/433/3
馆藏复本：5
可借复本：0 蒋宗礼，姜守旭编著
清华大学出版社 2007
(0) 馆藏 -
中文图书14.形式语言, 自动机理论与计算导论 TP301/275
馆藏复本：3
可借复本：2 (印) Kamala Krithivasan, Rama R著
电子工业出版社 2012
(0) 馆藏 -
中文图书15.走近形式语用学 TP301.2/410
馆藏复本：3
可借复本：3 蒋严主编
上海教育出版社 2011
(0) 馆藏 -
中文图书16.形式语言与自动机 TP301/743
馆藏复本：5
可借复本：1 陈有祺编著
机械工业出版社 2008
(0) 馆藏 -
中文图书17.自动机理论、语言和计算导论 TP301/1841/3
馆藏复本：5
可借复本：2 (美)John E. Hopcroft，(美)Rajeev Motwani，(美)Jeffrey D. Ullman著
机械工业出版社 2008
(0) 馆藏 -
中文图书18.自动机理论、语言和计算导论:英文版·第3版-影印版 TP301.1/184
馆藏复本：3
可借复本：3 (美)霍普克罗夫特(John E.Hopcroft), (美)Rajeev Motwani, (美)Jeffrey D. Ullman著
机械工业出版社 2008
(1) 馆藏 -
中文图书19.形式语言与自动机导论-原书第3版 TP301/480
馆藏复本：6
可借复本：2 （美）Peter Linz著
机械工业出版社 2005.9
(0) 馆藏 -
中文图书20.自动机理论、语言和计算导论 TP301/1841/2
馆藏复本：16
可借复本：1 (美)霍普克罗夫特(John E.Hopcroft)等著
机械工业出版社 2004.6
(0) 馆藏
