上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: Formal languages Congresses)
該当件数:34件
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>
Formal language theory : perspectives and open problems / edited by Ronald V. Book
New York : Academic Press , c1980
図書 <1001086849>
Theoretical computer science : 6th GI-conference, Dortmund, January 5-7, 1983 / edited by A.B. Cremers and H.P. Kriegel
Berlin ; New York : Springer-Verlag , 1982. - (Lecture notes in computer science. ; 145)
図書 <1000586730>
Theoretical computer science : 5th GI-conference, Karlsruhe, March 23-25, 1981 / edited by Peter Deussen
Berlin ; New York : Springer-Verlag , 1981. - (Lecture notes in computer science. ; 104)
図書 <1000586787>
Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979 / edited by K. Weihrauch
Berlin ; New York : Springer-Verlag , 1979. - (Lecture notes in computer science. ; 67)
図書 <1000586944>
Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975 / edited by H. Brakhage on behalf of GI
Berlin ; New York : Springer-Verlag , 1975. - (Lecture notes in computer science. ; 33)
図書 <1000586997>
Theoretical computer science / 3rd GI conference, Darmstadt, March 28-30, 1977 ; edited by H. Tzschach, H. Waldschmidt and H. K.-G. Walter on behalf of the GI. --
Berlin ; New York : Springer-Verlag , 1977. - (Lecture notes in computer science. ; 48)
図書 <1000587011>
Methods of algorithmic language implementation / edited by A. Ershov and C. H. A. Koster
Berlin ; New York : Springer-Verlag , 1977. - (Lecture notes in computer science. ; 47)
図書 <1000586928>
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)
図書 <1001195278>
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)
図書 <1000349087>
Automata, languages, and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985 / edited by Wilfried Brauer
Berlin ; New York : Springer-Verlag , c1985. - (Lecture notes in computer science. ; 194)
図書 <1000586933>
Automata, languages, and programming : 14th international colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 : proceedings / Thomas Ottmann, ed
Berlin ; New York : Springer-Verlag , c1987. - (Lecture notes in computer science. ; 267)
図書 <1000587376>
Automata, languages and programming : 23rd International Colloquium, ICALP '96 Paderborn, Germany, July 8-12, 1996 : proceedings / F. Meyer auf der Heide, B. Monien, (eds.)
Berlin ; Tokyo : Springer , c1996. - (Lecture notes in computer science ; 1099)
図書 <1000540900>
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)
図書 <1001167758>
Automata, languages and programming : 21st International Colloquium, ICALP 94, Jerusalem, Israel, July 11-14, 1994 : proceedings / Serge Abiteboul, Eli Shamir (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 820)
図書 <1000501772>
Automata, languages, and programming : 19th International Colloquium, Wien, Austria, July 13-17, 1992 : proceedings / W. Kuich (ed.)
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 623)
図書 <1000451787>
Automata, languages and programming : 20th International Colloquium, ICALP93, Lund, Sweden, July 5-9, 1993 : proceedings / A. Lingas, R. Karlsson, S. Carlsson (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1993. - (Lecture notes in computer science ; 700)
図書 <1000477576>
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)
図書 <1000324649>
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)
図書 <1000329153>
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)
図書 <1000329662>