close
1.

図書
図書
1. Automata, languages and programming : 37th International Colloquium, ICALP 2010 Bordeaux, France, July 6-10, 2010 : proceedings (pt. 1 ; pt. 2)
Samson Abramsky ... [et al.] (eds.)
出版情報: Berlin : Springer, c2010
シリーズ名: Lecture notes in computer science ; 6198-6199 . Advanced research in computing and software science
所蔵情報: loading…
2.

図書
図書
2. Automata, languages and programming : 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings (pt. 1 ; pt. 2)
Susanne Albers ... [et al.] (eds.)
出版情報: Berlin : Springer, c2009
シリーズ名: Lecture notes in computer science ; 5555-5556 . Advanced research in computing and software science
所蔵情報: loading…
3.

図書
図書
3. Automata, languages and programming : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008 : proceedings (pt. 1 ; pt. 2)
Luca Aceto ... [et al.] (eds.)
出版情報: Berlin : Springer, c2008
シリーズ名: Lecture notes in computer science ; 5125-5126
所蔵情報: loading…
4.

図書
図書
4. Automata, languages and programming : 34th International Colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007 : proceedings
Lars Arge ... [et al.] (eds.)
出版情報: Berlin : Springer, c2007
シリーズ名: Lecture notes in computer science ; 4596
所蔵情報: loading…
5.

図書
図書
5. Automata, languages and programming : 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006 : proceedings (pt. 1 ; pt. 2)
Michele Bugliesi ... [et al.] (eds.)
出版情報: Berlin : Springer, c2006
シリーズ名: Lecture notes in computer science / スリーエーネットワーク編著 ; 4051-4052
所蔵情報: loading…
6.

図書
図書
6. Automata, languages and programming : 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005 : proceedings
Luís Caires ... [et al.] (eds.)
出版情報: Berlin : Springer, c2005
シリーズ名: Lecture notes in computer science ; 3580
所蔵情報: loading…
7.

図書
図書
7. Automata, languages and programming : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings
Josep Díaz ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004
シリーズ名: Lecture notes in computer science ; 3142
所蔵情報: loading…
8.

