1.

図書
図書
1. SPAA 2004 : sixteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, June 27-30, 2004, Barcelona, Spain
sponsored by ACM SIGACT, ACM SIGARCH ; in cooperation with European Association for Theoretical Computer Science & Intel corporation
出版情報: New York : Association for Computing Machinery, c2004
所蔵情報: loading…
2.

図書
図書
2. Proceedings : 45th Annual IEEE Symposium on Foundations of Computer Science : 17-19 October 2004, Rome, Italy (: pbk)
sponsored by IEEE Computer Society Technical society on Foundations of Computing
出版情報: Tokyo : IEEE Computer Society, c2004 , Los Alamitos, Calif. : IEEE Computer Society, c2004
所蔵情報: loading…
3.

図書
図書
3. SPAA 2003 : fifteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, June 7-9, 2003, San Diego. California, USA
sponsored by ACM SIGACT, ACM SIGARCH ; in cooperation with EATCS(European Association for Theoretical Computer Science)
出版情報: New York : Association for Computing Machinery, c2003
所蔵情報: loading…
4.

図書
図書
4. Proceedings : 44th Annual IEEE Symposium on Foundations of Computer Science : 11-14 October 2003, Cambridge, Massachusettes (: pbk)
sponsored by IEEE Computer Society Technical society on Foundations of Computing
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2003
所蔵情報: loading…
5.

図書
図書
5. SPAA 2002 : Fourteenth Annual ACM Symposium on Parallel Algorithms and Architectures, August 10-13, 2002, Winnipeg, Manitoba, Canada
sponsored by ACM SIGACT, ACM SIGARCH ; in cooperation with EATCS
出版情報: New York : Association for Computing Machinery, c2002
所蔵情報: loading…
6.

図書
図書
6. Proceedings : the 43rd Annual IEEE Symposium on Foundations of Computer Science : Vancouver, BC, Canada 16-19 November 2002
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF) ; in cooperation with ACM/SIGACT
出版情報: Los Alamitos, Calif. ; Tokyo : IEEE Computer Society, c2002
所蔵情報: loading…
7.

図書
図書
7. SPAA 2001 : thirteenth Annual ACM Symposium on Parallel Algorithms and Architectures, July 3-6, 2001, Crete island, Greece
sponsored by ACM SIGACT, ACM SIGARCH ; in cooperation with EATCS
出版情報: New York : Association for Computing Machinery, c2001
所蔵情報: loading…
8.

図書
図書
8. SPAA 2000 : Twelfth annual ACM symposium on parallel algorithms and architectures, July 9-12, 2000, Bar Harbor, Maine
sponsored by ACM SIGACT, ACM SIGARCH ; in cooperation with EATCS
出版情報: New York : Association for Computing Machinery, c2000
所蔵情報: loading…
9.

図書
図書
9. SPAA '99 : Eleventh annual ACM symposium on parallel algorithms and architectures, June 27-30, 1999, Saint-Malo, France
sponsored by ACM SIGACT, ACM SIGARCH ; in cooperation with EATCS
出版情報: New York : Association for Computing Machinery, c1999
所蔵情報: loading…
10.

図書
図書
10. Proceedings of the Seventeenth Annual ACM Symposium on Principles of Distributed Computing, Puerto Vallarta, México, June 28 - July 2, 1998
sponsored by the ACM Special Interest Group for Automata and Computability Theory, and ACM Special Interest Group for Operating System Principles
出版情報: New York, N.Y. : Association for Computing Machinery, c1998
所蔵情報: loading…
11.

図書
図書
11. SPAA '98 : tenth Annual ACM Symposium on Parallel Algorithms and Architectures, June 28-July 2, 1998, Puerto Vallarta, Mexico
sponsored by ACM SIGACT, ACM SIGARCH ; in cooperation with EATCS
出版情報: New York : Association for Computing Machinery, c1998
所蔵情報: loading…
12.

図書
図書
12. Proceedings, Twelfth Annual IEEE Conference on Computational Complexity (formerly: Structure in Complexity Theory Conference), June 24-27, Ulm, Germany (: soft. ; : case.)
sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM-SIGACT and EATCS ; with support from Ulmer Univeritäts-Gesellschaft ... [et al.]
出版情報: Los Alamitos, Calif. : IEEE Computer Society, c1997
所蔵情報: loading…
13.

