close
1.

図書
図書
1. 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  293 p. ; 28 cm
所蔵情報: 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  vi, 484 p. ; 28 cm
所蔵情報: loading…
3.

図書
図書
3. 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  viii, 471 p. ; 28 cm
所蔵情報: loading…
4.

図書
図書
4. 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  ii, 340 p. ; 28 cm
所蔵情報: loading…
5.

図書
図書
5. 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  vi, 302 p. ; 28 cm
所蔵情報: loading…
6.

図書
図書
6. 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  vi, 547 p. ; 28 cm
所蔵情報: loading…
7.

図書
図書
7. 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  447 p. ; 28 cm
所蔵情報: loading…
8.

図書
図書
8. 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  v, 391 p. ; 28 cm
所蔵情報: loading…
9.

図書
図書
9. 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  v, 408 p. ; 28 cm
所蔵情報: loading…
10.

図書
図書
10. 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  487 p. ; 28 cm
所蔵情報: loading…
11.

図書
図書
11. 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  iv, 293 p. ; 28 cm
所蔵情報: loading…
12.

図書
図書
12. 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  vii, 363 p. ; 28 cm
所蔵情報: loading…
13.

雑誌
雑誌
13. Proceedings of the ... annual ACM Symposium on Theory of Computing
ACM Special Interest Group for Automata and Computability Theory
出版情報: New York, N.Y. : Association for Computing Machinery, Inc., c1982-  v. ; 28 cm
巻次年月次: 14th (1982)-
所蔵情報: loading…
14.

図書
図書
14. ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, August 18-20, 1982, Ottawa, Canada (pbk.)
sponsored by the ACM Special Interest Group for Automata and Computing Theory [and] the ACM Special Interest Group for Operating Systems
出版情報: New York, N.Y. : Association for Computing Machinery , Baltimore, MD : ACM Order Dept. [distributor], c1982  vii, 262 p. ; 28 cm
所蔵情報: loading…
15.

図書
図書
15. 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  v, 461 p. ; 28 cm
所蔵情報: loading…
16.

図書
図書
16. 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  v, 326 p. ; 28 cm
所蔵情報: loading…
17.

雑誌
雑誌
17. Proceedings of the ... ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems ; ACM Special Interest Group on Algorithms and Computation Theory ; ACM Special Interest Group for Automata and Computability Theory ; ACM Special Interest Group for the Management of Data ; SIGART
出版情報: New York, N.Y. : Association for Computing Machinery  v. ; 28 cm
所蔵情報: loading…
18.

雑誌
雑誌
18. Proceedings of the ... annual Symposium on Computational Geometry
Symposium on Computational Geometry ; SIGGRAPH ; ACM Special Interest Group for Automata and Computability Theory ; ACM Special Interest Group on Algorithms and Computation Theory
出版情報: New York, N.Y. : Association for Computing Machinery  v. ; 28 cm
所蔵情報: loading…
19.

雑誌
雑誌
19. Proceedings
Symposium on Logic in Computer Science
出版情報: Washington, D.C. : IEEE Computer Society Press, c1986-  v. ; 28 cm
巻次年月次: 1st (1986)-
所蔵情報: loading…
20.

図書
図書
20. 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  vii, 312 p. ; 28 cm
所蔵情報: loading…
21.

図書
図書
21. 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  230 p. ; 28 cm
所蔵情報: loading…
22.

図書
図書
22. 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  vi, 378 p. ; 28 cm
所蔵情報: loading…
23.

図書
図書
23. 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  vi, 356 p. ; 28 cm
所蔵情報: loading…
24.

図書
図書
24. 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  vii, 401 p. ; 28 cm
所蔵情報: loading…
25.

図書
図書
25. 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  viii, 401 p. ; 28 cm
所蔵情報: loading…
26.

図書
図書
26. 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  x, 434 p. ; 27 cm
所蔵情報: loading…
27.

図書
図書
27. Proceedings : Symposium on Logic in Computer Science, Cambridge, Massachusetts, June 16-18, 1986 (pbk. ; microfiche)
sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in cooperation with ACM SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science
出版情報: Washington, D.C. : IEEE Computer Society Press , Los Angeles, CA : Order from IEEE Computer Society, c1986  xi, 383 p. ; 28 cm
所蔵情報: loading…
28.

図書
図書
28. 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  viii, 553 p. ; 28 cm
所蔵情報: loading…
29.

図書
図書
29. 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  vi, 352 p. ; 28 cm
所蔵情報: loading…
30.

図書
図書
30. 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  vi, 352 p. ; 28 cm
所蔵情報: loading…
31.

図書
図書
31. 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  vii, 261 p. ; 28 cm
所蔵情報: loading…
32.

図書
図書
32. 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  viii, 600 p. ; 28 cm
所蔵情報: loading…
33.

図書
図書
33. Conference record of the 1984 ACM Symposium on LISP and Functional Programming : papers presented at the symposium, Austin, Texas, August 6-8, 1984
sponsored by the Association for Computing Machinery, SIGPLAN, SIGACT, SIGART
出版情報: New York, N.Y. : Association for Computing Machinery, c1984  x, 362 p. ; 28 cm
所蔵情報: loading…
34.

図書
図書
34. 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  275 p. ; 28 cm
所蔵情報: loading…
35.

図書
図書
35. 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  iv, 329 p. ; 28 cm
所蔵情報: loading…
36.

図書
図書
36. 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  335 p. ; 28 cm
所蔵情報: loading…
37.

図書
図書
37. Proceedings of the Second ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, March 21-23, 1983, Colony Square Hotel, Atlanta, Georgia (: 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., c1983  vii, 413 p. ; 28 cm
所蔵情報: loading…
38.

図書
図書
38. 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  iv, 301 p. ; 28 cm
所蔵情報: loading…
39.

図書
図書
39. 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  v, 305 p. ; 28 cm
所蔵情報: loading…
40.

図書
図書
40. Proceedings of the Fourth Annual ACM Symposium on Principles of Distributed Computing,: Minaki, Ontario, Canada, August 5-7, 1985 (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., c1985  iv, 316 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