東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(件名: #Formal languages)
該当件数:67件
Word, language, grammar / G. Rozenberg, A. Salomaa, (eds.)
Berlin : Springer , c1997. - (Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 1)
図書
Beyond words / G. Rozenberg, A. Salomaa, (eds.)
Berlin : Springer , c1997. - (Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 3)
Linear modeling : background and application / G. Rozenberg, A. Salomaa, (eds.)
Berlin : Springer , c1997. - (Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 2)
Introduction to formal grammars / M. Gross, A. Lentin ; with a preface by Noam Chomsky ; translated by M. Salkoff
Berlin : Springer-Verlag , 1970. - New York
Grammar and L forms : an introduction / Derick Wood
: gw,: us. - Berlin ; New York : Springer-Verlag , 1980. - (Lecture notes in computer science ; 91)
Introduction to formal language theory / Michael A. Harrison
Reading, Mass. : Addison-Wesley Pub. Co. , c1978. - (Addison-Wesley series in computer science)
Introduction to formal languages / György E. Révész
International student ed. - New York : McGraw-Hill , c1983. - Tokyo. - (McGraw-Hill computer science series)
Array grammars, patterns and recognizers / editor, P.S.P. Wang
Singapore : World Scientific , c1989. - (Series in computer science ; v. 18)
International student ed. - New York : McGraw-Hill , c1985. - Tokyo. - (McGraw-Hill computer science series)
Regulated rewriting in formal language theory / Jürgen Dassow, Gheorghe Păun
Berlin : Springer-Verlag , c1989. - New York. - (EATCS monographs on theoretical computer science ; v. 18)
LR(k) and LL(k) parsing / Seppo Sippu, Eljas Soisalon-Soininen
Berlin : Springer-Verlag , c1990. - Tokyo. - (EATCS monographs on theoretical computer science ; v. 20 . Parsing theory ; v. 2)
The mathematical theory of L systems / Grzegorz Rozenberg, Arto Salomaa
New York : Academic Press , 1980. - (Pure and applied mathematics ; 90)
Finiteness and regularity in semigroups and formal languages / Aldo de Luca, Stefano Varricchio
: pbk. - Berlin ; New York : Springer , 1999. - (Monographs in theoretical computer science : an EATCS series)
Algebraic semantics / Irène Guessarian
: gw,: us. - Berlin ; New York : Springer-Verlag , 1981. - (Lecture notes in computer science ; 99)
Context-free grammars : covers, normal forms, and parsing / Anton Nijholt
: gw,: us. - Berlin ; New York : Springer-Verlag , 1980. - (Lecture notes in computer science ; 93)
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)
Languages and parsing / Seppo Sippu, Eljas Soisalon-Soininen
Berlin : Springer-Verlag , c1988. - Tokyo. - (EATCS monographs on theoretical computer science ; v. 15 . Parsing theory ; v. 1)
Groups, languages and automata / Derek F. Holt, Sarah Rees, Claas E. Röver
: hardback,: pbk. - Cambridge : Cambridge University Press , 2017. - (London Mathematical Society student texts ; 88)
A course in formal languages, automata and groups / Ian Chiswell
: pbk. - London : Springer , c2009. - (Universitext)
New trends in formal languages : control, cooperation, and combinatorics / Gheorghe Păun, Arto Salomaa (eds.)
Berlin : Springer , c1997. - New York. - (Lecture notes in computer science ; 1218)
Rational series and their languages / Jean Berstel, Christophe Reutenauer
Berlin : Springer-Verlag , c1988. - Tokyo. - (EATCS monographs on theoretical computer science ; v. 12)
Theory of language syntax : categorial approach / Urszula Wybraniec-Skardowska
Dordrecht : Kluwer Academic Publishers , c1991. - Boston. - (Nijhoff international philosophy series ; v. 42)
Computing meaning / edited by Harry Bunt and Reinhard Muskens
Dordrecht : Kluwer Academic Publishers , c1999. - (Studies in linguistics and philosophy ; v. 73)
Methods of algorithmic language implementation / edited by A. Ershov and C.H.A. Koster
: gw,: us. - Berlin ; New York : Springer-Verlag , 1977. - (Lecture notes in computer science ; 47)
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)
Theoretical computer science : 6th GI-conference, Dortmund, January 5-7, 1983 / edited by A.B. Cremers and H.P. Kriegel
: gw,: us. - Berlin : Springer-Verlag , 1982. - (Lecture notes in computer science ; 145)
Mathematical foundations of computer science 1975 : 4th Symposium, Mariánské Lázně, September 1-5, 1975 / edited by J. Bečvář
Berlin : New York , 1975. - : Springer-Verlag. - (Lecture notes in computer science ; 32)
Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975 / edited by H. Brakhage on behalf of GI
: gw,: us. - Berlin ; New York : Springer-Verlag , 1975. - (Lecture notes in computer science ; 33)
Theoretical computer science : 4th GI Conference, Aachen, March 26-28, 1979 / edited by K. Weihrauch
: gw,: us. - Berlin ; New York : Springer-Verlag , 1979. - (Lecture notes in computer science ; 67)
Theoretical computer science : 5th GI-Conference, Karlsruhe, March 23-25, 1981 / edited by Peter Deussen
: gw,: us. - Berlin ; New York : Springer-Verlag , 1981. - (Lecture notes in computer science ; 104)
Grammatical inference : algorithms and applications : 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 : proceedings / Arlindo L. Oliveira (ed.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1891 . Lecture notes in artificial intelligence)
Grammatical inference and applications : second International Colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedings / Rafael C. Carrasco, Jose Oncina, (eds.)
Berlin : Springer-Verlag , c1994. - New York. - (Lecture notes in computer science ; 862 . Lecture notes in artificial intelligence)
Introduction to Montague semantics / by David R. Dowty, Robert E. Wall and Stanley Peters
: pbk. - [London] : Springer , [200-]. - (Classic titles in linguistics)
Automata, languages and programming : 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 : proceedings / Ugo Montanari, José D.P. Rolim, Emo Welzl (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1853)
Studies in formal semantics : intensionality, temporality, negation / editors, Franz Guenthner, Christian Rohrer
Amsterdam : North-Holland. - New York : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland , 1978. - (North-Holland linguistic series ; 35)
Automata, languages and programming : fifth colloquium, Udine, Italy, July 17-21, 1978 / edited by G. Ausiello and C. Böhm
: gw,: us. - Berlin ; New York : Springer-Verlag , 1978. - (Lecture notes in computer science ; 62)
Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974 / edited by A. Blikle
Berlin : Springer-Verlag , 1975. - New York. - (Lecture notes in computer science ; 28)
Mathematical foundations of computer science, 1976 : proceedings, 5th Symposium, Gdańsk, September 6-10, 1976 / edited by A. Mazurkiewicz
: gw,: us. - Berlin ; New York : Springer-Verlag , 1976. - (Lecture notes in computer science ; 45)
Automata, languages and programming : 16th international colloquium, Stresa, Italy, July 11-15, 1989 : proceedings / G. Ausiello, M. Dezani-Ciancaglini, S. Ronchi Della Rocca (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 372)
Mathematical foundations of computer science 1986 : proceedings of the 12th Symposium, Bratislava, Czechoslovakia, August 25-29, 1986 / edited by J. Gruska, B. Rovan, and J. Wiedermann
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986. - (Lecture notes in computer science ; 233)
Automata, languages and programming : 15th International Colloquium, Tampere, Finland, July 11-15, 1988 : proceedings / Timo Lepistö, Arto Salomaa (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988. - (Lecture notes in computer science ; 317)
Mathematical foundations of computer science 1977 : proceedings, 6th Symposium, Tatranská Lomnica, September 5-9, 1977 / edited by J. Gruska
: gw,: us. - Berlin ; New York : Springer-Verlag , 1977. - (Lecture notes in computer science ; 53)
Automata, languages and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980 / edited by J.W. de Bakker and J. van Leeuwen
: gw,: us. - Berlin : Springer-Verlag , 1980. - (Lecture notes in computer science ; 85)
Automata, languages and programming : 25th International Colloquium, ICALP '98, Aalborg, Denmark, July 13-17, 1998 : proceedings / Kim G. Larsen, Sven Skyum, Glynn Winskel (eds.)
Berlin : Springer , c1998. - Tokyo. - (Lecture notes in computer science ; 1443)
Automata, languages and programming : 26th International Colloquium, ICALP '99, Prague, Czech Republic, July 11-15, 1999 : proceedings / Jiří Wiedermann, Peter van Emde Boas, Mogens Nielsen (eds.)
Berlin : Springer , c1999. - (Lecture notes in computer science ; 1644)
Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 13-17, 1992 : proceedings / W. Kuich (ed.)
Berlin : Springer-Verlag , c1992. - New York. - (Lecture notes in computer science ; 623)