上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: #Formal languages)
該当件数:70件
Formal languages / Arto Salomaa
New York : Academic Press , 1973. - (ACM monograph series)
図書 <1001327945>
Word, language, grammar / G. Rozenberg, A. Salomaa, (eds.)
Berlin : Springer , c1997. - (Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 1)
図書 <1001090542>
Linear modeling : background and application / G. Rozenberg, A. Salomaa, (eds.)
Berlin : Springer , c1997. - (Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 2)
図書 <1001090564>
Beyond words / G. Rozenberg, A. Salomaa, (eds.)
Berlin : Springer , c1997. - (Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 3)
図書 <1001090570>
Homomorphismen und Reduktionen linearer Sprachen / F. Bartholomes, G. Hotz
Berlin : Springer , 1970. - (Lecture notes in operations research and mathematical systems ; 32)
図書 <1000316608>
Grammar and L forms : an introduction / Derick Wood
Berlin ; New York : Springer-Verlag , 1980. - (Lecture notes in computer science. ; 91)
図書 <1000586764>
Marcus contextual grammars / by Gheorghe Păun
Dordrecht ; Boston : Kluwer Academic Publishers , 1997. - (Studies in linguistics and philosophy ; v. 67)
図書 <1000556402>
Introduction to formal languages / György E. Révész
New York : McGraw-Hill , c1983. - (McGraw-Hill computer science series.)
図書 <1000626198>
A first course in formal language theory / V.J. Rayward-Smith
Oxford ; Boston ; St. Louis, Mo. : Blackwell Scientific Publications : Blackwell Mosby Book Distributors , 1983. - (Computer science texts.)
図書 <1000626641>
Initiation mathématique aux grammaires formelles / par Michel Hughes
Paris : Larousse , c1972. - (Langue et langage)
図書 <1002640492>
Theory of finite automata : with an introduction to formal languages / John Carroll, Darrell Long
: pbk.. - Englewood Cliffs, N.J. : Prentice Hall , c1989
図書 <1001985090>
Developments in language theory : 5th international confernce, DLT 2001, Wien, Austria, July 16-21, 2001 : revised papers / Werner Kuich, Grzegorz Rozenberg, Arto Salomaa (Eds.)
Berlin ; New York : Springer , c2002. - (Lecture notes in computer science ; 2295 . Lecture notes in artificial intelligence)
図書 <1001367911>
The mathematical theory of context free languages / Seymour Ginsburg
New York : McGraw-Hill , c1966
図書 <1001272466>
A second course in formal languages and automata theory / Jeffrey Shallit
: hbk. - Cambridge ; New York : Cambridge University Press , 2009
図書 <1001990503>
Formal language theory : perspectives and open problems / edited by Ronald V. Book
New York : Academic Press , c1980
図書 <1001086849>
Formale Logik und Grammatik / Hans Jürgen Heringer
Tübingen : M. Niemeyer , 1972. - (Germanistische Arbeitshefte ; 6)
図書 <1000434370>
Automata and languages / John M. Howie
h/b,p/b. - Oxford : Clarendon Press. - New York : Oxford University Press , 1991
図書 <1000438238>
Combinatorics on traces / Volker Diekert
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990. - (Lecture notes in computer science ; 454)
図書 <1000394060>
Leçons sur la théorie des automates mathématiques / C. Boucher
: gw,: us. - Berlin ; New York : Springer-Verlag , 1971. - (Lecture notes in operations research and mathematical systems ; 46)
図書 <1000317107>
Automata, languages, and machines / Samuel Eilenberg
v. A,v. B. - New York : Academic Press , 1974-1976. - (Pure and applied mathematics (Academic Press) ; 59)
図書 <1000322620>