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

| 暂存书架(0) | 登录

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

 


所有图书 可借图书

  1. 西文图书1.Theory of finite automata : with an introduction to formal languages / TP23/5E

    馆藏复本：1
    可借复本：1     John Carroll, Darrell Long.
    Prentice Hall, c1989.
    (0) 馆藏

  2. 西文图书2.Introduction to the theory of computation. O241/E16

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

  3. 西文图书3.Automata, languages, and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985 / TP31/E85

    馆藏复本：1
    可借复本：1     edited by Wilfried Brauer.
    Springer-Verlag, c1985.
    (0) 馆藏

  4. 西文图书4.Mathematical foundations of programming / TP31/E58

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

  5. 西文图书5.Introduction to automata theory, languages, and computation / TP27/E4

    馆藏复本：4
    可借复本：4     John E. Hopcroft, Jeffrey D. Ullman.
    Addison-Wesley, c1979.
    (0) 馆藏

  6. 西文图书6.The mathematical theory of L systems / N94/E3

    馆藏复本：1
    可借复本：1     Grzegorz Rozenberg, Arto Salomaa.
    Academic Press, 1980.
    (0) 馆藏

  7. 西文图书7.Automata, languages, and machines vb/ TP23/E3:B

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

  8. 西文图书8.Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 / TP23/E4

    馆藏复本：2
    可借复本：2     edited by Hermann A. Maurer.
    Springer-Verlag, 1979.
    (0) 馆藏

  9. 西文图书9.Automata, languages, and machines va/ TP23/E3

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

  10. 西文图书10.Mathematical foundations of computer science 1981 : proceedings, 10th symposium, Strbsk?e Pleso, Cze O29:TP3/E12:(81)

    馆藏复本：5
    可借复本：5     edited by J. Gruska and M. Chytil.
    Springer-Verlag, 1981.
    (0) 馆藏

  11. 西文图书11.Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979 / TP3-53/E5

    馆藏复本：1
    可借复本：1     edited by K. Weihrauch.
    Springer-Verlag, 1979.
    (0) 馆藏

  12. 西文图书12.Jewels of formal language theory / TP312/E23

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

  13. 西文图书13.Grammars for programming languages / TP312/E10:4

    馆藏复本：4
    可借复本：4     J. Craig Cleaveland and Robert C. Uzgalis.
    Elsevier, c1977.
    (0) 馆藏

  14. 西文图书14.Theory of machines and computations : proceedings / TP301/E2#1

    馆藏复本：2
    可借复本：2     edited by Zvi Kohavi, Azaria Paz.
    Academic Press, 1971.
    (0) 馆藏

返回顶部