1.

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

図書
図書
2. Proceedings of the Seventeenth Annual ACM Symposium on Theory of Computing, Providence, Rhode Island May 6-8, 1985
sponsored by the ACM Special Interest Group for Automata and Computability Theory
出版情報: New York : ACM, c1985
所蔵情報: loading…
3.

図書
図書
3. Proceedings of the Twentieth Annual ACM Symposium on Theory of Computing, Chicago, Illinois, May 2-4, 1988
sponsored by the ACM Special Interest Group for Automata and Computability Theory
出版情報: New York : Association for Computing Machinery, 1988
所蔵情報: loading…
4.

図書
図書
4. Proceedings of the Twenty Second Annual ACM Symposium on Theory of Computing : Baltimore, Maryland, May 14-16, 1990
sponsored by the ACM Special Interest Group for Automata and Computability Theory
出版情報: New York : Association for Computing Machinery, c1990
所蔵情報: loading…
5.

図書
図書
5. Proceedings of the Twenty First Annual ACM Symposium on Theory of Computing : Seattle, Washington, May 15-17, 1989
sponsored by the ACM Special Interest Group for Automata and Computability Theory
出版情報: New York : Association for Computing Machinery, c1989
所蔵情報: loading…
6.

図書
図書
6. Conference record of POPL '95 : 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, San Francisco, California january 22-25, 1995
sponsored by the Association for Computing Machinery. SIGACT, SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c1995
所蔵情報: loading…
7.

図書
図書
7. Conference record Fourth annual ACM Symposium on Theory of Computing, papers presented at the symposium, Denver, Colorado, may 1,2,3, 1972
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory ; supported by the University of Colorado
出版情報: New York, N.Y. : ACM, [1972]
所蔵情報: loading…
8.

図書
図書
8. Proceedings of the Twenty Third Annual ACM Symposium on Theory of Computing : New Orleans, Louisiana, May 6-8, 1991
sponsored by the ACM Special Interest Group for Automata and Computability Theory
出版情報: New York, N.Y. : ACM, c1991
所蔵情報: loading…
9.

図書
図書
9. Conference record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, Albuquerque, New Mexico, January 19-22, 1992
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT) ; Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : ACM, c1992
所蔵情報: loading…
10.

図書
図書
10. Proceedings [of the] 11th Annual IEEE Symposium on Logic in Computer Science, July 27-30, 1996, New Brunswick, New Jersey (: soft ; : case ; : microfiche)
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM Special Interest Group on Automata and Computability Theory, The Association for Symbolic Logic, The European Association for Theoretical Computer Science ; with support from AT & T Research Bell Laboratories - Lucent Technologies DIMACS, IBM Almaden Research Center
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1996
所蔵情報: loading…