図書
図書
13. Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, Santa Barbara, Ca., USA, August 21-24, 1997
sponsored by the ACM Special Interest Group for Automata and Computability Theory, and ACM Special Interest Group for Operating System Principles
出版情報: New York, N.Y. : Association for Computing Machinery, c1997
所蔵情報: loading…
14.

図書
図書
14. Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, Philadelphia, Pa., USA, May 23-26, 1996
sponsored by the ACM Special Interest Group for Automata and Computability Theory, and ACM Special Interest Group for Operating System Principles
出版情報: New York, N.Y. : Association for Computing Machinery, c1996
所蔵情報: loading…
15.

図書
図書
15. Proceedings of the tenth Annual Structure in Complexity Theory Conference, June 19-22, 1995, Minneapolis, Minnesota (: paper ; : microfiche ; : case)
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT, EATCS ; with support from DIMACS, University of Minnesota, Cornell University
出版情報: Los Alamitos : IEEE Computer Society Press, c1995
所蔵情報: loading…
16.

図書
図書
16. Proceedings of the Fourteenth Annual ACM Symposium on Principles of Distributed Computing, Ottawa, Ontario, Canada, August 20-23, 1995
sponsored by the ACM Special Interest Group for Automata and Computability Theory, and ACM Special Interest Group for Operating System Principles
出版情報: New York, N.Y. : Association for Computing Machinery, c1995
所蔵情報: loading…
17.

図書
図書
17. SPAA '95 : 7th Annual ACM Symposium on Parallel Algorithms and Architectures, July 17-19, 1995, Santa Barbara, California
sponsored by ACM SIGACT, ACM SIGARCH ; in cooperation with EATCS
出版情報: New York : Association for Computing Machinery, c1995
所蔵情報: loading…
18.

図書
図書
18. Proceedings of the sixth annual ACM-SIAM Symposium on Discrete Algorithms
ACM-SIAM Symposium on Discrete Algorithms ; ACM Special Interest Group for Automata and Computability Theory ; SIAM Activity Group on Discrete Mathematics
出版情報: New York : Association for Computing Machinery , Philadelphia : Society for Industrial and Applied Mathematics, c1995
所蔵情報: loading…
19.

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

図書
図書
20. Proceedings of the fifth annual ACM-SIAM Symposium on Discrete Algorithms
ACM-SIAM Symposium on Discrete Algorithms ; ACM Special Interest Group for Automata and Computability Theory ; SIAM Activity Group on Discrete Mathematics
出版情報: New York : Association for Computing Machinery , Philadelphia : Society for Industrial and Applied Mathematics, c1994
所蔵情報: loading…
21.

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

図書
図書
22. SPAA '94 : 6th Annual ACM Symposium on Parallel Algorithms and Architectures, June 27-29, 1994, Cape May, New Jersey
sponsored by ACM SIGACT, ACM SIGARCH ; in cooperation with EATCS
出版情報: New York : Association for Computing Machinery, c1994
所蔵情報: loading…
23.

図書
図書
23. Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, Los Angeles, California, USA, August 14-17, 1994
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, c1994
所蔵情報: loading…
24.

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

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

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

図書
図書
27. Proceedings of the Seventh Annual Structure in Complexity Theory Conference, June 22-25, 1992, Boston University, Boston, Massachusetts (: paper ; : microfiche ; : case)
sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ... [et al.] ; in cooperation with ACM-SIGACT, EATCS
出版情報: Los Alamitos : IEEE Computer Society Press, c1992
所蔵情報: loading…
28.

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

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

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

図書
図書
31. SPAA '92 : 4th Annual ACM Symposium on Parallel Algorithms and Architectures, June 29-July 1, 1992, San Diego, California
sponsored by ACM SIGACT, ACM SIGARCH ; in cooperation with EATCS
出版情報: New York : Association for Computing Machinery , Baltimore : Additional copies may be ordered from ACM Order Department, c1992
所蔵情報: loading…
32.

