close
1.

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

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

図書
図書
3. Conference record of POPL '94 : 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, Portland, Oregon, January 17-21, 1994
sponsored by the Association for Computing Machinery. SIGACT, SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c1994
所蔵情報: loading…
4.

図書
図書
4. Proceedings of the Ninth Annual Structure in Complexity Theory Conference, June 28-July 1, 1994, Amsterdam, the Netherlands (: paper ; : microfiche ; : case)
sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT, EATCS ; with support from CWI ... [et al.]
出版情報: Los Alamitos : IEEE Computer Society Press, c1994
所蔵情報: loading…
5.

図書
図書
5. Conference record of the twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, Charleston, South Carolina, January 10-13, 1993 (: pbk)
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, c1993
所蔵情報: loading…
6.

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

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

図書
図書
8. Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 2-4, 1992, San Diego, California (: soft ; : hard)
Special Interest Group for Automata and Computability Theory(SIGACT), Special Interest Group for the Management of Data(SIGMOD), Special Interest Group for Artificial Intelligence(SIGART)
出版情報: New York : Association for Computing Machinery, c1992
所蔵情報: loading…
9.

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

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

図書
図書
11. Proceedings of the eighth Annual Symposium on Computational Geometry, Berlin, Germany, June 10-12, 1992
sponsored by the ACM Special Interest Groups for Graphics and Automata and Computability Theory
出版情報: Baltimore, MD : Additional copies may be ordered prepaid from: ACM Order Dept., c1992
所蔵情報: loading…
12.

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

図書
図書
13. Proceedings of the Sixth Annual Structure in Complexity Theory Conference, June 30-July 3, 1991, University of Chicago, Chicago, Illinois (: paper ; : microfiche ; : case)
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in cooperation with ACM SIGACT, EATCS
出版情報: Los Alamitos : IEEE Computer Society Press, c1991
所蔵情報: loading…
14.

図書
図書
14. Proceedings of the Tenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 29-31, 1991, Denver, Colorado
Special Interest Group for Automata and Computability Theory(SIGACT), Special Interest Group for the Management of Data(SIGMOD), Special Interest Group for Artificial Intelligence(SIGART)
出版情報: New York : Association for Computing Machinery, c1991
所蔵情報: loading…
15.

図書
図書
15. Proceedings of the Seventh Annual Symposium on Computational Geometry, North Conway, New Hampshire, June 10-12, 1991
sponsored by the ACM Special Interest Groups for Graphics and Automata and Computability Theory
出版情報: Baltimore, MD : Additional copies may be ordered prepaid from: ACM Order Dept., c1991
所蔵情報: loading…
16.

図書
図書
16. Conference record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Orlando, Florida, January 21-23, 1991
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, c1990
所蔵情報: loading…
17.

図書
図書
17. Conference record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, San Francisco, California, January 17-19, 1990
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT) [and] Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : ACM , Baltimore, MD : May be ordered from ACM Order Dept., c1990
所蔵情報: loading…
18.

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

図書
図書
19. Proceedings of the Ninth Annual ACM Symposium on Principles of Distributed Computing, Quebec City, Quebec, Canada, August 22-24, 1990
sponsored by the ACM Special Interest Group for Automata and Computability Theory, and Special Interest Group for Operating System Principles
出版情報: New York, N.Y. : Association for Computing Machinery, c1990
所蔵情報: loading…
20.

図書
図書
20. Proceedings of the Sixth Annual Symposium on Computational Geometry : Berkeley, California, June 6-8, 1990 (: pbk.)
sponsored by the ACM Special Interest Groups for Graphics and Automata and Computability Theory
出版情報: New York, N.Y. : Association for Computing Machinery , Baltimore, MD : Copies from ACM Order Dept., c1990
所蔵情報: loading…