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 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…
15.

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

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

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

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

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

図書
図書
20. Conference record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Austin, Texas, January 11-13, 1989 (: 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. : Association for Computing Machinery , Baltimore, MD : May be ordered from ACM Order Dept., c1989
所蔵情報: loading…
21.

図書
図書
21. Proceedings of the eighth Annual ACM Symposium on Principles of Distributed Computing : Edmonton, Alberta, Canada, August 14-16, 1989 (pbk)
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, c1989
所蔵情報: loading…
22.

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

図書
図書
23. Proceedings of the Second Annual Workshop on Computational Learning Theory : University of California, Santa Cruz, July 31-August 2, 1989
Ronald Rivest, David Haussler, Manfred K. Warmuth ; sponsored by the ACM SIGACT/SIGART
出版情報: San Mateo, Calif. : M. Kaufmann, c1989
所蔵情報: loading…
24.

図書
図書
24. Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 21-23, 1988, Austin, Texas
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, N.Y. : Association for Computing Machinery, c1988
所蔵情報: loading…
25.

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

図書
図書
26. Proceedings of the seventh Annual ACM Symposium on Principles of Distributed Computing : Toronto, Ontario, Canada, August 15-17, 1988
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, c1988
所蔵情報: loading…
27.

図書
図書
27. Conference record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages : papers presented at the Symposium, San Diego, California, January 13-15, 1988 (: pbk.)
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., c1988
所蔵情報: loading…
28.

図書
図書
28. Conference record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Munich, West Germany, 21-23 January 1987 (: pbk)
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN) [and] Gesellschaft für Informatik
出版情報: New York, N.Y. : ACM , Baltimore, MD : May be ordered from ACM Order Dept., c1987
所蔵情報: loading…
29.

図書
図書
29. Proceedings of the Nineteenth Annual ACM Symposium on Theory of Computing, New York City, May 25-27, 1987
sponsored by the ACM Special Interest Group for Automata and Computability Theory
出版情報: New York : ACM, c1987
所蔵情報: loading…
30.

図書
図書
30. Conference record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages : papers presented at the Symposium, St. Petersburg Beach, Florida, 13-15 January 1986 (: pbk)
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., c1986
所蔵情報: loading…
31.

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

図書
図書
32. Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Salt Lake City, Utah, January 15-18, 1984
sponsored by the Association for Coomputing Machinery, Special Interest Group on Automata and Computability Theory, Special Interest Group on Programming Languages
出版情報: New York : ACM, 1984
所蔵情報: loading…
33.

図書
図書
33. Proceedings of the Sixteenth Annual ACM Symposium on Theory of Computing, Washington, D.C., April 30-May 2, 1984
sponsored by the ACM Special Interest Group for Automata and Computability Theory
出版情報: New York : Association for Computing Machinery, c1984
所蔵情報: loading…
34.

図書
図書
34. Conference record of the Twelfth Annual ACM Symposium on Principles of Programming Languages : extended abstracts of papers presented at the Symposium, Monteleone Hotel, New Orleans, Louisiana, 14-16 January 1985 (pbk)
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., c1984
所蔵情報: loading…
35.

図書
図書
35. Conference record of the Tenth Annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Austin, Texas, January 24-26, 1983
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory, Special Interest Group on Programming Languages
出版情報: New York : ACM, c1983
所蔵情報: loading…
36.

図書
図書
36. Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing, Boston, Massachusetts, April 25-27, 1983
sponsored by the ACM Special Interest Group for Automata and Computability Theory
出版情報: New York : Association for Computing Machinery, 1983
所蔵情報: loading…
37.

図書
図書
37. Conference record of the Ninth Annual ACM Symposium on Principles of Programming Languages : papers presented at the Symposium, Albuquerque, New Mexico, January 25-27, 1982 (pbk.)
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory [and] Special Interest Group on Programming Languages
出版情報: Baltimore, MD : May be ordered from ACM Order Dept., , c1982 , New York, N.Y. : ACM, , c1982
所蔵情報: loading…
38.

図書
図書
38. Proceedings of the Fourteenth Annual ACM Symposium on Theory of Computing, San Fransisco, California, May 5-7, 1982
sponsored by the ACM Special Interest Group for Automata and Computability Theory
出版情報: New York : Association for Computing Machinery, 1982
所蔵情報: loading…
39.

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

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

図書
図書
41. Conference record of the Seventh Annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Las Vegas, Nevada, January 28-30, 1980 (pbk.)
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory, Special Interest Group on Programming Languages
出版情報: New York, N.Y. : ACM , Baltimore, MD : May be ordered from ACM Order Dept., c1980
所蔵情報: loading…
42.

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

図書
図書
43. Conference record of the sixth annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, San Antonio, Texas, January 29-31, 1979
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory, Special Interest Group on Programming Languages
出版情報: New York : ACM, c1979
所蔵情報: loading…
44.

図書
図書
44. Conference record of the Eleventh Annual ACM Symposium on Theory of Computing : papers presented at the symposium, Atlanta, Georgia, April 30-May 2, 1979
sponsored by the Association for Computing Machinery Special Interest Group on Automata and Computing Theory, with the cooperation of the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
出版情報: New York : ACM, 1979
所蔵情報: loading…
45.

図書
図書
45. Conference record of the Fifth Annual ACM Symposium on Principles of Programming Languages : papers presented at the Symposium, Tucson, Arizona, January 23-25, 1978
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory, Special Interest Group on Programming Languages
出版情報: New York : ACM, c1978
所蔵情報: loading…
46.

図書
図書
46. Conference record of the Tenth Annual ACM Symposium on Theory of Computing : papers presented at the symposium, San Diego, California, May 1-3, 1978
sponsored by the Association for Computing Machinery Special Interest Gropup on Automata and Computability Theory, with the cooperation of the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, and the University of California, San Diego
出版情報: New York : ACM, c1978
所蔵情報: loading…
47.

図書
図書
47. 19th Annual Symposium on Foundations of Computer Science, Oct. 16-18, 1978, Ann Arbor, Michigan
sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing, in cooperation with the ACM Special Interest Group for Automata and Computability Theory, the University of Michigan
出版情報: Long Beach, Calif. : IEEE Computer Society, c1978
所蔵情報: loading…
48.

図書
図書
48. 18th Annual Symposium on Foundations of Computer Science : Oct. 31-Nov. 2, 1977, Providence, Rhode Island
sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing, in cooperation with the ACM Special Interest Group for Automata and Computability Theory, and Brown University
出版情報: New York, N.Y. : Institute of Electrical and Electronics Engineers, c1977
所蔵情報: loading…
49.

図書
図書
49. Conference record of the Ninth Annual ACM Symposium on Theory of Computing : papers presented at the symposium, Boulder, Colorado, May 2-4, 1977
sponsored by the Association for Computing Machinery Special Interest Group on Automata and Computing Theory, with the cooperation of the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, and the University of Colorado
出版情報: New York : ACM, 1977
所蔵情報: loading…
50.

図書
図書
50. Conference record on Eighth Annual ACM Symposium on Theory of Computing : papers presented at the symposium, Hershey, Pennsylvania, May 3-5, 1976
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 the Pennsylvania State University
出版情報: New York : Assciation for Computing Machinery, c1976
所蔵情報: loading…