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

| 暂存书架(0) | 登录

检索到 6 条 主题词=Formal languages 主题=machine theory 的结果    

 


所有图书 可借图书

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

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

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

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

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

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

  4. 西文图书4.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) 馆藏

  5. 西文图书5.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) 馆藏

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

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


返回顶部