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

| 暂存书架(0) | 登录

检索到 7 条 主题词=Formal languages 索书号=T 馆藏地=西文密集 的结果    

 


所有图书 可借图书

  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.Introduction to automata theory, languages, and computation / TP27/E4

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

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

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

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

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

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

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

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

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


返回顶部