江汉大学图书馆书目检索系统

| 暂存书架(0) | 登录

检索到 15 条 主题词=Formal languages 的结果    

 


所有图书 可借图书

  1. 西文图书1.Computability, complexity, and languages : fundamentals of theoretical computer science = 计算理论基 TP301/D263(C=2)

    馆藏复本：3
    可借复本：3     Davis, Martin,
    人民邮电出版社, 2009.
    (0) 馆藏

  2. 西文图书2.Introduction to automata theory, languages, and computation = 自动机理论、语言和计算导论 / TP301.1/H791(C=3)

    馆藏复本：3
    可借复本：3     Hopcroft, John E.,
    China Machine Press, 2007.
    (0) 馆藏

  3. 西文图书3.Languages and machines : an introduction to the theory of computer science = 语言与机器 : 计算机科学 TP391/S943(C=3)

    馆藏复本：3
    可借复本：3     Sudkamp, Thomas A.
     2007.
    (0) 馆藏

  4. 西文图书4.Automata, languages and programming : 28th international colloquium, ICALP 2001, Crete, Greece, July TP311/A939

    馆藏复本：1
    可借复本：1     International Colloquium on Automata, Languages, and Programming
    Springer, c2001.
    (0) 馆藏

  5. 西文图书5.Developments in language theory : 5th international conference, DLT 2001, Wien, Austria, July 16-21, TP301.2/D489

    馆藏复本：1
    可借复本：1     Conference on Developments in Language Theory
    Springer, c2002.
    (0) 馆藏

  6. 西文图书6.Introduction to the theory of computation. O141.3/E57

    馆藏复本：1
    可借复本：1     Engeler, Erwin.
    Academic Press [1973]
    (0) 馆藏

  7. 西文图书7.Mathematical foundations of programming / O14/B397

    馆藏复本：1
    可借复本：1     Beckman, Frank S.
    Addison-Wesley, c1980.
    (0) 馆藏

  8. 西文图书8.Jewels of formal language theory / O141/S173

    馆藏复本：3
    可借复本：3     Salomaa, Arto.
    Computer Science Press, c1981.
    (0) 馆藏

  9. 西文图书9.Computability, complexity, and languages : fundamentals of theoretical computer science / TP301/D263

    馆藏复本：5
    可借复本：5     Davis, Martin,
    Academic Press, 1983.
    (0) 馆藏

  10. 西文图书10.Mathematical foundations of computer science 1981 : proceedings, 10th symposium, Strbsk?e Pleso, Cze TP301-532/S989

    馆藏复本：2
    可借复本：2     Symposium on Mathematical Foundations of Computer Science
    Springer-Verlag, 1981.
    (0) 馆藏

  11. 西文图书11.Automata, languages, and machines / TP23/E34

    馆藏复本：2
    可借复本：2     Eilenberg, Samuel.
    Academic Press, 1974-76.
    (0) 馆藏

  12. 西文图书12.Grammars for programming languages / TP312/C623

    馆藏复本：1
    可借复本：1     Cleaveland, J. Craig.
    Elsevier, c1977.
    (0) 馆藏

  13. 西文图书13.Introduction to automata theory, languages, and computation / TP1/H791

    馆藏复本：2
    可借复本：2     Hopcroft, John E.,
    Addison-Wesley, c1979.
    (0) 馆藏

  14. 西文图书14.Introduction to formal languages / H31/R453

    馆藏复本：1
    可借复本：1     Revesz, Gyorgy E.
    McGraw-Hill, c1983.
    (0) 馆藏

  15. 西文图书15.Elements of the theory of computation / O14/L673

    馆藏复本：1
    可借复本：1     Lewis, Harry R.
    Prentice-Hall, c1981.
    (0) 馆藏

返回顶部