Research Catalog

  • Proceedings of the ACM Symposium on Principles of Database Systems : 29-31 March 1982, Marina del Ray Hotel, Los Angeles, California / Special Interest Group for Automata and Computability Theory (SIGACT), Special Interest Group for the Management of Data (SIGMOD).

    • Text
    • New York, N.Y. : Association for Computing Machinery, c1982.
    • 1982
    • 1 Item
    FormatCall NumberItem Location
    Text JLF 83-775Offsite
  • Proceedings of the second ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 21-23 March 1983, Colony Square Hotel, Atlanta, Georgia / Special Interest Group for Automata and Computability Theory (SIGACT), Special Interest Group for the Management of Data (SIGMOD).

    • Text
    • New York : Association for Computing Machinery ; Baltimore, Md. : Additional copies available from ACM Order Dept., c1983.
    • 1983
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 84-677Offsite
  • 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 / sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory [and] Special Interest Group on Programming Languages.

    • Text
    • New York, N.Y. : ACM ; Baltimore, MD : May be ordered from ACM Order Dept., c1982.
    • 1982
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 85-400Offsite
  • Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems : April 2-4, 1984, Waterloo, Ontario, Canada / [sponsored by] Special Interest Group for Automata and Computability Theory (SIGACT), Special Interest Group for the Management of Data (SIGMOD).

    • Text
    • New York, N.Y. : Association for Computing Machinery ; Baltimore, MD : May be ordered prepaid from ACM Order Dept., c1984.
    • 1984
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 86-284Offsite
  • Proceedings of the Second Annual ACM Symposium on Principles of Distributed Computing, Montreal, Quebec, Canada, August 17-19, 1983 / sponsored by the ACM Special Interest Group for Automata and Computability Theory, and Special Interest Group for Operating System Principles.

    • Text
    • New York, N.Y. : Association for Computing Machinery ; Baltimore, MD. : Copies from ACM Order Dept., c1983.
    • 1983
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 86-946Offsite
  • Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 29-31, 1989, Philadelphia, Pennsylvania / 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).

    • Text
    • New York, N.Y. : ACM Press, c1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 90-430Offsite
  • Proceedings of the second annual ACM Symposium on Computational Geometry : Yorktown Heights, New York, June 2-4, 1986 / sponsored by the ACM Special Interest Groups for Graphics and Automata and Computability Theory.

    • Text
    • New York, N.Y. : Association for Computing Machinery ; Baltimore, MD : Copies from ACM Order Dept., c1986.
    • 1986
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 88-1842Offsite
  • Proceedings of the 1989 ACM Symposium on Parallel Algorithms and Architectures, June 18-21, 1989, Santa Fe, New Mexico / sponsored by ACM SIGACT, ACM SIGARCH, in cooperation with IEEE and EATCS.

    • Text
    • New York, N.Y. : Association for Computing Machinery ; Baltimore, MD : ACM Order Dept. [distributor], c1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 90-813Offsite
  • Proceedings of the fifth annual Symposium on Computational Geometry : Saarbrücken, West Germany, June 5-7, 1989 / sponsored by the ACM Special Interest Groups for Graphics and Automata and Computability Theory.

    • Text
    • New York, N.Y. : ACM Press, c1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 90-879Offsite
  • Proceedings of the eighth annual ACM Symposium on Principles of Distributed Computing : Edmonton, Alberta, Canada, August 14-16, 1989 / sponsored by the ACM Special Interest Group for Automata and Computability Theory, and Special Interest Group for Operating System Principles.

    • Text
    • New York, N.Y. : Association for Computing Machinery, c1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 90-506Offsite
  • Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems : April 2-4, 1990, Nashville Tennessee / 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).

    • Text
    • New York, N.Y. : Association for Computing Machinery, c1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 91-310Offsite
  • 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.

    • Text
    • New York, N.Y. : ACM Press ; Baltimore, MD : ACM Order Dept. [distributor], c1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 91-608Offsite
  • 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.

    • Text
    • New York, N.Y. : Association for Computing Machinery ; Baltimore, MD : ACM Order Dept. [distributor], c1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 91-609Offsite
  • Proceedings of the sixth annual Symposium on Computational Geometry : Berkeley, California, June 6-8, 1990 / sponsored by the ACM Special Interest Groups for Graphics and Automata and Computability Theory.

    • Text
    • New York, N.Y. : Association for Computing Machinery ; Baltimore, MD : ACM Order Dept. [distributor], c1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 91-610Offsite
  • Proceedings of the 1990 ACM Conference on LISP and Functional Programming : papers presented at the conference, Nice, France, June 27-29, 1990 / sponsored by the Association for Computing Machinery, SIGPLAN, SIGACT, SIGART and in cooperation with SIGSAM.

    • Text
    • New York, N.Y. : Association for Computing Machinery ; Baltimore, MD : Copies from ACM Order Dept., 1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 92-85Offsite
  • Proceedings / Structure in Complexity Theory ... Annual Conference.

    • Text
    • Washington, D.C. : IEEE Computer Society Press, c1987-1995.
    • 1987-1995
    • 6 Items
    FormatCall NumberItem Location
    Text JSP 92-266 Library has: 2nd (June 16-19, 1987)-10th (June 19-22, 1995) (incomplete). 1994Offsite
    FormatCall NumberItem Location
    Text JSP 92-266 1995Offsite
    FormatCall NumberItem Location
    Text JSP 92-266 Library has: 2nd (June 16-19, 1987)-10th (June 19-22, 1995) (incomplete). v. 6 (1991)Offsite
  • Conference proceedings of the ... annual ACM Symposium on Theory of Computing.

    • Text
    • New York : Association for Computing Machinery, 1980-
    • 1980-present
    • 37 Items
    FormatCall NumberItem Location
    PRINT JSM 99-140Schwarzman Building - Main Reading Room 315

    Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.

    FormatCall NumberItem Location
    Text JSM 99-140 v. 38 (2006)Offsite
    FormatCall NumberItem Location
    PRINT JSM 99-140Schwarzman Building - Main Reading Room 315

    Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.

  • Proceedings / Symposium on Logic in Computer Science.

    • Text
    • Washington, D.C. : IEEE Computer Society Press, 1986-
    • 1986-present
    • 17 Items
    FormatCall NumberItem Location
    Text JSP 92-265 2003 v. 18Offsite
    FormatCall NumberItem Location
    Text JSP 92-265 2004 v. 19Offsite
    FormatCall NumberItem Location
    Text JSP 92-265 2005 v. 20Offsite
  • Proceedings of the sixth annual ACM Symposium on Principles of Distributed Computing, Vancouver, British Columbia, Canada, August 10-12, 1987 / sponsored by the ACM Special Interest Group for Automata and Computability Theory, and Special Interest Group for Operating System Principles.

    • Text
    • New York, N.Y. : Association for Computing Machinery, c1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Text JSF 88-501Offsite
  • Proceedings of the Sixth Annual Structure in Complexity Theory Conference : June 30-July 3, 1991, University of Chicago, Chicago, Illinois / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, University of Chicago, in cooperation with ACM SIGACT, EATCS.

    • Text
    • Los Alamitos, Calif. : IEEE Computer Society Press ; Piscataway, NJ : Additional copies can be ordered from IEEE Service Center, [1991], ©1991.
    • 1991-1991
    • 1 Item
    FormatCall NumberItem Location
    Text QA267.7 .S75 1991gOff-site
  • Proceedings of the ... ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems.

    • Text
    • New York, N.Y. : Association for Computing Machinery, ©1987-
    • 1987-present
    • 13 Items
    FormatCall NumberItem Location
    Text QA76.9.D3 A294a 21st (2002)Off-site
    FormatCall NumberItem Location
    Text QA76.9.D3 A294a 22nd (2003)Off-site
    FormatCall NumberItem Location
    Text QA76.9.D3 A294a 24th (2005)Off-site
  • Proceedings of the ... Annual ACM Symposium on Principles of Distributed Computing / sponsored by the ACM Special Interest Group for Automata and Computability Theory, and Special Interest Group for Operating System Principles.

    • Text
    • New York, N.Y. : Association for Computing Machinery, ©1983-
    • 1983-present
    • 14 Items
    FormatCall NumberItem Location
    Text QA76.9.D5 A34a 19th (2000)Off-site
    FormatCall NumberItem Location
    Text QA76.9.D5 A34a 20th (2001)Off-site
    FormatCall NumberItem Location
    Text QA76.9.D5 A34a 21st (2002)Off-site
  • 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.

    • Text
    • New York, N.Y. : The Association, ©1978-
    • 1978-present
    • 14 Items
    FormatCall NumberItem Location
    Text QA76.7 .A15 24th (1997)Off-site
    FormatCall NumberItem Location
    Text QA76.7 .A15 26th (1999)Off-site
    FormatCall NumberItem Location
    Text QA76.7 .A15 27th (2000)Off-site
  • ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing : [papers] / sponsored by the ACM Special Interest Group for Automata and Computing Theory [and] the ACM Special Interest Group for Operating Systems.

    • Text
    • New York, N.Y. : Association for Computing Machinery, [1982], ©1982.
    • 1982-1982
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.D5 A3 (1982)Off-site
  • Proceedings of the Seventh Annual Structure in Complexity Theory Conference : June 22-25, 1992, Boston University, Boston, Massachusetts / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, Boston University, Boston College, Northeastern University, in cooperation with ACM SIGACT and EATCS.

    • Text
    • Los Alamitos, Calif. : IEEE Computer Society Press ; Piscataway, NJ : Additional copies can be ordered from IEEE Service Center, [1992], ©1992.
    • 1992-1992
    • 1 Item
    FormatCall NumberItem Location
    Text QA267.7 .S75 1992gOff-site
  • Proceedings of the twenty-fourth annual ACM Symposium on Theory of Computing, Victoria, British Columbia, Canada, May 4-6, 1992 / sponsored by the ACM Special Interest Group for Automata and Computability Theory.

    • Text
    • New York : ACM Press, 1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Text QA267.7 .A15 1992gOff-site
  • Proceedings of the Fifth Annual ACM Workshop on Computational Learning Theory : July 27-29, 1992, Pittsburgh, Pennsylvania / sponsored by ACM SIGACT and ACM SIGART.

    • Text
    • New York : ACM Press, [1992], ©1992.
    • 1992-1992
    • 1 Item
    FormatCall NumberItem Location
    Text Q325.5 .W67 1992gOff-site
  • Proceedings of the eighth Annual Structure in Complexity Theory Conference : May 18-21, 1993, San Diego, California / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, Boston University ; in cooperation with ACM SIGACT and EATCS ; in association with the Federated Computing Research Conference, the Computing Research Association, the National Science Foundation.

    • Text
    • Los Alamitos, Calif. : IEEE Computer Society Press ; Piscataway, NJ : IEEE Service Center, [1993], ©1993.
    • 1993-1993
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .P756 1993gOff-site
  • Proceedings of the ... annual ACM Symposium on Theory of Computing.

    • Text
    • New York, N.Y. : Association for Computing Machinery, Inc., c1982-
    • 1982-present
    • 20 Items
    FormatCall NumberItem Location
    Text QA76.6 .A132 v.26 1994Off-site
    FormatCall NumberItem Location
    Text QA76.6 .A132 v.29 1997Off-site
    FormatCall NumberItem Location
    Text QA76.6 .A132 v.31 1999Off-site
  • Proceedings of the Ninth Annual Structure in Complexity Theory Conference / June 28-July 1, 1994, Amsterdam, the Netherlands ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM-SIGACT, EATCS.

    • Text
    • Los Alamitos, Calif. : IEEE Computer Society Press, [1994], ©1994.
    • 1994-1994
    • 1 Item
    FormatCall NumberItem Location
    Text QA267.7 .S75 1994gOff-site
  • Proceedings of the 1994 ACM Conference on LISP and Functional Programming : papers presented at the conference, Orlando, Florida, June 27-29 / sponsored by the Association for Computing Machinery, SIGPLAN, SIGACT, SIGART ; [conference chair, Robert R. Kessler].

    • Text
    • New York : ACM Press : Order prepaid from ACM Order Department, [1994], ©1994.
    • 1994-1994
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.73.L23 A26 1994Off-site
  • Proceedings of the Symposium on Computational Geometry.

    • Text
    • New York, N.Y. : Association for Computing Machinery, [1985], ©1985.
    • 1985-1985
    • 1 Item
    FormatCall NumberItem Location
    Text QA448.D38 S96a 1st:1985Off-site
  • Proceedings of the sixth annual ACM Conference on Computational Learning Theory : July 26th-28th, 1993 / sponsored by ACM SIGACT and ACM SIGART.

    • Text
    • [New York, N.Y.] : [Association for Computer Machinery] : [ACM Order Department [distributor], [1993], ©1993]
    • 1993-1993
    • 1 Item
    FormatCall NumberItem Location
    Text Q325.5 .A25 1993gOff-site
  • SPAA : proceedings of the ... ACM Symposium on Parallel Algorithms and Architectures.

    • Text
    • New York, N.Y. : Association for Computing Machinery, ©1989-
    • 1989-present
    • 13 Items
    FormatCall NumberItem Location
    Text QA76.58 .A27 16th (2004)Off-site
    FormatCall NumberItem Location
    Text QA76.58 .A27 17th. (2005)Off-site
    FormatCall NumberItem Location
    Text QA76.58 .A27 18th (2006)Off-site
  • Proceedings, Tenth Annual Structure in Complexity Theory Conference / June 19-22, 1995, Minneapolis, Minnesota ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM-SIGACT, EATCS.

    • Text
    • Los Alamitos, Calif. : IEEE Computer Society Press, [1995], ©1995.
    • 1995-1995
    • 1 Item
    FormatCall NumberItem Location
    Text QA267.7 .S75 1995gOff-site
  • Proceedings of the ... annual ACM-SIAM Symposium on Discrete Algorithms.

    • Text
    • Philadelphia : Society for Industrial and Applied Mathematics, ©1990-
    • 1990-present
    • 22 Items
    FormatCall NumberItem Location
    Text QA76.9.A43 A34a 20th (2009)Off-site
    FormatCall NumberItem Location
    Text QA76.9.A43 A34a 21st (2010)Off-site
    FormatCall NumberItem Location
    Text QA76.9.A43 A34a 22nd (2011)Off-site
  • Proceedings of the Tenth Annual Conference on Computational Learning Theory : July 6th-9th, 1997, Nashville, Tennessee / sponsored by Vanderbilt University in cooperation with ACM SIGACT and ACM SIGART.

    • Text
    • New York, N.Y. : Association for Computer Machinery, [1997], ©1997.
    • 1997-1997
    • 1 Item
    FormatCall NumberItem Location
    Text Q325.7 .C66 1997gOff-site
  • Conference record of the ... annual ACM Symposium on Theory of Computing.

    • Text
    • New York, N.Y. : Association for Computing Machinery, -1979.
    • 1969-1979
    • 10 Items
    FormatCall NumberItem Location
    Text QA76.6 A13 9th (1977)Off-site
    FormatCall NumberItem Location
    Text QA76.6 A13 10th (1978)Off-site
    FormatCall NumberItem Location
    Text QA76.6 A13 11th (1979)Off-site
  • RECOMB '99 : proceedings of the third annual International Conference on Computational Molecular Biology, April 11-14, 1999, Hôtel de Lyon Métropole, Lyon, France / Sorin Istrail, Pavel Pevzner, Michael Waterman editors ; sponsored by Association for Computing Machinery, SIGACT ; with support from U.S. Department of Energy [and others].

    • Text
    • New York : Association for Computing Machinery, [1999], ©1999.
    • 1999-1999
    • 1 Item
    FormatCall NumberItem Location
    Text QH506 .I5 1999gOff-site
  • Proceedings of the twelfth annual ACM Conference on Computational Learning Theory : COLT 99 : July 6-9, 1999 : Santa Cruz, California / in cooperation with ACM SIGACT and ACM SIGART.

    • Text
    • New York, N.Y. : Association for Computer Machinery, [1999], ©1999.
    • 1999-1999
    • 1 Item
    FormatCall NumberItem Location
    Text Q325.5 .A25 1999gOff-site
  • RECOMB 2000 : proceedings of the fourth annual International Conference on Computational Molecular Biology, April 8-11, 2000, Tokyo, Japan / Ron Shamir [and others] editors ; sponsored by Association for Computing Machinery, SIGACT ; with support from Agilent Technologies [and others].

    • Text
    • New York : Association for Computing Machinery, [2000], ©2000.
    • 2000-2000
    • 1 Item
    FormatCall NumberItem Location
    Text QH506 .I45 2000gOff-site
  • SIGACT news.

    • Text
    • Tucson, Ariz. : ACM Special Interest Group on Automata and Computability Theory
    • 19-present
    • 21 Items
    FormatCall NumberItem Location
    Text QA76.A1 S5433 v.35 (2004)Off-site
    FormatCall NumberItem Location
    Text QA76.A1 S5433 v.36 (2005)Off-site
    FormatCall NumberItem Location
    Text QA76.A1 S5433 v.37 (2006)Off-site
  • RECOMB 2001 : proceedings of the Fifth Annual International Conference on Computational Biology, April 22-25, 2001, Montreal, Canada / Thomas Lengauer [and others] editors ; sponsored by Association for Computing Machinery, SIGACT ; with support from Celera Genomics [and others].

    • Text
    • New York : Association for Computing Machinery, [2001], ©2001.
    • 2001-2001
    • 2 Items
    FormatCall NumberItem Location
    Text Off-site
    Not available - Please for assistance.
    FormatCall NumberItem Location
    Text QH506 .I45 2001gOff-site
  • RECOMB 2002 : proceedings of the Sixth Annual International Conference on Computational Biology, April 18-21, 2002, Washington, DC, USA / Gene Myers [and others] editors ; sponsored by Association for Computing Machinery, SIGACT ; with support from Celera [and others].

    • Text
    • New York : Association for Computing Machinery, [2002], ©2002.
    • 2002-2002
    • 1 Item
    FormatCall NumberItem Location
    Text QH506 .I45 2002gOff-site
  • RECOMB 2003 : proceedings of the Seventh Annual International Conference on Research in Computational Molecular Biology, April 10-13, 2003, Berlin, Germany / under the patronage of Edelgard Bulmahn ; sponsored by Association for Computing Machinery, SIGACT ; with support from the German Federal Ministry for Education and Research ... [et al.].

    • Text
    • 2003
    • 1 Item
    FormatCall NumberItem Location
    Text QH506 .I45 2003gOff-site
  • RECOMB 2004 : proceedings of the Eighth Annual International Conference on Research in Computational Molecular Biology, March 27-31, 2004, San Diego, California, USA / Dan Gusfield, Philip Bourne, Sorin Istrail, Pavel Pevzner, Michael Waterman, editors ; sponsored by SIGACT.

    • Text
    • 2004
    • 1 Item
    FormatCall NumberItem Location
    Text QH506 .I44 2004gOff-site
  • Proceedings / Symposium on Logic in Computer Science.

    • Text
    • Washington, D.C. : IEEE Computer Society Press, ©1986-
    • 1986-present
    • 18 Items
    FormatCall NumberItem Location
    Text QA76.6 .S95 16th (2001)Off-site
    FormatCall NumberItem Location
    Text QA76.6 .S95 17th (2002)Off-site
    FormatCall NumberItem Location
    Text QA76.6 .S95 18th (2003)Off-site
  • Annual Symposium on Foundations of Computer Science : [papers].

    • Text
    • [New York] : [Institute of Electrical and Electronics Engineers]
    • 1975-1989
    • 15 Items
    FormatCall NumberItem Location
    Text TK7885.A1 S85 v.28 (1987)Off-site
    FormatCall NumberItem Location
    Text TK7885.A1 S85 v.29 (1988)Off-site
    FormatCall NumberItem Location
    Text TK7885.A1 S85 v.30 (1989)Off-site
  • Conference proceedings of the ... annual ACM Symposium on Theory of Computing.

    • Text
    • 1980-1981
    • 2 Items
    FormatCall NumberItem Location
    Text QA76.6 .A131 v.13 1981Off-site
    FormatCall NumberItem Location
    Text QA76.6 .A131 v.12 1980Off-site
  • Automata, languages and programming. 2d Colloquium, University of Saarbrücken, July 29 - August 2, 1974. Edited by Jacques Loeckx.

    • Text
    • 1974
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .C57 1974Off-site
    Not available - Please for assistance.

No results found from Digital Research Books Beta

Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.

digital-research-book
Explore Digital Research Books Beta