Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Selected filters.Clear Filters
Displaying 1-37 of 37 results for author "ACM Special Interest Group for Automata and Computability Theory. http://id.loc.gov/authorities/names/n79018778"
PCK50 : principles of computing & knowledge : Paris C. Kanellakis Memorial Workshop, on the occasion of his 50th birthday : San Diego, California, USA, June 8th, 2003 / sponsored by ACM Special Interest Group for Automata and Computing Theory (SIGACT), ACM Special Interest Group on Management of Data (SIGMOD).
- Text
- New York : Association for Computing Machinery, [2003], ©2003.
- 2003-2003
- 1 Item
Available Online
http://portal.acm.org/toc.cfm?id=778348&type=proceeding&coll=GUIDE&dl=ACM&type=proceeding&coll=GUIDE&dl=ACMItem details Format Call Number Item Location Text QA75.5 .P28 2003g 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 with support from DIMACS, University of Minnesota, Cornell University.
- Text
- Los Alamitos, Calif. : IEEE Computer Society Press, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA267.7 .S77 1995 Off-site Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science, June 26-29, 1995, San Diego, California / edited by Dextere Kozen ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, in cooperation with Special Interest Group on Automata and Computability Theory of the ACM, Association for Symbolic Logic, European Association for Theoretical Computer Science, with support from AT&T Bell Laboratories ... [et al.].
- Text
- Los Alamitos, Calif. : IEEE Computer Society Press, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .S9813 1995 Off-site Proceedings, Eleventh Annual IEEE Conference on Computational Complexity, May 24-27, 1996, Philadelphia, Pennsylvania / sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in cooperation with ACM SIGACT, EATCS with support from State University of New York at Buffalo ; edited by Steve Homer and Jin-Yi Cai.
- Text
- Los Alamitos, Calif. : IEEE Computer Society Press, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text QA267.7 .S77 1996 Off-site Proceedings, 11th Annual IEEE Symposium on Logic in Computer Science : July 27-30, 1996, New Brunswick, New Jersey / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM Special Interest Group on Automata and Computability Theory, the Association for Symbolic Logic, the European Association for Theoretical Computer Science ; with support from AT&T Research, Bell Laboratories--Lucent Technologies DIMACS, IBM Almaden Research Center.
- Text
- Los Alamitos, Calif. : IEEE Computer Society Press, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text QA75.5.S9813 1996 Off-site Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science : June 29-July 2, 1997, Warsaw, Poland / organized by Warsaw University ; sponsored by IEEE Technical Committee on Mathematical Foundations of Computing, IEEE Computer Society ; in cooperation with the Special Interest Group on Automata and Computability Theory of the Association for Computing Machinery, the Association for Symbolic Logic, the European Association for Theoretical Computer Science ; with support from BRICS, University of Aarhus ... [et al.].
- Text
- Los Alamitos, Calif. : IEEE Computer Society Press, c1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .S9813 1997 Off-site Proceedings, Twelfth Annual IEEE Conference on Computational Complexity, June 24-27, 1997, Ulm, Germany / sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in cooperation with ACM-SIGACT and EATCS with support from Ulmer Universitäts-Gesellschaft ... [et al.].
- Text
- Los Alamitos, Calif. : IEEE Computer Society Press, c1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text QA267.7 .S77 1997 Off-site 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 QA76.9.D3 A33 1982 Off-site Conference record of ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Boston, Massachusetts, October 1-3, 1973 / 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] : The Association, c1973.
- 1973
- 1 Item
Item details Format Call Number Item Location Text QA76.7.A15 1973 Off-site 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.
- Text
- New York : The Association, c1977.
- 1977
- 1 Item
Item details Format Call Number Item Location Text QA76.7.A15 1977 Off-site Conference record of the Second ACM Symposium on Principles of Programming Languages.
- Text
- [New York, Association for Computing Machinery, 1975]
- 1975
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .xA25 1975 Off-site 16th Annual Symposium on Foundations of Computer Science, October 13-15, 1975 / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, in cooperation with the ACM Special Interest Group for Automata and Computability Theory, and the Department of Electrical Engineering and Computer Sciences, the University of California, Berkeley.
- Text
- Long Beach, Ca. : The Society, c1975.
- 1975
- 1 Item
Item details Format Call Number Item Location Text QA267 .S95 1975 Off-site 15th Annual Symposium on Switching and Automata Theory : [papers] / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, in cooperation with ACM Special Interest Group for Automata and Computability Theory and the University of New Orleans, October 14-16, 1974.
- Text
- Long Beach, [Calif.] : IEEE Computer Society, [1974]
- 1974
- 1 Item
Item details Format Call Number Item Location Text QA268.5.S9 1974 Off-site 19th annual Symposium on Foundations of Computer Science (formerly called the Annual Symposium on Switching and Automata Theory) Oct. 16-18, 1978, Ann Arbor, Michigan / sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing, in cooperation with the ACM Special Interest Group for Automata and Computability Theory [and] the University of Michigan.
- Text
- Long Beach, Calif. : The Society, c1978.
- 1978
- 1 Item
Item details Format Call Number Item Location Text QA267.S95 1978 Off-site Annual Symposium on Foundations of Computer Science : [papers] / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, in cooperation with the ACM Special Interest Group for Automata and Computability Theory, Rice University, Departments of Mathematical Sciences and Electrical Engineering [and] the University of Houston, Department of Computer Science.
- Text
- [New York] Institute of Electrical and Electronics Engineers, 1975.
- 1975
- 1 Item
Item details Format Call Number Item Location Text QA267 .S95 1976 Off-site 18th Annual Symposium on Foundations of Computer Science, Oct. 31-Nov. 2, 1977, Providence, Rhode Island / sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing, in cooperation with the ACM Special Interest Group for Automata and Computablity Theory, and Brown University.
- Text
- Long Beach, Calif. : The Society, c1977.
- 1977
- 1 Item
Item details Format Call Number Item Location Text QA267 .S95 1977 Off-site 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 [and] Special Interest Group on Programming Languages.
- Text
- New York, N.Y. : ACM ; Baltimore, MD : May be ordered from ACM Order Dept., c1983.
- 1983
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .A15 1983 Off-site Annual Symposium on Switching & Automata Theory [papers].
- Text
- New York [etc.] IEEE Computer Society, Publications Office.
- 1972-1974
- 1 Item
Item details Format Call Number Item Location Text QA268.5 .S9 1972 13th (1972) Off-site 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.
- Text
- New York : ACM, c1978.
- 1978
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .A15 1978 Off-site SPAA : proceedings of the ... ACM Symposium on Parallel Algorithms and Architectures.
- Text
- New York, N.Y. : Association for Computing Machinery, c1989-
- 1989-2002
- 4 Items
Item details Format Call Number Item Location Text QA76.58 .A268a 2000 Off-site Item details Format Call Number Item Location Text QA76.58 .A268a 2001 Off-site Item details Format Call Number Item Location Text QA76.58 .A268a 2002 Off-site Proceedings of the Second ACM SIGACT-SIGMOD Symposium on Principles of Database Systems : 21-23 March 1983, Colony Square Hotel, Atlanta, Georgia / [sponsored by] Special Interest Group for Automata and Computability Theory (SIGACT), Special Interest Group for the Management of Data (SIGMOD).
- Text
- 1983
- 1 Item
Item details Format Call Number Item Location Text QA76.9.D3 A15 1983 Off-site Proceedings / Symposium on Logic in Computer Science, Cambridge, Massachusetts, June 16-18, 1986 ; 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.
- Text
- Washington, D.C. : IEEE Computer Society Press ; Los Angeles, CA : Order from IEEE Computer Society, 1986.
- 1986
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .S9813 1986 Off-site PCK50 : principles of computing & knowledge : Paris C. Kanellakis Memorial Workshop, on the occasion of his 50th birthday : San Diego, California, USA, June 8th, 2003 / sponsored by ACM Special Interest Group for Automata and Computing Theory (SIGACT), ACM Special Interest Group on Management of Data (SIGMOD).
- Text
- New York : Association for Computing Machinery, c2003.
- 2003
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .P284 2003 Off-site Proceedings of the Symposium on Computational Geometry : Baltimore, Maryland, 5-7 June 1985 / sponsored by ACM SIGGRAPH in cooperation with ACM SIGACT.
- Text
- New York, N.Y. : Association for Computing Machinery ; Baltimore, MD : Copies ordered from ACM Order Dept., c1985.
- 1985
- 1 Item
Item details Format Call Number Item Location Text QA447 .S96 1985 Off-site Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, April 2-4, 1984, Waterloo, Ontario, Canada / Special Interest Group for Automata and Computability Theory (SIGACT), Special Interest Group for the Management of Data (SIGMOD).
- Text
- 1984
- 1 Item
Item details Format Call Number Item Location Text QA76.9.D3 A296 1984 Off-site Conference record of the Twelfth Annual ACM Symposium on Principles of Programming Languages : extended abstracts of papers presented at the Symposium, New Orleans, Louisiana, January 14-16, 1985 / sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory, Special Interest Group on Programming Languages.
- Text
- 1984
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .A15 1985 Off-site Proceedings of the Fourth Annual Symposium on Computational Geometry : Urbana-Champaign, Illinois, June 6-8, 1988 / 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 : [available from] ACM Order Dept., 1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text QA448.D38 S95 1988 Off-site Proceedings of the Third Annual Symposium on Computational Geometry : Waterloo, Ontario, Canada, June 8-10, 1987 / 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 : [available from] ACM Order Dept., c1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text QA448.D38 S95 1987 Off-site Proceedings / Fifth Annual IEEE Symposium on Logic in Computer Science : June 4-7, 1990, Philadelphia, PA / sponsored by the IEEE Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Computing Machinery-SIGACT ... [at al.]
- Text
- 1990
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .S9813 1990 Off-site 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 / sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN).
- Text
- 1988
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .A15 1988 Off-site Conference record of the sixteenth annual ACM Symposium on Principles of Programming Languages : papers presented at the symposium, Austin, Texas, January 11-13, 1989 / sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory (SIGACT), Special Interest Group on Programming Languages (SIGPLAN).
- Text
- 1989
- 1 Item
Item details Format Call Number Item Location Text QA76.7 .A15 1989 Off-site Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science : June 22-25, 1992, Santa Cruz, California / sponsored by 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.
- Text
- Los Alamitos, Calif. : IEEE Computer Society Press, c1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .S9813 1992 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 ... [et al.], in cooperation with ACM-SIGACT and EATCS.
- Text
- 1992
- 1 Item
Item details Format Call Number Item Location Text QA267.7 .S77 1992 Off-site Proceedings of the 1992 ACM Conference on LISP and Functional Programming : papers presented at the conference, San Francisco, California, June 22-24, 1992 / sponsored by the Association for Computing Machinery SIGPLAN, SIGACT, SIGART.
- Text
- 1992
- 1 Item
Item details Format Call Number Item Location Text QA76.73.L23 A252 1992 Off-site Proceedings of the Eighth Annual Structure in Complexity Theory Conference : May 18-21, 1993, San Diego, California / sponsored by The IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, Boston University ; in cooperation with ACM-SIGACT ... [et al.].
- Text
- 1993
- 1 Item
Item details Format Call Number Item Location Text QA267.7 .S77 1993 Off-site Proceedings, Eighth Annual IEEE Symposium on Logic in Computer Science, June 19-23, 1993, Montreal, Canada / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Computing Machinery-SIGACT ... [et al.] ; with much appreciated support from Center for Pattern Recognition and Machine Intelligence (Montreal) ... [et al.].
- Text
- 1993
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .S9813 1993 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 with support from CWI ... [et al.].
- Text
- 1994
- 1 Item
Item details Format Call Number Item Location Text QA267.7 .S77 1994 Off-site
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.
