close
1.

図書
図書
1. Proceedings 47th Annual IEEE Symposium on Foundations of Computer Science : 21-24 October 2006, Berkeley, California
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2006
所蔵情報: loading…
2.

図書
図書
2. 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…
3.

図書
図書
3. IEEE, conference record of 1966 Seventh Annual Symposium on Switching and Automata Theory : papers presented at the Seventh Annual Symposium, University of California, Berkeley, Calif., October 26-28, 1966
Symposium on Switching and Automata Theory
出版情報: (In-house reproduction)
所蔵情報: loading…
4.

図書
図書
4. IEEE, conference record of 1968 Ninth Annual Symposium on Switching and Automata Theory : papers presented at the Ninth Annual Symposium, Schenectady, New York, October 15-18, 1968
Symposium on Switching and Automata Theory
出版情報: (In-house reproduction)
所蔵情報: loading…
5.

図書
図書
5. Proceedings of the twenty-seventh Annual ACM Symposium on the Theory of Computing, Las Vegas, Nevada, May 29-June 1, 1995
sponsored by the ACM Special Interest Group for Algorithms and Computation Theory
出版情報: New York, N.Y. : ACM, c1995
所蔵情報: loading…
6.

図書
図書
6. Proceedings of the twenty-sixth Annual ACM Symposium on the Theory of Computing, Montréal, Québec, Canada, May 23-25, 1994
sponsored by the ACM Special Interest Group Algorithms and Computation Theory
出版情報: New York, N.Y. : ACM, c1994
所蔵情報: loading…
7.

図書
図書
7. 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…
8.

図書
図書
8. Proceedings of the twenty-eighth Annual ACM Symposium on the Theory of Computing, Philadelphia, Pennsylvania, May 22-24, 1996
sponsored by the ACM Special Interest Group for Algorithms and Computation Theory
出版情報: New York, N.Y. : ACM, c1996
所蔵情報: loading…
9.

図書
図書
9. Proceedings of the twenty-fifth Annual ACM Symposium on the Theory of Computing, San Diego, California, May 16-18, 1993
sponsored by the ACM Special Interest Group for Algorithms and Computation Theory
出版情報: New York, N.Y. : ACM, c1993
所蔵情報: loading…
10.

図書
図書
10. 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…