東京農工大学が所蔵する図書や雑誌、電子ブックを検索します。
全国の大学図書館等が所蔵する図書や雑誌を検索します。
国内の学術論文を検索します。
国内の学術機関リポジトリに登録された学術情報を検索します。
国立国会図書館や公共図書館等が提供する資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Formal languages)
該当件数:13件
Automata, languages, and machines / Samuel Eilenberg
v. A,v. B. - New York : Academic Press , 1974-1976. - (Pure and applied mathematics ; 59)
図書
Grammars for programming languages / J. Craig Cleaveland, Robert C. Uzgalis
: pbk. - New York : Elsevier , c1977. - (Elsevier computer science library ; . Programming languages series ; 4)
Automatic syntactic analysis / [by] J.M. Foster
: uk,: us. - London : Macdonald & Co.. - New York : American Elsevier , 1970. - (Computer monographs ; 7)
Algebraic theory of automata and languages / Masami Ito
River Edge, N.J. : World Scientific , c2004
The mathematical theory of L systems / Grzegorz Rozenberg, Arto Salomaa
New York : Academic Press , 1980. - (Pure and applied mathematics ; 90)
Simple program schemes and formal languages / Joost Engelfriet
: gw,: us. - Berlin ; New York : Springer-Verlag , 1974. - (Lecture notes in computer science ; 20)
Introduction to automata theory, languages, and computation / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
2nd ed. - Boston : Addison-Wesley , c2001
Syntactic pattern recognition : an introduction / Rafael C. Gonzalez, Michael G. Thomason
: pbk. - 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)
Theoretical computer science : 3rd GI conference, Darmstadt, March 28-30, 1977 / edited by H. Tzschach, H. Waldschmidt, H. K.-G. Walter on behalf of the GI
: gw,: us. - Berlin ; New York : Springer-Verlag , 1977. - (Lecture notes in computer science ; 48)
Computers in language research 2 / edited by Walter A. Sedelow, Jr., Sally Yeates Sedelow
Berlin ; New York : Mouton , c1983. - (Trends in linguistics ; . Studies and monographs ; 19)
Automata, languages and programming : 2nd colloquium, University of Saarbrücken, July 29-August 2, 1974 / edited by Jacques Loeckx
: gw,: us. - Berlin ; New York : Springer-Verlag , 1974. - (Lecture notes in computer science ; 14)
Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974 / edited by A. Blikle
: gw,: us. - Berlin ; New York : Springer-Verlag , 1975. - (Lecture notes in computer science ; 28)
Theoretical computer science
(1975)-. - Amsterdam : Elsevier Science Publishers
雑誌