図書
図書
8. Automata, languages and programming : 30th International Colloquium, ICALP 2003, Eindhoven, the Netherlands, June 30-July 4, 2003 : proceedings
Jos C.M. Baeten ... [et al.] (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003
シリーズ名: Lecture notes in computer science ; 2719
所蔵情報: loading…
9.

図書
図書
9. Automata, languages and programming : 29th International Colloquium, ICALP 2002, Málaga, Spain, July 8-13, 2002 : proceedings
Peter Widmayer ... [et al.] (eds.)
出版情報: Berlin : Springer, c2002
シリーズ名: Lecture notes in computer science ; 2380
所蔵情報: loading…
10.

図書
図書
10. 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
所蔵情報: loading…
11.

図書
図書
11. 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
所蔵情報: loading…
12.

図書
図書
12. 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
所蔵情報: loading…
13.

図書
図書
13. 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
所蔵情報: loading…
14.

図書
図書
14. 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
所蔵情報: loading…
15.

図書
図書
15. 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
所蔵情報: loading…
16.

図書
図書
16. 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
所蔵情報: loading…
17.

図書
図書
17. 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
所蔵情報: loading…
18.

図書
図書
18. Automata, languages and programming : 21st International Colloquium, ICALP 94, Jerusalem, Israel, July 11-14, 1994 : proceedings (: gw ; : us)
Serge Abiteboul, Eli Shamir (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 820
所蔵情報: loading…
19.

図書
図書
19. Automata, languages and programming : 20th International Colloquium, ICALP93, Lund, Sweden, July 5-9, 1993 : proceedings (: gw ; : us)
A. Lingas, R. Karlsson, S. Carlsson (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 700
所蔵情報: loading…
20.

図書
図書
20. Automata, languages, and programming : 19th International Colloquium, Wien, Austria, July 13-17, 1992 : proceedings (: gw ; : us)
W. Kuich (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1992
シリーズ名: Lecture notes in computer science ; 623
所蔵情報: loading…
21.

図書
図書
21. Automata, languages and programming : 18th International Colloquium, Madrid, Spain, July 8-12, 1991 : proceedings (: gw ; : us)
J. Leach Albert, B. Monien, M. Rodríguez Artalejo, eds
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 510
所蔵情報: loading…
22.

図書
図書
22. Automata, languages and programming : 17th international colloquium, Warwick University, England, July 16-20, 1990 : proceedings (: gw ; : us)
M.S. Paterson (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 443
所蔵情報: loading…
23.

図書
図書
23. Automata, languages and programming : 16th international colloquium, Stresa, Italy, July 11-15, 1989 : proceedings (: gw ; : us)
G. Ausiello, M. Dezani-Ciancaglini, S. Ronchi Della Rocca (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989
シリーズ名: Lecture notes in computer science ; 372
所蔵情報: loading…
24.

図書
図書
24. Automata, languages and programming : 15th International Colloquium, Tampere, Finland, July 11-15, 1988 : proceedings (: gw ; : us)
Timo Lepistö, Arto Salomaa (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988
シリーズ名: Lecture notes in computer science ; 317
所蔵情報: loading…
25.

図書
図書
25. Automata, languages and programming : 14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 : proceedings (: gw ; : us)
Thomas Ottmann, (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名: Lecture notes in computer science ; 267
所蔵情報: loading…
26.

図書
図書
26. Automata, languages and programming : 13th International Colloquium, Rennes, France, July 15-19, 1986 : proceedings (: gw ; : us)
edited by Laurent Kott
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986
シリーズ名: Lecture notes in computer science ; 226
所蔵情報: loading…
27.

図書
図書
27. Automata, languages and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985 (: gw ; : us)
edited by Wilfried Brauer
出版情報: Berlin ; Tokyo : Springer-Verlag, c1985
シリーズ名: Lecture notes in computer science ; 194
所蔵情報: loading…
28.

図書
図書
28. Automata, languages, and programming : 11th colloquium, Antwerp, Belgium, July 16-20, 1984 (: gw ; : us)
edited by Jan Paredaens
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984
シリーズ名: Lecture notes in computer science ; 172
所蔵情報: loading…
29.

図書
図書
29. Automata, languages and programming : 10th colloquium, Barcelona, Spain, July 18-22, 1983 (: gw ; : us)
edited by J. Díaz
出版情報: Berlin ; Tokyo : Springer-Verlag, 1983
シリーズ名: Lecture notes in computer science ; 154
所蔵情報: loading…
30.

図書
図書
30. Automata, languages, and programming : ninth colloquium, Aarhus, Denmark, July 12-16, 1982 (: gw ; : us)
edited by M. Nielsen and E.M. Schmidt
出版情報: Berlin ; New York : Springer-Verlag, 1982
シリーズ名: Lecture notes in computer science ; 140
所蔵情報: loading…
31.

図書
図書
31. Automata, languages and programming : eighth colloquium, Acre (Akko), Israel, July 13-17, 1981 (: gw ; : us)
edited by S. Even and O. Kariv
出版情報: Berlin : Springer-Verlag, 1981
シリーズ名: Lecture notes in computer science ; 115
所蔵情報: loading…
32.

図書
図書
32. Automata, languages and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980 (: gw ; : us)
edited by J.W. de Bakker and J. van Leeuwen
出版情報: Berlin : Springer-Verlag, 1980
シリーズ名: Lecture notes in computer science ; 85
所蔵情報: loading…
33.

図書
図書
33. Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 (: gw ; : us)
edited by Hermann A. Maurer
出版情報: Berlin : Springer-Verlag, 1979
シリーズ名: Lecture notes in computer science ; 71
所蔵情報: loading…
34.

図書
図書
34. Automata, languages and programming : fifth colloquium, Udine, Italy, July 17-21, 1978 (: gw ; : us)
edited by G. Ausiello and C. Böhm
出版情報: Berlin ; New York : Springer-Verlag, 1978
シリーズ名: Lecture notes in computer science ; 62
所蔵情報: loading…
35.

図書
図書
35. Automata, languages and programming : fourth colloquium, University of Turku, Finland, July 18-22, 1977 (: gw ; : us)
edited by Arto Salomaa and Magnus Steinby
出版情報: Berlin ; New York : Springer-Verlag, 1977
シリーズ名: Lecture notes in computer science ; 52
所蔵情報: loading…
36.

図書
図書
36. Automata, languages and programming : 2nd colloquium, University of Saarbrücken, July 29-August 2, 1974 (: gw ; : us)
edited by Jacques Loeckx
出版情報: Berlin ; New York : Springer-Verlag, 1974
シリーズ名: Lecture notes in computer science ; 14
所蔵情報: loading…