図書
図書
32. Proceedings of the Eleventh Annual ACM Symposium on Principles of Distributed Computing, Vancouver, British Columbia, Canada, August 10-12, 1992
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, c1992
所蔵情報: loading…
33.

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

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

図書
図書
35. Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing, Montreal, Quebec, Canada, August 19-21, 1991
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, c1991
所蔵情報: loading…
36.

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

図書
図書
37. SPAA '91 : 3rd Annual ACM Symposium on Parallel Algorithms and Architectures, July 21-24, 1991, Hilton Head, South Carolina
sponsored by ACM SIGACT, ACM SIGARCH ; in cooperation with IEEE and EATCS
出版情報: New York : Association for Computing Machinery , Baltimore : Additional copies may be ordered from ACM Order Department, c1991
所蔵情報: loading…
38.

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

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

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

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

図書
図書
42. SPAA '90 : 2nd Annual ACM Symposium on Parallel Algorithms and Architectures : in combination with the Aegean Workshop on Computing : July 2-6, 1990, Island of Crete, Greece
sponsored by ACM SIGACT, ACM SIGARCH ; in cooperation with IEEE, EATCS, and CTI
出版情報: New York : Association for Computing Machinery , Baltimore : Additional copies may be ordered from ACM Order Department, c1990
所蔵情報: loading…
43.

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

図書
図書
44. Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 29-31, 1989, Philadelphia, Pa.
Special Interest Group for Automata and Computability Theory (SIGACT), Special Interest Group for the Managemant of Data (SIGMOD), Special Interest Group for Artificial Intelligence (SIGART)
出版情報: New York, N.Y. : Association for Computing Machinery, c1989
所蔵情報: loading…
45.

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

図書
図書
46. Proceedings of the fifth annual Symposium on Computational Geometry : Saarbrücken, West Germany, June 5-7, 1989 (pbk.)
sponsored by the ACM Special Interest Groups for Graphics and Automata and Computability Theory
出版情報: New York, N.Y. : ACM Press, c1989
所蔵情報: loading…
47.

図書
図書
47. SPAA'89 : proceedings of the 1989 ACM Symposium on Parallel Algorithms and Architectures, Santa Fe, New Mexico, June 18-21, 1989
sponsored by ACM SIGACT and ACM SIGARCH ; in-cooperation with IEEE and EATCS
出版情報: New York : The Association for Computing Machinery , Baltimore : Additional copies may be ordered from ACM Order Department, c1989
所蔵情報: loading…
48.

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

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

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

