1.

図書
図書
1. Introduction to formal language theory
Michael A. Harrison
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., c1978
シリーズ名: Addison-Wesley series in computer science
所蔵情報: loading…
2.

図書
図書
2. Picture languages : formal models for picture recognition
Azriel Rosenfeld
出版情報: New York : Academic Press, 1979
シリーズ名: Computer science and applied mathematics
所蔵情報: loading…
3.

図書
図書
3. Formal languages and their relation to automata
John E. Hopcroft, Jeffrey D. Ullman
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., c1969
シリーズ名: Addison-Wesley series in computer science and information processing
所蔵情報: loading…
4.

図書
図書
4. Automata theory: machines and languages
[by] Richard Y. Kain
出版情報: New York : McGraw-Hill, [1972]
シリーズ名: McGraw-Hill computer science series
所蔵情報: loading…
5.

図書
図書
5. Introduction to automata theory, languages, and computation
John E. Hopcroft, Jeffrey D. Ullman
出版情報: Reading, Mass. : Addison-Wesley, c1979
シリーズ名: Addison-Wesley series in computer science
所蔵情報: loading…
6.

図書
図書
6. A basis for theoretical computer science
Michael A. Arbib, A.J. Kfoury, Robert N. Moll
出版情報: New York : Springer-Verlag, c1981
シリーズ名: Texts and monographs in computer science ; . The AKM series in theoretical computer science
所蔵情報: loading…
7.

図書
図書
7. Theory of automata
Arto Salomaa
出版情報: Oxford ; New York : Pergamon Press, 1969
シリーズ名: International series of monographs on pure and applied mathematics ; v.100
所蔵情報: loading…
8.

図書
図書
8. Introduction to the theory of computation
Erwin Engeler
出版情報: New York : Academic Press, c1973
シリーズ名: Computer science and applied mathematics
所蔵情報: loading…
9.

図書
図書
9. Machines, languages, and computation
Peter J. Denning, Jack B. Dennis, Joseph E. Qualitz
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1978
所蔵情報: loading…
10.

図書
図書
10. Discrete mathematics: applied algebra for computer and information science
[by] Leonard S. Bobrow [and] Michael A. Arbib
出版情報: Philadelphia : Saunders, c1974
所蔵情報: loading…
11.

図書
図書
11. A course in formal languages, automata and groups (: pbk)
Ian Chiswell
出版情報: London : Springer, c2009
シリーズ名: Universitext
所蔵情報: loading…
12.

図書
図書
12. The mathematical theory of L systems
Grzegorz Rozenberg, Arto Salomaa
出版情報: New York : Academic Press, 1980
シリーズ名: Pure and applied mathematics ; 90
所蔵情報: loading…
13.

図書
図書
13. Formal languages and compilation (: hard)
by Stefano Crespi Reghizzi
出版情報: London : Springer, c2009
シリーズ名: Texts in computer science
所蔵情報: loading…
14.

図書
図書
14. Term graph rewriting : theory and practice
edited by M.R. Sleep and M.J. Plasmeijer and M.C. van Eekelen
出版情報: Chichester ; New York : Wiley, c1993
シリーズ名: Wiley professional computing
所蔵情報: loading…
15.

図書
図書
15. Word, language, grammar
G. Rozenberg, A. Salomaa, (eds.)
出版情報: Berlin : Springer, c1997
シリーズ名: Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 1
所蔵情報: loading…
16.

図書
図書
16. Linear modeling : background and application
G. Rozenberg, A. Salomaa, (eds.)
出版情報: Berlin : Springer, c1997
シリーズ名: Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 2
所蔵情報: loading…
17.

図書
図書
17. Beyond words
G. Rozenberg, A. Salomaa, (eds.)
出版情報: Berlin : Springer, c1997
シリーズ名: Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 3
所蔵情報: loading…
18.

図書
図書
18. Un code pour les graphes planaires et ses applications
Robert Cori
出版情報: [Paris] : Société mathématique de France, 1975
シリーズ名: Astérisque ; 27
所蔵情報: loading…
19.

図書
図書
19. Word processing in groups
David B.A. Epstein, with James W. Cannon ... [et al.]
出版情報: Boston : Jones and Bartlett Publishers, c1992
所蔵情報: loading…
20.

図書
図書
20. Categorical combinators, sequential algorithms, and functional programming. 2nd ed (: us ; : sz)
Pierre-Louis Curien
出版情報: Boston : Birkhäuser, c1993
シリーズ名: Progress in theoretical computer science
所蔵情報: loading…
21.

図書
図書
21. A calculus of communicating systems (: gw ; : us)
Robin Milner
出版情報: Berlin ; New York : Springer-Verlag, 1980
シリーズ名: Lecture notes in computer science ; 92
所蔵情報: loading…
22.

図書
図書
22. Semirings, automata, languages (: us ; : gw)
Werner Kuich, Arto Salomaa
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986
シリーズ名: EATCS monographs on theoretical computer science ; v. 5
所蔵情報: loading…
23.

図書
図書
23. Automata-theoretic aspects of formal power series (: us ; : gw)
Arto Salomaa, Matti Soittola
出版情報: New York : Springer-Verlag, 1978
シリーズ名: Texts and monographs in computer science
所蔵情報: loading…
24.

図書
図書
24. Syntactic pattern recognition : an introduction (: pbk)
Rafael C. Gonzalez, Michael G. Thomason
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., Advanced Book Program, 1978
シリーズ名: Applied mathematics and computation : a series of graduate textbooks, monographs, reference works / Series Editor Robert Kalaba ; no. 14
所蔵情報: loading…
25.

図書
図書
25. Grammars for programming languages (: pbk)
J. Craig Cleaveland, Robert C. Uzgalis
出版情報: New York : Elsevier, c1977
シリーズ名: Elsevier computer science library ; . Programming languages series ; 4
所蔵情報: loading…
26.

図書
図書
26. Introduction to formal grammars
M. Gross, A. Lentin ; with a preface by Noam Chomsky ; translated by M. Salkoff
出版情報: Berlin ; New York : Springer-Verlag, 1970
所蔵情報: loading…
27.

図書
図書
27. Automata, languages, and machines (v. A ; v. B)
Samuel Eilenberg
出版情報: New York : Academic Press, 1974-1976
シリーズ名: Pure and applied mathematics ; 59
所蔵情報: loading…
28.

図書
図書
28. Computability, complexity, and languages : fundamentals of theoretical computer science
Martin D. Davis, Elaine J. Weyuker
出版情報: Orlando, Fla. : Academic Press, 1983
シリーズ名: Computer science and applied mathematics
所蔵情報: loading…
29.

図書
図書
29. Introduction to automata theory, languages, and computation. 2nd ed
John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
出版情報: Boston : Addison-Wesley, c2001
所蔵情報: loading…
30.

図書
図書
30. Introduction to automata theory, languages, and computation. 3rd ed (: hbk ; : student access kit ; : Pearson international ed.)
by John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
出版情報: Boston : Pearson Addison-Wesley, c2007
所蔵情報: loading…