检索条件： 形式语言 ( 主题词 )

检索结果共有19条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书形式语言与自动机
责任者陈崇昕编著

出版信息北京邮电学院出版社 ,1988.11

ISBN 7-5635-0021-9

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
陈崇昕编著.形式语言与自动机.北京邮电学院出版社,1988.11.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/118489
复制引文到剪贴板

形式语言与自动机

陈崇昕编著.北京邮电学院出版社,1988.11.
2 图书形式化方法导论
责任者张广泉编著

出版信息清华大学出版社 ,2023

ISBN 978-7-302-62660-2

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
张广泉编著.形式化方法导论.清华大学出版社,2023.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/875105
复制引文到剪贴板

形式化方法导论

张广泉编著.清华大学出版社,2023.
3 图书形式化方法导论
责任者张广泉编著

出版信息清华大学出版社 ,2015

ISBN 978-7-302-41161-1

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
张广泉编著.形式化方法导论.清华大学出版社,2015.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/536240
复制引文到剪贴板

形式化方法导论

张广泉编著.清华大学出版社,2015.
4 图书形式语言与自动机导论
责任者 (美) 彼得·林茨, 苏珊·H.罗杰著

出版信息机械工业出版社 ,2025

ISBN 978-7-111-76752-7

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
(美) 彼得·林茨, 苏珊·H.罗杰著.形式语言与自动机导论.机械工业出版社,2025.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/976080
复制引文到剪贴板

形式语言与自动机导论

(美) 彼得·林茨, 苏珊·H.罗杰著.机械工业出版社,2025.
5 图书自动机理论、语言和计算导论：典藏版
责任者 (美) 约翰·E. 霍普克罗夫特, 拉杰夫·莫特瓦尼, 杰弗里·D. 乌尔曼著

出版信息机械工业出版社 ,2022

ISBN 978-7-111-70429-4

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
(美) 约翰·E. 霍普克罗夫特, 拉杰夫·莫特瓦尼, 杰弗里·D. 乌尔曼著.自动机理论、语言和计算导论：典藏版.机械工业出版社,2022.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/834634
复制引文到剪贴板

自动机理论、语言和计算导论：典藏版

(美) 约翰·E. 霍普克罗夫特, 拉杰夫·莫特瓦尼, 杰弗里·D. 乌尔曼著.机械工业出版社,2022.
6 图书形式语言, 自动机理论与计算导论
责任者 (印) Kamala Krithivasan, Rama R著

出版信息电子工业出版社 ,2012.02

ISBN 978-7-121-15394-5

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
(印) Kamala Krithivasan, Rama R著.形式语言, 自动机理论与计算导论.电子工业出版社,2012.02.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/332906
复制引文到剪贴板

形式语言, 自动机理论与计算导论

(印) Kamala Krithivasan, Rama R著.电子工业出版社,2012.02.
7 图书自动机理论、语言和计算导论
责任者 (美) John E. Hopcroft, (美) Rajeev Motwani, (美) Jeffrey D. Ullman著

出版信息机械工业出版社 ,2008

ISBN 978-7-111-24035-8

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
(美) John E. Hopcroft, (美) Rajeev Motwani, (美) Jeffrey D. Ullman著.自动机理论、语言和计算导论.机械工业出版社,2008.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/275608
复制引文到剪贴板

自动机理论、语言和计算导论

(美) John E. Hopcroft, (美) Rajeev Motwani, (美) Jeffrey D. Ullman著.机械工业出版社,2008.
8 图书形式语言与自动机导论
责任者 (美) Peter Linz著

出版信息机械工业出版社 ,2005

ISBN 7-111-16788-0

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
(美) Peter Linz著.形式语言与自动机导论.机械工业出版社,2005.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/217030
复制引文到剪贴板

形式语言与自动机导论

(美) Peter Linz著.机械工业出版社,2005.
9 图书形式语言与自动机理论
责任者蒋宗礼, 姜守旭编著

出版信息清华大学出版社 ,2023

ISBN 978-7-302-63625-0

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
蒋宗礼, 姜守旭编著.形式语言与自动机理论.清华大学出版社,2023.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/874462
复制引文到剪贴板

形式语言与自动机理论

蒋宗礼, 姜守旭编著.清华大学出版社,2023.
10 图书形式语言与自动机理论教学参考书
责任者蒋宗礼编著

出版信息清华大学出版社 ,2023

ISBN 978-7-302-63626-7

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
蒋宗礼编著.形式语言与自动机理论教学参考书.清华大学出版社,2023.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/898474
复制引文到剪贴板

形式语言与自动机理论教学参考书

蒋宗礼编著.清华大学出版社,2023.

通借成功!

预约成功!