図書
図書
51. Proceedings of the Sixth Annual ACM Symposium on Principles of Distributed Computing : Vancouver, British Columbia, Canada, August 10-12, 1987 (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 , Baltimore, MD. : Ordered from ACM Order Dept., c1987
所蔵情報: loading…
52.

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

図書
図書
53. Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 23-25, 1987, San Diego, California
Special Interest Group for Automata and Computability Theory (SIGACT), Special Interest Group for the Managemant of Data (SIGMOD), Special Interest Group for Artificial Intelligence (SIGART)
出版情報: New York, N.Y. : Association for Computing Machinery, c1987
所蔵情報: loading…
54.

図書
図書
54. Proceedings of the Third Annual Symposium on Computational Geometry : Waterloo, Ontario, Canada, June 8-10, 1987 (: 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., c1987
所蔵情報: loading…
55.

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

図書
図書
56. Proceedings of the Fifth Annual ACM Symposium on Principles of Distributed Computing, Calgary, Alberta, Canada, August 11-13, 1986 (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 , Baltimore, MD : Copies from ACM Order Dept., c1986
所蔵情報: loading…
57.

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

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

図書
図書
59. Proceedings of the Fourth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, March 25-27, 1985, Portland, Oregon (: pbk.)
Special Interest Group for Automata and Computability Theory (SIGACT), Special Interest Group for the Management of Data (SIGMOD)
出版情報: New York, N.Y. : Association for Computing Machinery , Baltimore, MD. : Copies from ACM Order Dept., c1985
所蔵情報: loading…
60.

図書
図書
60. Proceedings of the Symposium on Computational Geometry : Baltimore, Maryland, 5-7 June 1985 (pbk.)
sponsored by ACM SIGGRAPH in cooperation with ACM SIGACT
出版情報: New York, N.Y. : Association for Computing Machinery, c1985
所蔵情報: loading…
61.

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

図書
図書
62. Proceedings of the Fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, March 24-26, 1986, Cambridge, Massachusetts
Special Interest Group for Automata and Computability Theory (SIGACT), Special Interest Group for the Managemant of Data (SIGMOD)
出版情報: New York, N.Y. : Association for Computing Machinery, c1985
所蔵情報: loading…
63.

図書
図書
63. Conference record of the 11th Annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, January 15-18, 1984 (: 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, , c1983 , Baltimore, MD : May be ordered from ACM Order Dept., , c1983
所蔵情報: loading…
64.

図書
図書
64. Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, April 2-4, 1984, Waterloo, Onterio, Canada (: pbk.)
Special Interest Group for Automata and Computability Theory (SIGACT), Special Interest Group for the Management of Data (SIGMOD)
出版情報: New York, N.Y. : Association for Computing Machinery , Baltimore, MD. : Copies from ACM Order Dept., c1984
所蔵情報: loading…
65.

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

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

図書
図書
67. Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing : Vancouver, B.C., Canada, August 27-29, 1984
sponsored by the ACM Special Interest Group for Automata and Computability Theory, and Special Interest Group for Operating System Principles
出版情報: New York, NY : Association for Computing Machinery , Baltimore, MD : Order from ACM Order Dept., c1984
所蔵情報: loading…
68.

図書
図書
68. Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing, Montreal, Quebec, Canada, August 17-19, 1983 (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 , Baltimore, MD. : Copies from ACM Order Dept., c1983
所蔵情報: loading…
69.

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

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

図書
図書
71. 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
出版情報: New York, N.Y. : ACM , Baltimore, MD : May be ordered from ACM Order Dept., c1982
所蔵情報: loading…
72.

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

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

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

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

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

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

図書
図書
78. Conference record of the Fourth ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Los Angeles, California, January 17-19, 1977
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory, Special Interest Group on Programming Languages
出版情報: New York : The Association, c1977
所蔵情報: loading…
79.

図書
図書
79. Conference record of the third ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Atlanta, Georgia January 19-21, 1976
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory, Special Interest Group on Programming Languages
出版情報: New York : ACM, c1976
所蔵情報: loading…
80.

図書
図書
80. Conference record of the second ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Palo Alto, California, January 20-22, 1975
sponsored by the Association for Computing Machinery Special Interest Group on Automata and Computability Theory [and] Special Interest Group on Programming Languages
出版情報: New York : ACM, c1975
所蔵情報: loading…
81.

図書
図書
81. Conference record of Sixth Annual ACM Symposium on Theory of Computing : papers presented at the symposium, Seattle, Washington, April 30- May 2, 1974
sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory ; supported by University of Washington
出版情報: New York : Association of Computing Machinery, c1974
所蔵情報: loading…
82.

図書
図書
82. Automata, languages and programming : 2nd colloquium, University of Saarbrücken, July 29-August 2, 1974 (: gw ; : us)
edited by Jacques Loeckx
出版情報: Berlin ; New York : Springer-Verlag, 1974
シリーズ名: Lecture notes in computer science ; 14
所蔵情報: loading…
83.

図書
図書
83. Conference record of ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Boston, Massachusetts, October 1-3, 1973 (: pbk)
sponsored by the Association for Computing Machinery Special Interest Group on Automata and Computability Theory [and] Special Interest Group on Programming Languages
出版情報: [New York] : The Association, c1973
所蔵情報: loading…
84.

図書
図書
84. Conference record of third annual ACM Symposium on Theory of Computing : papers presented at the symposium, Shaker Heights, Ohio, May 3,4,5, 1971
sponsored by the Association for Computing Machinery, Special Interest Group for Automata and Computability Theory ; supported by Case Western University
出版情報: New York : ACM, Order Department, [1971]
所蔵情報: loading…
85.

雑誌
雑誌
85. SIGACT news
ACM Special Interest Committee on Automata Theory and Computability
出版情報: New York : ACM Special Interest Group on Automa and Computability Theory
所蔵情報: loading…