close
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 Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, June 22-25, 1992 (: paper ; : case ; : microfiche)
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT, Association for Symbolic Logic, Europe Association for Theoretical Computer Science
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society Press, c1992
所蔵情報: loading…
3.

図書
図書
3. Proceedings of the twenty-fourth Annual ACM Symposium on the Theory of Computing : Victoria, British Columbia, Canada, May 4-6, 1992
sponsored by the ACM Special Interest Group for Automata and Computability Theory
出版情報: New York, N.Y. : ACM, c1992
所蔵情報: loading…
4.

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

図書
図書
5. Proceedings of the Eighteenth Annual ACM Symposium on Theory of Computing : Berkeley, California, May 28-30, 1986
sponsored by the ACM Special Interest Group for Automata and Computability Theory
出版情報: New York, N.Y. : Association for Computing Machinery , Baltimore, MD : Additional copies may be orderd from ACM Order Dept., c1986
所蔵情報: loading…
6.

図書
図書
6. Conference record of the eighth annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Williamsburg, Virginia, January 26-28, 1981 (pbk.)
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory [and] Special Interest Group on Programming Languages
出版情報: Baltimore : ACM, c1981
所蔵情報: loading…
7.

図書
図書
7. Conference proceedings of the Thirteenth Annual ACM Symposium on Theory of Computing : papers presented at the Symposium, Milwaukee, Wisconsin, May 11-13, 1981
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory, with the cooperation of the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing and Department of Electrical Engineering and Computer Science, University of Wisconsin, Milwaukee, Wisconsin
出版情報: New York, N.Y. : ACM, c1981
所蔵情報: loading…
8.

図書
図書
8. Conference proceedings of the Twelfth Annual ACM Symposium on Theory of Computing : papers presented at the symposium, Los Angeles, California, April 28-30, 1980
sponsored by the Association for Computing Machinery Special Interest Group on Automata and Computability Theory, with the cooperation of the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing and Computer Science Department, University of California, Los Angeles, California
出版情報: New York, N.Y. : ACM, c1980
所蔵情報: loading…