检索到 10 条 主题词=Formal languages 馆藏地=西文密集 文献类型=西文图书 的结果
-
西文图书1.Introduction to the theory of computation. O241/E16
馆藏复本：5
可借复本：5 Engeler, Erwin.
Academic Press [1973]
(0) 馆藏 -
西文图书2.Automata, languages, and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985 / TP31/E85
馆藏复本：1
可借复本：1 edited by Wilfried Brauer.
Springer-Verlag, c1985.
(0) 馆藏 -
西文图书3.Mathematical foundations of programming / TP31/E58
馆藏复本：4
可借复本：4 Frank S. Beckman.
Addison-Wesley, c1980.
(0) 馆藏 -
西文图书4.Introduction to automata theory, languages, and computation / TP27/E4
馆藏复本：4
可借复本：4 John E. Hopcroft, Jeffrey D. Ullman.
Addison-Wesley, c1979.
(0) 馆藏 -
西文图书5.Grammars for programming languages / TP312/E10:4
馆藏复本：4
可借复本：4 J. Craig Cleaveland and Robert C. Uzgalis.
Elsevier, c1977.
(0) 馆藏 -
西文图书6.Theory of machines and computations : proceedings / TP301/E2#1
馆藏复本：2
可借复本：2 edited by Zvi Kohavi, Azaria Paz.
Academic Press, 1971.
(0) 馆藏 -
西文图书7.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) 馆藏 -
西文图书8.Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979 / TP3-53/E5
馆藏复本：1
可借复本：1 edited by K. Weihrauch.
Springer-Verlag, 1979.
(0) 馆藏 -
西文图书9.Jewels of formal language theory / TP312/E23
馆藏复本：1
可借复本：1 Arto Salomaa.
Computer Science Press, c1981.
(0) 馆藏 -
西文图书10.The mathematical theory of L systems / N94/E3
馆藏复本：1
可借复本：1 Grzegorz Rozenberg, Arto Salomaa.
Academic Press, 1980.
(0) 馆藏
