| 暂存书架(0) | 登录

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

 


所有图书 可借图书

  1. 西文图书1.Groups, languages, and automata /

    馆藏复本：0
    可借复本：0     Derek F. Holt, University of Warwick, Sarah Rees, University of Newcastle upon Tyne, Claas E. Ro...
     
    (0) 馆藏

  2. 西文图书2.Automata, languages, and machines / O233/ES

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

  3. 西文图书3.Mathematical foundations of computer science 1977 : proceedings, 6th Symposium, Tatranská Lomnica, TP301.6-53/SMF/(1977)

    馆藏复本：1
    可借复本：1     edited by J. Gruska.
    Springer-Verlag, 1977.
    (0) 馆藏

  4. 西文图书4.Automata, languages, and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985 / TP31-53/ICA/(1985)

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

  5. 西文图书5.Grammars for programming languages / TP312/CJC

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

  6. 西文图书6.Automata, languages and programming : 28th international colloquium, ICALP 2001, Crete, Greece, July TP311-53/ICA

    馆藏复本：1
    可借复本：1     Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen (eds.).
    Springer, c2001.
    (0) 馆藏

  7. 西文图书7.Introduction to formal languages / TP312/RGE

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

  8. 西文图书8.Introduction to automata theory, languages, and computation = 自动机理论、语言和计算导论 / 2nd ed. TP301/HJE/(2)

    馆藏复本：4
    可借复本：4     John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman.
    清华大学出版社, 2002.
    (0) 馆藏

  9. 西文图书9.An introduction to formal languages and automata = 形式语言与自动机导论 / 3rd ed. O141/LP/(3)

    馆藏复本：2
    可借复本：2     Peter Linz著.
    China Machine Press, 2004.
    (0) 馆藏

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

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

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

    馆藏复本：1
    可借复本：1     Martin D. Davis, Elaine J. Weyuker.
    Academic Press, 1983.
    (0) 馆藏

  12. 西文图书12.Automata, languages, and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14 TP31-53/ICA/(1980)

    馆藏复本：1
    可借复本：1     edited by J.W. de Bakker and J. van Leeuwen.
    Springer-Verlag, 1980.
    (0) 馆藏

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

    馆藏复本：1
    可借复本：1     Werner Kuich, Grzegorz Rozenberg, Arto Salomaa (eds.).
    Springer, c2002.
    (0) 馆藏

  14. 西文图书14.Mathematical foundations of programming / TP31/BFS

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

返回顶部