西安工业大学图书馆书目检索系统

| 暂存书架(0) | 登录

检索到 12 条 主题词=形式语言 的结果    

 


所有图书 可借图书

  1. 中文图书1.自动机理论、语言和计算导论 TP301.1/8

    馆藏复本:2
    可借复本:1
    (美)约翰·E. 霍普克罗夫特(John E. Hopcroft),(美)拉杰夫·莫特瓦尼(Rajeev Motwani),(美)杰弗里·D....
    机械工业出版社 2022
    (0) 馆藏

  2. 中文图书2.形式语言与自动机.第2版 TP301.1/2=2

    馆藏复本:3
    可借复本:2
    杨娟, 石川, 王柏主编
    北京邮电大学出版社 2017
    (0) 馆藏

  3. 中文图书3.形式语言及其与自动机的关系 TP314/2

    馆藏复本:16
    可借复本:16
    (美)霍普克罗夫特(J.E.Hopcroft),(美)厄尔曼(J.D.Ullman)著
    科学出版社 1979
    (0) 馆藏

  4. 中文图书4.自动机理论、语言和计算导论 TP301/51

    馆藏复本:1
    可借复本:1
    (美) John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman著
    机械工业出版社 2004
    (0) 馆藏

  5. 中文图书5.形式语言与自动机 TP301.2/10

    馆藏复本:1
    可借复本:1
    陈有祺编著
    机械工业出版社 2008
    (0) 馆藏

  6. 中文图书6.形式语言与自动机理论引论 TP301/46

    馆藏复本:3
    可借复本:2
    蒋宗礼, 姜守旭编著
    清华大学出版社 2017
    (0) 馆藏

  7. 中文图书7.形式化方法导论 TP301.2/8

    馆藏复本:3
    可借复本:2
    张广泉编著
    清华大学出版社 2015
    (0) 馆藏

  8. 中文图书8.形式语言与自动机理论教学参考书.3版 TP301/27=3

    馆藏复本:4
    可借复本:3
    蒋宗礼编著
    清华大学出版社 2013
    (0) 馆藏

  9. 中文图书9.形式语言与自动机理论 TP301.2/4

    馆藏复本:6
    可借复本:6
    蒋宗礼, 姜守旭编著
    清华大学出版社 2003
    (0) 馆藏

  10. 中文图书10.形式语言与自动机 TP301.2/5

    馆藏复本:6
    可借复本:6
    陈文宇, 欧齐, 程炼编著
    人民邮电出版社 2005
    (0) 馆藏

  11. 中文图书11.形式语言与自动机 TP301.1/2

    馆藏复本:8
    可借复本:8
    王柏, 杨娟编著
    北京邮电大学出版社 2003
    (0) 馆藏

  12. 中文图书12.形式语言与自动机理论教学参考书 TP301/27

    馆藏复本:6
    可借复本:6
    蒋宗礼编著
    清华大学出版社 2003
    (0) 馆藏


返回顶部