close
1.

図書
図書
1. Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), Amsterdam The Netherlands, June 9-11, 1997
sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : ACM Press, c1997  ix, 323 p. ; 28 cm
所蔵情報: loading…
2.

図書
図書
2. Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP'01), Florence, Italy, September 3-5, 2001
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN) ; with support from European Association for Programming Languages and Systems & Cybertex
出版情報: New York, N.Y. : Association for Computing Machinery, c2001  ix, 277 p. ; 28 cm
所蔵情報: loading…
3.

図書
図書
3. Proceedings of the ACM SIGPLAN '94 Conference on Programming Language Design and Implementation (PLDI), Orlando, FL, June 20-24, 1994
sponsored by the Special Interest Group on Programming Languages, Association for Computing Machinery
出版情報: New York, N.Y. : ACM Press, c1994  viii, 360 p. ; 28 cm
所蔵情報: loading…
4.

図書
図書
4. Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), Montreal, Canada, 17-19 June, 1998
sponsored by the ACM Special Interest Group on Programming Languages (ACM SIGPLAN)
出版情報: New York, N.Y. : ACM Press, c1998  viii, 357 p. ; 28 cm
所蔵情報: loading…
5.

図書
図書
5. Proceedings of the ACM SIGPLAN '00 Conference on Programming Language Design and Implementation (PLDI), Vancouver, British Columbia, Canada, June 18-21, 2000
sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages, (ACM SIGPLAN)
出版情報: New York, N.Y. : ACM Press, c2000  x, 358 p. ; 28 cm
所蔵情報: loading…
6.

図書
図書
6. Proceedings of the Sixth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Las Vegas, Nevada, 18-21 June, 1997
sponsored by Association for computing Machinery Special Interest Group on Programming Languages
出版情報: New York, N.Y. : Association for Computing Machinery, 1997  viii, 287 p. ; 28 cm
所蔵情報: loading…
7.

図書
図書
7. Proceedings of the Seventh ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Atlanta, Georgia, 4-6 May, 1999
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c1999  viii, 192 p. ; 28 cm
所蔵情報: loading…
8.

図書
図書
8. Proceedings of the Eighth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming : PPoPP'01 : Snowbird, Utah, USA, June 18-20, 2001
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages
出版情報: New York, N.Y. : Association for Computing Machinery, c2001  vii, 144 p. ; 28 cm
所蔵情報: loading…
9.

図書
図書
9. ASPLOS XII : Twelfth International Conference on Architectural Support for Programming Languages and Operating Systems, October 21-25, 2006, San Jose, California, USA ([:pbk])
sponsored by SIGARCH, SIGPLAN, SIGOPS ; with support from AMD ... [et.al]
出版情報: New York : Association for Computing Machinery, c2006  xi, 428 p. ; 28 cm
所蔵情報: loading…
10.

図書
図書
10. ASPLOS XI : Eleventh International Conference on Architectural Support for Programming Languages and Operating Systems, October 9-13, 2004, Boston, Massachusetts ([:pbk])
sponsored by SIGARCH, SIGPLAN, SIGOPS ; with support from AMD ... [et.al]
出版情報: New York : Association for Computing Machinery, c2004  x, 286 p. ; 28 cm
所蔵情報: loading…
目次情報:
Includes bibliographical references and author index
Includes bibliographical references and author index
11.

図書
図書
11. Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '00), Boston, Massachusetts, January 22-23, 2000 (: pbk)
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : ACM Press, c2000  iv, 116 p. ; 28 cm
所蔵情報: loading…
12.

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

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

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

図書
図書
15. Conference record of POPL '00 : the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, Boston, Massachusetts, 19-21 January 2000
sponsored by the Association for Computing Machinery, SIGACT, SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c2000  xi, 402 p. ; 28 cm
所蔵情報: loading…
16.

図書
図書
16. Proceedings of the ACM SIGPLAN '99 Conference on Programming Language Design and Implementation (PLDI), Atlanta, Georgia, 1-4 May, 1999
sponsored by the ACM Special Interest Group on Programming Languages, (ACM SIGPLAN)
出版情報: New York, N.Y. : ACM Press, c1999  x, 304 p. ; 28 cm
所蔵情報: loading…
17.

