Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-50 of 76 results for author "ACM Special Interest Group for Automata and Computability Theory."
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
Item details Format Call Number Item Location Text JLF 83-775 Offsite 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
Item details Format Call Number Item Location Text JSF 84-677 Offsite 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
Item details Format Call Number Item Location Text JSF 85-400 Offsite 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
Item details Format Call Number Item Location Text JSF 86-284 Offsite 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
Item details Format Call Number Item Location Text JSF 86-946 Offsite 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
Item details Format Call Number Item Location Text JSF 90-430 Offsite 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
Item details Format Call Number Item Location Text JSF 88-1842 Offsite 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
Item details Format Call Number Item Location Text JSF 90-813 Offsite 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
Item details Format Call Number Item Location Text JSF 90-879 Offsite 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
Item details Format Call Number Item Location Text JSF 90-506 Offsite 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
Item details Format Call Number Item Location Text JSF 91-310 Offsite 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
Item details Format Call Number Item Location Text JSF 91-608 Offsite 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
Item details Format Call Number Item Location Text JSF 91-609 Offsite 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
Item details Format Call Number Item Location Text JSF 91-610 Offsite 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
Item details Format Call Number Item Location Text JSF 92-85 Offsite Proceedings / Structure in Complexity Theory ... Annual Conference.
- Text
- Washington, D.C. : IEEE Computer Society Press, c1987-1995.
- 1987-1995
- 6 Items
Item details Format Call Number Item Location Text JSP 92-266 Library has: 2nd (June 16-19, 1987)-10th (June 19-22, 1995) (incomplete). 1994 Offsite Item details Format Call Number Item Location Text JSP 92-266 1995 Offsite Item details Format Call Number Item 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
Item details Format Call Number Item Location PRINT JSM 99-140 Schwarzman 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.
Item details Format Call Number Item Location Text JSM 99-140 v. 38 (2006) Offsite Item details Format Call Number Item Location PRINT JSM 99-140 Schwarzman 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
Item details Format Call Number Item Location Text JSP 92-265 2003 v. 18 Offsite Item details Format Call Number Item Location Text JSP 92-265 2004 v. 19 Offsite Item details Format Call Number Item Location Text JSP 92-265 2005 v. 20 Offsite 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
Item details Format Call Number Item Location Text JSF 88-501 Offsite 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
Item details Format Call Number Item Location Text QA267.7 .S75 1991g Off-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
Item details Format Call Number Item Location Text QA76.9.D3 A294a 21st (2002) Off-site Item details Format Call Number Item Location Text QA76.9.D3 A294a 22nd (2003) Off-site Item details Format Call Number Item 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
Item details Format Call Number Item Location Text QA76.9.D5 A34a 19th (2000) Off-site Item details Format Call Number Item Location Text QA76.9.D5 A34a 20th (2001) Off-site Item details Format Call Number Item 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
Item details Format Call Number Item Location Text QA76.7 .A15 24th (1997) Off-site Item details Format Call Number Item Location Text QA76.7 .A15 26th (1999) Off-site Item details Format Call Number Item 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
Item details Format Call Number Item 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
Item details Format Call Number Item Location Text QA267.7 .S75 1992g Off-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
Item details Format Call Number Item Location Text QA267.7 .A15 1992g Off-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
Item details Format Call Number Item Location Text Q325.5 .W67 1992g Off-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
Item details Format Call Number Item Location Text QA267 .P756 1993g Off-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
Item details Format Call Number Item Location Text QA76.6 .A132 v.26 1994 Off-site Item details Format Call Number Item Location Text QA76.6 .A132 v.29 1997 Off-site Item details Format Call Number Item Location Text QA76.6 .A132 v.31 1999 Off-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
Item details Format Call Number Item Location Text QA267.7 .S75 1994g Off-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
Item details Format Call Number Item Location Text QA76.73.L23 A26 1994 Off-site Proceedings of the Symposium on Computational Geometry.
- Text
- New York, N.Y. : Association for Computing Machinery, [1985], ©1985.
- 1985-1985
- 1 Item
Item details Format Call Number Item Location Text QA448.D38 S96a 1st:1985 Off-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
Item details Format Call Number Item Location Text Q325.5 .A25 1993g Off-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
Item details Format Call Number Item Location Text QA76.58 .A27 16th (2004) Off-site Item details Format Call Number Item Location Text QA76.58 .A27 17th. (2005) Off-site Item details Format Call Number Item 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
Item details Format Call Number Item Location Text QA267.7 .S75 1995g Off-site Proceedings of the ... annual ACM-SIAM Symposium on Discrete Algorithms.
- Text
- Philadelphia : Society for Industrial and Applied Mathematics, ©1990-
- 1990-present
- 22 Items
Item details Format Call Number Item Location Text QA76.9.A43 A34a 20th (2009) Off-site Item details Format Call Number Item Location Text QA76.9.A43 A34a 21st (2010) Off-site Item details Format Call Number Item 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
Item details Format Call Number Item Location Text Q325.7 .C66 1997g Off-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
Item details Format Call Number Item Location Text QA76.6 A13 9th (1977) Off-site Item details Format Call Number Item Location Text QA76.6 A13 10th (1978) Off-site Item details Format Call Number Item 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
Item details Format Call Number Item Location Text QH506 .I5 1999g Off-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
Item details Format Call Number Item Location Text Q325.5 .A25 1999g Off-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
Item details Format Call Number Item Location Text QH506 .I45 2000g Off-site SIGACT news.
- Text
- Tucson, Ariz. : ACM Special Interest Group on Automata and Computability Theory
- 19-present
- 21 Items
Item details Format Call Number Item Location Text QA76.A1 S5433 v.35 (2004) Off-site Item details Format Call Number Item Location Text QA76.A1 S5433 v.36 (2005) Off-site Item details Format Call Number Item 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
- 1 Item
Available Online
http://www.acm.org/pubs/contents/proceedings/Item details Format Call Number Item Location Text QH506 .I45 2001g Off-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
Item details Format Call Number Item Location Text QH506 .I45 2002g Off-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
Item details Format Call Number Item Location Text QH506 .I45 2003g Off-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
Item details Format Call Number Item Location Text QH506 .I44 2004g Off-site Proceedings / Symposium on Logic in Computer Science.
- Text
- Washington, D.C. : IEEE Computer Society Press, ©1986-
- 1986-present
- 18 Items
Item details Format Call Number Item Location Text QA76.6 .S95 16th (2001) Off-site Item details Format Call Number Item Location Text QA76.6 .S95 17th (2002) Off-site Item details Format Call Number Item 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
Item details Format Call Number Item Location Text TK7885.A1 S85 v.28 (1987) Off-site Item details Format Call Number Item Location Text TK7885.A1 S85 v.29 (1988) Off-site Item details Format Call Number Item 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
Item details Format Call Number Item Location Text QA76.6 .A131 v.12 1980 Off-site Item details Format Call Number Item Location Text QA76.6 .A131 v.13 1981 Off-site Automata, languages and programming. 2d Colloquium, University of Saarbrücken, July 29 - August 2, 1974. Edited by Jacques Loeckx.
- Text
- 1974
- 1 Item
Item details Format Call Number Item Location Text QA267 .C57 1974 Off-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.
