著者典拠情報

著者標目形：
European Association for Theoretical Computer Science
属性：
Corporate
から見よ参照形：
EATCS
E.A.T.C.S
European Association on Theoretical Computer Science
注記：
Colloquium on Automata, Languages and Programming, 2d, University off Saarbrücken, 1974. Automata ... 1974
Automata, languages, and programming, c1986: CIP pref. (European Association on Theoretical Computer Science) text (European Association for Theoretical Computer Science)
著者典拠ID：
DA00338459


1.

図書
図書
1. Proceedings, 18th Annual IEEE Symposium on Logic in Computer Science, 22-25 June 2003, Ottawa, Canada
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic, European Association for Theoretical Computer Science ; with support from Fields Institute for Research in Mathematical Sciences, Le Centre de Recherches Mathématiques, University of Ottawa
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c2003
所蔵情報: 図書館
2.

図書
図書
2. 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
所蔵情報: 図書館
3.

図書
図書
3. Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, June 29-July 2, 1997, Warsaw, Poland (: paper ; : case ; : microfiche)
organized by Warsaw University ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with The Special Interest Group on Automata and Computability Theory of the Association for Computing Machinery, The Association for Symbolic Logic, The European Association for Theoretical Computer Science ; with support from BRICS, University of Aarhus ... [et. al]
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1997
所蔵情報: 図書館
4.

図書
図書
4. Proceedings, Eleventh Annual IEEE Conference on Computational Complexity (formerly: Structure in Complexity Theory Conference), May 24-27, 1996, Philadelphia, Pennsylvania (: soft. ; : case.)
sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT, EATCS ; with support from State University of New York at Buffalo ; edited by Steve Homer and Jin-Yi Cai
出版情報: Los Alamitos : IEEE Computer Society Press, c1996
所蔵情報: 図書館
5.

図書
図書
5. 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
所蔵情報: 図書館
6.

図書
図書
6. 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
所蔵情報: 図書館
7.

図書
図書
7. 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
所蔵情報: 図書館
8.

図書
図書
8. 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
所蔵情報: 図書館
9.

図書
図書
9. 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
所蔵情報: 図書館
10.

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

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

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

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

図書
図書
14. Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings (: gw ; : us)
edited by G. Kahn, D.B. MacQueen, and G. Plotkin
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984
シリーズ名: Lecture notes in computer science ; 173
所蔵情報: 図書館
15.

図書
図書
15. Graph-grammars and their application to computer science : 2nd international workshop, Haus Ohrbeck, Germany, October 4-8, 1982 (: gw ; : us)
under the auspices of the European Association for Theoretical Computer Science ; edited by Hartmut Ehrig, Manfred Nagl and Grzegorz Rozenberg
出版情報: Berlin ; Tokyo : Springer-Verlag, 1983
シリーズ名: Lecture notes in computer science ; 153
所蔵情報: 図書館
16.

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

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

図書
図書
18. 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
所蔵情報: 図書館
19.

図書
図書
19. 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
所蔵情報: 図書館
20.

図書
図書
20. 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
所蔵情報: 図書館
21.

図書
図書
21. 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
所蔵情報: 図書館
22.

図書
図書
22. 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
所蔵情報: 図書館