Conference Record of POPL 97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Conference Record of POPL 97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Author :
Publisher : Pearson Education
Total Pages : 314
Release :
ISBN-10 : 0897918533
ISBN-13 : 9780897918534
Rating : 4/5 (534 Downloads)

Book Synopsis Conference Record of POPL 97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages by : Association for Computing Machinery

Download or read book Conference Record of POPL 97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages written by Association for Computing Machinery and published by Pearson Education. This book was released on 1997 with total page 314 pages. Available in PDF, EPUB and Kindle. Book excerpt: Proceedings -- Parallel Computing.


Conference Record of POPL 97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages Related Books

Conference Record of POPL 97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Language: en
Pages: 314
Authors: Association for Computing Machinery
Categories: Computers
Type: BOOK - Published: 1997 - Publisher: Pearson Education

DOWNLOAD EBOOK

Proceedings -- Parallel Computing.
Conference Record of POPL '98
Language: en
Pages: 428
Authors: Association for Computing Machinery
Categories: Computers
Type: BOOK - Published: 1998 - Publisher: Association for Computing Machinery (ACM)

DOWNLOAD EBOOK

Proceedings of the 2002 ACM SIGPLAN International Conference on Functional Programming (ICFP '02)
Language: en
Pages: 298
Authors:
Categories: Computer science
Type: BOOK - Published: 2002 - Publisher: Pearson Education

DOWNLOAD EBOOK

Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), Florence, Italy, September 3-5, 2001
Language: en
Pages: 292
Automated Deduction – CADE-20
Language: en
Pages: 470
Authors: Robert Nieuwenhuis
Categories: Computers
Type: BOOK - Published: 2005-07-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held in Tallinn, Estonia, in July 2005. The