上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(著者名に左の語を含む: #International Colloquium on Automata Languages and Programming)
該当件数:22件
Automata, languages and programming : 17th international colloquium, Warwick University, England, July 16-20, 1990 : proceedings / M.S. Paterson (ed.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990. - (Lecture notes in computer science ; 443)
図書 <1000382543>
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 : 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 : 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>
Automata, languages and programming : fourth colloquium, University of Turku, Finland, July 18-22, 1977 / edited by Arto Salomaa and Magnus Steinby
: gw,: us. - Berlin ; New York : Springer-Verlag , 1977. - (Lecture notes in computer science ; 52)
図書 <1000313225>
Automata, languages and programming : eighth colloquium, Acre (Akko), Israel, July 13-17, 1981 / edited by S. Even and O. Kariv
: gw,: us. - Berlin : Springer-Verlag , 1981. - (Lecture notes in computer science ; 115)
図書 <1000313259>
Automata, languages and programming : fifth colloquium, Udine, Italy, July 17-21, 1978 / edited by G. Ausiello and C. Böhm
: gw,: us. - Berlin : Springer-Verlag , 1978. - (Lecture notes in computer science ; 62)
図書 <1000313302>
Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 / edited by Hermann A. Maurer
: gw,: us. - Berlin : Springer-Verlag , 1979. - (Lecture notes in computer science ; 71)
図書 <1000313394>
Automata, languages and programming : 22nd International Colloquium, ICALP 95, Szeged, Hungary, July 10-14, 1995 : proceedings / Zoltán Fülöp, Ferenc Gécseg (eds.)
Berlin ; New York ; Tokyo : Springer , c1995. - (Lecture notes in computer science ; 944)
図書 <1000523855>
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 : 18th International Colloquium, Madrid, Spain, July 8-12, 1991 : proceedings / J. Leach Albert, B. Monien, M. Rodríguez Artalejo, eds
: Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1991. - (Lecture notes in computer science ; 510)
図書 <1000428516>
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 : 13th International Colloquium, Rennes, France, July 15-19, 1986 : proceedings / edited by Laurent Kott
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986. - (Lecture notes in computer science ; 226)
図書 <1000294909>
Automata, languages and programming : 24th International Colloquium, ICALP '97, Bologna, Italy, July 7-11, 1997 : proceedings / Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela (eds.)
Berlin ; Tokyo : Springer , c1997. - (Lecture notes in computer science ; 1256)
図書 <1000554017>
Approximation algorithms for combinatorial optimization : international workshop APPROX '98, Aalborg, Denmark, July 18-19, 1998 : proceedings / Klaus Jansen, José Rolim (eds.)
Berlin : Springer , c1998. - (Lecture notes in computer science ; 1444)
図書 <1000560381>
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 ; Tokyo : Springer , c1999. - (Lecture notes in computer science ; 1644)
図書 <1001063848>
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 : 25th International Colloquium, ICALP '98, Aalborg, Denmark, July 13-17, 1998 : proceedings / Kim G. Larsen, Sven Skyum, Glynn Winskel (eds.)
Berlin ; Tokyo : Springer , c1998. - (Lecture notes in computer science ; 1443)
図書 <1000560344>
Automata, languages and programming : 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings / Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2076)
図書 <1001293716>
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>