図書
図書
17. Proceedings of the Fourth ACM SIGPLAN International Conference on Functional Programming (ICFP'99), Paris, France, September 27-29, 1999
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c1999  viii, 283 p. ; 28 cm
所蔵情報: loading…
18.

図書
図書
18. Proceedings of the 2000 International Conference on Software Engineering, June 4-11, 2000, Limerick, Ireland (: ACM ; : IEEE)
sponsored by IEEE Computer Society Technical Council on Software Engineering, ACM Special Interest Group on Software Engineering, Irish Computer Society ; in cooperation with ACM Special Interest Group on Programming Languages
出版情報: New York, N.Y. : ACM Press, 2000  xviii, 843 p. ; 28 cm
所蔵情報: loading…
19.

図書
図書
19. Proceedings of the ACM SIGPLAN-SIGACT Workshop on Program Analysis for Software Tools and Engineering : PASTE '99, Toulouse, France, September 6, 1999
sponsored by the Association for Computing Machinery. Special Interest Group on Programming Languages (SIGPLAN) and Special Interest Group on Software Engineering (SIGSOFT)
出版情報: New York, N.Y. : Association for Computing Machinery, c1999  iv, 109 p. ; 28 cm
シリーズ名: ACM SIGSOFT software engineering notes ; vol. 24, no. 5 Sept. 1999
所蔵情報: loading…
20.

図書
図書
20. ISMM '98 International Symposium on Memory Management, Vancouver, British Columbia, Canada, 17-19 October, 1998 : conference proceedings (: pbk)
sponsored by the ACM Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N. Y. : Association for Computing Machinery, c1998  vii, 195 p. ; 28 cm
シリーズ名: SIGPLAN notices ; v. 34, no. 3, March 1999
所蔵情報: loading…
21.

図書
図書
21. Proceedings, ACM SIGAda Annual international conference (SIGAda '98), (formerly TriAda), November 8-12, 1998, Omni Shoreham Hotel, Washington DC, USA
sponsored by ACM Special Interest Group on Ada (SIGAda), in cooperation SIGAPP [et. al.]
出版情報: New York : Association for Computing Machinery, c1998  xii, 293 p. ; 28 cm
所蔵情報: loading…
22.

図書
図書
22. Proceedings, ACM SIGAda Annual international conference (SIGAda '99), October 17-21, 1999, Crowne Plaza, Redondo Beach & Marina Hotel, Redondo Beach, CA, USA
sponsored by ACM Special Interest Group on Ada (SIGAda)
出版情報: New York : Association for Computing Machinery, c1999  xiv, 251 p. ; 28 cm
所蔵情報: loading…
23.

図書
図書
23. Proceedings of the ACM SIGPLAN 1999 Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES '99), Atlanta, GA, May 5, 1999 (: pbk)
[sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)]
出版情報: New York : Association for Computing Machinery, c1999  vi, 120 p. ; 28 cm
所蔵情報: loading…
24.

図書
図書
24. Proceedings of the IOPADS : Sixth Workshop on I/O in parallel and distributed systems : Part of FCRC '99: The ACM federated computing research conference, May 5, 1999, Atlanta, Georgia
co-sponsored by ACM SIGACT [et. al.], in cooperation with ACM SIGPLAN
出版情報: New Yoek. N.Y. : The Association for Computing Machinery, c1999  v, 98 p. ; 28 cm
所蔵情報: loading…
25.

図書
図書
25. Conference record of POPL '99 : the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, San Antonio, Texas, 20-22 January 1999 (ACM)
sponsored by the Association for Computing Machinery, SIGACT, SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c1998  viii, 324 p. ; 28 cm
所蔵情報: loading…
26.

図書
図書
26. Proceedings, First International Enterprise Distributed Object Computing Workshop : October 24-26, 1997, Gold Coast, Australia
co-sponsored by IEEE Communications Society ; in cooperation with ACM SIGPLAN
出版情報: Los Alamitos, CA : IEEE Computer Society, c1997  xiv, 367 p. ; 28 cm
所蔵情報: loading…
27.

図書
図書
27. Conference record of POPL '98 : the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, San Diego, California, 19-21 January 1998 (ACM)
sponsored by the Association for Computing Machinery, SIGACT, SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c1998  viii, 408 p. ; 28 cm
所蔵情報: loading…
28.

図書
図書
28. Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation : PEPM'97, Amsterdam, The Netherlands, June 12-13, 1997
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c1997  vi, 217 p. ; 28 cm
所蔵情報: loading…
29.

図書
図書
29. Proceedings : 1998 International Conference on Computer Languages, May 14-16, 1998, Chicago, Illinois (: casebound)
sponsored by IEEE Computer Society Technical Committee on Computer Languages ; in cooperation with ACM SIGPLAN
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1998  x, 282 p. ; 28 cm
所蔵情報: loading…
30.

図書
図書
30. Proceedings [of] the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), Las Vegas, Nevada, 15-18 June, 1997
sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : ACM Press, c1997  viii, 365 p. ; 28 cm
所蔵情報: loading…
31.

図書
図書
31. Conference record of POPL '97 : the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, Paris, France, 15-17 January 1997 (ACM)
sponsored by the Association for Computing Machinery. SIGACT, SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c1997  viii, 497 p. ; 28 cm
所蔵情報: loading…
32.

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

図書
図書
33. Proceedings of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation (PLDI), Philadelphia, PA, May 21-24, 1996
sponsored by the Special Interest Group on Programming Languages, Association for Computing Machinery
出版情報: New York, N.Y. : ACM Press, c1996  viii, 300 p. ; 28 cm
シリーズ名: SIGPLAN notices ; v. 31, no. 5
所蔵情報: loading…
34.

図書
図書
34. Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming (ICFP '96), Philadelphia, Pennsylvania, May 24-26, 1996
sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (SIGPLAN), in association with IFIP Working Group 2.8 on Functional Programming
出版情報: New York, N.Y. : ACM Press, c1996  vi, 273 p. ; 28 cm
所蔵情報: loading…
35.

図書
図書
35. Conference record of POPL '96 : the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, St. Petersburg Beach, Florida 21-24 January 1996
sponsored by the Association for Computing Machinery. SIGACT, SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c1996  viii, 423 p. ; 28 cm
所蔵情報: loading…
36.

図書
図書
36. Proceedings of the Fifth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming, PPOPP, Santa Barbara, California, July 19-21, 1995
sponsored by the Special Interest Group on Programming Languages, Association for Computing Machinery
出版情報: New York, N.Y. : Association for Computing Machinery, 1995  viii, 226 p. ; 28 cm
所蔵情報: loading…
37.

図書
図書
37. Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation : PEPM'95, La Jolla, California, June 21-23, 1995
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c1995  vi, 263 p. ; 28 cm
所蔵情報: loading…
38.

図書
図書
38. Proceedings of the ACM SIGPLAN '95 Conference on Programming Language Design and Implementation (PLDI), La Jolla, CA, June 18-21, 1995
sponsored by the Special Interest Group on Programming Languages, Association for Computing Machinery
出版情報: New York, N.Y. : ACM Press, c1995  viii, 327 p. ; 28 cm
所蔵情報: loading…
39.

図書
図書
39. Advanced programming environments : proceedings of an international workshop, Trondheim, Norway, June 16-18, 1986 (: gw ; : us)
edited by Reidar Conradi, Tor M. Didriksen, and Dag H. Wanvik
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1986  vii, 604 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 244
所蔵情報: loading…
40.

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

雑誌
雑誌
41. International Conference on Architectural Support for Programming Languages and Operating Systems : ASPLOS ... proceedings
[sponsored by] SIGARCH, SIGOPS, SIGPLAN
出版情報: New York : Association for Computing Machinery  v. ; 28 cm
所蔵情報: loading…
42.

雑誌
雑誌
42. Proceedings of the ... ACM SIGPLAN International Conference on Functional Programming
ACM SIGPLAN International Conference on Functional Programming ; Association for Computing Machinery ; ACM Special Interest Group in Programming Languages ; IFIP Working Group 2.8 on Functional Programming ; Federated Computing Research Conference
出版情報: New York, N.Y. : Association for Computing Machinery, c1996-  v. ; 28 cm
巻次年月次: 1st (1996)-
所蔵情報: loading…
43.

雑誌
雑誌
43. Proceedings of the ACM SIGSOFT ... International Symposium on the Foundations of Software Engineering
sponsored by the Association for Computing Machinery, Special Interest Group on Software Engineering (SIGSOFT) ; in cooperation with the Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery  v. ; 28 cm
所蔵情報: loading…
44.

雑誌
雑誌
44. Proceedings of the ... ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems : LCTES
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages and Special Interest Group on Embedded Systems (ACM SIGPLAN & SIGBED)
出版情報: New York, N.Y. : Association for Computing Machinery, [2004]-  v. ; 28 cm
巻次年月次: 2004 (2004)-
所蔵情報: loading…
45.

雑誌
雑誌
45. Proceedings of the ... International Conference on Virtual Execution Environments : VEE ..
ACM SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c2005-  v. ; 28 cm
巻次年月次: 1st (June 11-12, 2005)-
所蔵情報: loading…
46.

雑誌
雑誌
46. Proceedings of the ... International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming : PPDP
PPDP ; ACM Special Interest Group in Programming Languages
出版情報: New York : ACM Press, c2000-  v. ; 28 cm
巻次年月次: 2nd (2000)-
所蔵情報: loading…
47.

雑誌
雑誌
47. Proceedings of the ... ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming : PPOPP
SIGPLAN Symposium on Principles & Practice of Parallel Programming ; ACM Special Interest Group in Programming Languages
出版情報: New York, N.Y. : ACM Press  v. ; 28 cm
巻次年月次: -8th (2001) ; 2003 (2003)-
所蔵情報: loading…
48.

雑誌
雑誌
48. International Symposium on Memory Management : ISMM : [proceedings]
sponsored by ACM SIGPLAN
出版情報: New York, N.Y. : ACM Press, c2002-  v. ; 28 cm
巻次年月次: 2002 (2002)-
所蔵情報: loading…
49.

雑誌
雑誌
49. Proceedings of the TLDI : ACM SIGPLAN International Workshop on Types in Languages Design and Implementation : papers presented at the Workshop
sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2003-  v. ; 28 cm
巻次年月次: 2003 (2003)-
所蔵情報: loading…
50.

雑誌
雑誌
50. International Conference on Aspect-Oriented Software Development : AOSD ...
International Conference on Aspect-Oriented Software Development ; Association for Computing Machinery ; ACM Special Interest Group in Programming Languages ; ACM Sigsoft
出版情報: New York, N.Y. : ACM Press, c2002-  v. ; 28 cm
巻次年月次: 1st (2002)-
所蔵情報: loading…
51.

雑誌
雑誌
51. Proceedings of the ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering : PASTE
ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering ; Association for Computing Machinery ; ACM Special Interest Group in Programming Languages ; ACM Sigsoft
出版情報: New York : ACM Press, c1998-  v. ; 28 cm
巻次年月次: [1st] (1998)-
所蔵情報: loading…
52.

雑誌
雑誌
52. Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation : PEPM
ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation ; ACM Special Interest Group in Programming Languages
出版情報: New York, N.Y. : Association for Computing Machinery  v. ; 28 cm
所蔵情報: loading…
53.

雑誌
雑誌
53. Proceedings of the ACM SIGPLAN ... Erlang Workshop
ACM SIGPLAN Erlang Workshop ; ACM SIGPLAN International Conference on Functional Programming ; ACM Special Interest Group in Programming Languages ; Association for Computing Machinery
出版情報: New York, N.Y. : ACM Press  v. ; 28 cm
所蔵情報: loading…
54.

雑誌
雑誌
54. Proceedings of the ... ACM SIGPLAN Haskell Workshop
ACM SIGPLAN Haskell Workshop ; Association for Computing Machinery ; ACM Special Interest Group in Programming Languages ; ACM SIGPLAN International Conference on Functional Programming
出版情報: New York : ACM Press  v. ; 28 cm
所蔵情報: loading…
55.

雑誌
雑誌
55. ACM SIGPLAN notices
ACM Special Interestst Group on Programming Languages
出版情報: New York, N.Y. : ACM Press, [1991]-  v. ; 28 cm
巻次年月次: Vol. 26, no. 10 (Oct. 1991)-
所蔵情報: loading…
56.

雑誌
雑誌
56. Conference record of the ... annual ACM Symposium on Principles of Programming Languages
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. : Association for Computing Machinery, c1978-c1993  v. ; 28 cm
巻次年月次: 5th (Jan. 23/25, 1978)-20th (Jan. 10/13, 1993)
所蔵情報: loading…
57.

雑誌
雑誌
57. OOPS messenger : a quarterly publication of the Special Interest Group on Progamming Languages
ACM Special Interest Group in Programming Languages
出版情報: New York, N.Y. : ACM Press, 1990-1996  v. ; 28 cm
巻次年月次: Vol. 1, no. 1 (Aug. 1990)-v. 7, no. 1 (Jan. 1996)
所蔵情報: loading…
58.

雑誌
雑誌
58. Conference record of ACM Symposium on Principles of Programming Languages
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. : Association for Computing Machinery, c1973-c1977
巻次年月次: [1st] (Oct. 1/3, 1973)-4th (Jan. 17/19, 1977)
所蔵情報: loading…
59.

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

図書
図書
60. Functional programming languages and computer architecture : 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991 : proceedings (: gw ; : us)
J. Hughes, (ed.)
出版情報: Berlin ; New York : Springer-Verlag, c1991  viii, 666 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 523
所蔵情報: loading…
61.

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

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

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

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

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

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

図書
図書
67. Proceedings of the 1992 International Conference on Computer Languages : April 20-23, 1992, Oakland, California (: paper ; : micro. ; : case)
sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Computer Languages in cooperation with ACM SIGNPLAN and IFIP Technical Committee 2
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1992  341 p. ; 28 cm
所蔵情報: loading…
68.

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

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

図書
図書
70. FPCA '89 : the fourth International Conference on Functional Programming Languages and Computer Architecture, Imperial College, London, September 11-13, 1989 (: Addison-Wesley ; : ACM)
sponsored by the Association for Computing Machinery's Special Interest Group on Programming Languages (SIGPLAN), Special Interest Group on Computer Architecture (SIGARCH) and the International Federation for Information Processing
出版情報: Reading, MA : Addison-Wesley , New York : Association for Computing Machinery, c1989  vi, 395 p. ; 28 cm
所蔵情報: loading…
71.

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

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

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

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

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

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

図書
図書
77. FPCA '93 : Conference on Functional Programming Languages and Computer Architecture, Copenhagen, Denmark, 9-11 June, 1993
sponsored by ACM SIGPLAN/SIGGRAPH ; in cooperation with the MIT Laboratory for Computer Science, DIKU, and IFIP Working Group 2.8
出版情報: New York : Association for Computing Machinery, c1993  xi, 350 p. ; 28 cm
所蔵情報: loading…
78.

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

図書
図書
79. Proceedings of the 1994 International Conference on Computer Languages : May 16-19, 1994, Toulouse, France (: soft. ; : case. ; : micro.)
sponsored by IEEE Computer Society Technical Committee on Computer Languages in cooperation with ACM SIGNPLAN, IRIT
出版情報: Los Alamitos, Calif. : IEEE Computer Society Press, c1994  xi, 305 p. ; 28 cm
所蔵情報: loading…
80.

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

図書
図書
81. Proceedings of the ACM SIGPLAN '01 Conference on Programming Language Design and Implementation (PLDI), Snowbird, Utah, June 20-22, 2001
sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages (ACM SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2001  ix, 333 p. ; 28 cm
所蔵情報: loading…
82.

図書
図書
82. Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), Portland, Oregon, USA, January 14-15, 2002 (: pbk)
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : ACM Press, c2002  iv, 144 p. ; 28 cm
所蔵情報: loading…
83.

図書
図書
83. Proceedings of the fourth International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP '02), Pittsburgh, Pennsylvania, USA, October 6-8, 2002
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2002  viii, 216 p. ; 28 cm
所蔵情報: loading…
84.

図書
図書
84. Proceedings of the 2002 ACM SIGPLAN Haskell Workshop (Haskell '02), Pittsburgh, Pennsylvania, USA, October 3, 2002
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2002  iv, 114 p. ; 28 cm
所蔵情報: loading…
85.

図書
図書
85. ACM SIGPLAN Erlang Workshop '02 : a satellite event of PLI 2002, October 7, 2002, Pittsburgh, Pennsylvania, USA
sponsored by ACM SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c2002  vi, 72 p. ; 28 cm
所蔵情報: loading…
86.

図書
図書
86. Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-based Programming (RULE '02), Pittsburgh, Pennsylvania, USA, October 5, 2002
sponsored by the Association for Computing Machinery. Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2002  iv, 106 p. ; 28 cm
所蔵情報: loading…
87.

図書
図書
87. Conference record, ACM SIGPLAN Asia-PEPM 2002 : the Asian Symposium on Partial Evaluation and Semantics-based Program Manipulation : papers presented at the symposium, Aizu, Japan, September 12-14, 2002
sponsored by ACM Special Interest Group on Programming Languages (SIGPLAN) ; supported by the University of Aizu
出版情報: New York, N.Y. : Association for Computing Machinery, c2002  vi, 150 p. ; 28 cm
所蔵情報: loading…
88.

図書
図書
88. LCTES '02 - SCOPES '02 : joint Conference on Languages, Compilers, and Tools for Embedded Systems & Software and Compilers for Embedded Systems, Crowne Plaza Berlin City Centre, Berlin, Germany, 19-21 June 2002
sponsored by ACM SIGPLAN ; in cooperation with EDAA ; co-located with PLDI 2002 ; Peter Marwedel & Srinivas Devadas, editors
出版情報: New York : Association for Computing Machinery, c2002  ix, 234 p. ; 28 cm
所蔵情報: loading…
89.

図書
図書
89. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP '03), San Diego, California, USA, June 11-13, 2003
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (ACM SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2003  vi, 242 p. ; 28 cm
所蔵情報: loading…
90.

図書
図書
90. Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '03), San Diego, California, USA, June 7th, 2003
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (ACM SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2003  vi, 94 p. ; 28 cm
所蔵情報: loading…
91.

図書
図書
91. Proceedings of the 2003 ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES '03), San Diego, California, USA, June 11-13, 2003
sponsored by the Association for Computing Machinery. Special Interest Group on Programming Languages (ACM SIGPLAN)
出版情報: New York : Association for Computing Machinery, c2003  viii, 296 p. ; 28 cm
所蔵情報: loading…
92.

図書
図書
92. ISMM 2002 : International Symposium on Memory Management, Crown Plaza Berlin City Centre, Berlin, Germany, 20-21 June 2002
sponsored by ACM SIGPLAN ; co-located with PLDI 2002
出版情報: New York : Association for Computing Machinery, c2002  vi, 186 p. ; 28 cm
所蔵情報: loading…
93.

図書
図書
93. Proceedings of the seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), Pittsburgh, Pennsylvania, USA, October 4-6, 2002
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN) ; with support from European Association for Programming Languages and Systems & Cybertex
出版情報: New York, N.Y. : Association for Computing Machinery, c2002  ix, 284 p. ; 28 cm
所蔵情報: loading…
94.

図書
図書
94. Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP '01), Florence, Italy, September 5-7, 2001
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2001  vi, 226 p. ; 28 cm
所蔵情報: loading…
95.

図書
図書
95. ASPLOS-IX proceedings : ninth International Conference on Architectural Support for Programming Languages and Operating Systems, Cambridge, Massachusetts, November 12-15, 2000
International Conference on Architectural Support for Programming Languages and Operating Systems ; Association for Computing Machinery ; SIGARCH ; ACM Special Interest Group in Operating Systems ; ACM Special Interest Group in Programming Languages
出版情報: New York, N.Y. : Association for Computing Machinery, c2000  ix, 271 p. ; 28 cm
所蔵情報: loading…
96.

図書
図書
96. Proceedings of the fifth ACM SIGPLAN International Conference on Functional Programming (ICFP'00), Montréal, Canada, September 18-21, 2000
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2000  ix, 294 p. ; 28 cm
所蔵情報: loading…
97.

図書
図書
97. Proceedings of the 2002 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering : PASTE '02, November 18-19, 2002, Charleston, South Carolina, USA
sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages and Special Interest Group on Software Engineering
出版情報: New York, N.Y. : Association for Computing Machinery, c2002  vi, 86 p. ; 28 cm
所蔵情報: loading…
98.

図書
図書
98. SIGSOFT 2002/FSE 10 : proceedings of the tenth ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-10), November 18-22, 2002, Charleston, South Carolina, USA
edited by William G. Griswold ; sponsored by Special Interest Group on Software Engineering ; in cooperation with SIGPLAN
出版情報: New York, N.Y. : Association for Computing Machinery, c2002  vi, 178 p. ; 28 cm
所蔵情報: loading…
99.

図書
図書
99. Conference record of POPL 2003 : the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : papers presented at the symposium, New Orleans, Louisiana, USA, January 15-17, 2003
sponsored by the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN)
出版情報: New York, N.Y. : Association for Computing Machinery, c2003  vii, 299 p. ; 28 cm
所蔵情報: loading…
100.

図書
図書
100. OOPSLA 2002 : 17th ACM Conference on Object-oriented Programming, Systems, Languages, and Applications, conference proceedings, November 4-8, 2002, Washington State Convention and Trade Center, Seattle, Washington, USA
sponsored by ACM SIGPLAN ; in cooperation with ACM SIGSOFT
出版情報: New York, N.Y. : the Associaton for Computing Machinery, c2002  x, 386 p. ; 28 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