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-45 of 45 results for author "IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing. http://id.loc.gov/authorities/names/n79018777"
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, 36th Annual Symposium on Foundations of Computer Science : October 23-25, 1995, Milwaukee, Wisconsin / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.
- Text
- Los Alamitos, Calif. : IEEE Computer Society Press, c1994.
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA267 .S95 1995 Off-site 21st Annual Symposium on Foundations of Computer Science : Oct. 13-15, 1980, Syracuse, N.Y. / sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing.
- Text
- New York : Institute of Electrical and Electronics Engineers, 1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text QA267 .S95 1980 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, 37th Annual Symposium on Foundations of Computer Science : October 14-16, 1996, Burlington, Vermont / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.
- Text
- Los Alamitos, Calif. : IEEE Computer Society Press, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text QA267 .S95 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 20th annual Symposium on Foundations of Computer Science / sponsoredd by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing in cooperation with the University of Puerto Rico at Mayaguez and at Rio Piedras.
- Text
- New York : Institute of Electrical and Electronics Engineers, 1979.
- 1979
- 1 Item
Item details Format Call Number Item Location Text QA267 .S95 1979 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 23rd Annual Symposium on Foundations of Computer Science, November 3-5, 1982 / sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing.
- Text
- [Silver Spring, Md.] : IEEE Computer Society Press, c1982.
- 1982
- 1 Item
Item details Format Call Number Item Location Text QA267 .S95 1982 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 Proceedings, 38th Annual Symposium on Foundations of Computer Science : October 20-22, 1997, Miami Beach, Florida / sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.
- Text
- Los Alamitos, Calif. : IEEE Computer Society Press, c1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text QA267.S95 1997 Off-site Thirteenth Annual IEEE Conference on Computational Complexity : June 15-18, 1998, Buffalo, New York : proceedings / sponsored by The IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ... [et al.].
- Text
- Los Alamitos, Calif. : IEEE Computer Society, c1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text QA267.7.S77 1998 Off-site Proceedings, 13th Annual IEEE Symposium on Logic in Computer Science : June 21-24, 1998, Indianapolis, Indiana / organized by Indiana University, Bloomington ; sponsored by IEEE Technical Committee on Mathematical Foundations of Computing ... [et al.].
- Text
- Los Alamitos, California : IEEE Computer Society Press, c1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text QA75.5.S9813 1998 Off-site Proceedings, 39th Annual Symposium on Foundations of Computer Science : November 8-11, 1998, Palo Alto, California / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.
- Text
- Los Alamitos, Calif. : IEEE Computer Society, c1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text QA267.S95 1998 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 24th Annual Symposium on Foundations of Computer Science : November 7-9, 1983 / sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing.
- Text
- [Silver Spring, Md.] : IEEE Computer Society Press, c1983.
- 1983
- 1 Item
Item details Format Call Number Item Location Text QA267 .S95 1983 Off-site Proceedings, 40th Annual Symposium on Foundations of Computer Science : October 17-19, 1999, New York City, New York / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.
- Text
- Los Alamitos, Calif. : IEEE Computer Society, c1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text QA267 .S95 1999 Off-site 25th Annual Symposium on Foundations of Computer Science : October 24-26, 1984 / sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing.
- Text
- 1984
- 1 Item
Item details Format Call Number Item Location Text QA267 .S95 1984 Off-site 26th Annual Symposium on Foundations of Computer Science : October 21-23, 1985 / sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing.
- Text
- 1985
- 1 Item
Item details Format Call Number Item Location Text QA267 .S95 1985 Off-site Proceedings, 15th annual IEEE Conference on Computational Complexity : July 4-7, 2000, Florence, Italy / sponsored by The IEEE Computer Society, Technical Committee on Mathematical Foundations of Computing in cooperation with ACM SIGACT, EATCS.
- Text
- Los Alamitos, California : IEEE Computer Society, c2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Text QA267.7 .S77 2000 Off-site Proceedings, 15th Annual IEEE Symposium on Logic in Computer Science : June 26-28, 2000, Santa Barbara, California / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ... [et al.].
- Text
- 2000
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .S9 2000 Off-site Proceedings : 41st Annual Symposium on Foundations of Computer Science : 12-14 November 2000, Redondo Beach, California.
- Text
- 2000
- 1 Item
Item details Format Call Number Item Location Text QA267 .S95 2000 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 27th annual Symposium on Foundations of Computer Science : October 27-29, 1986 / sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing.
- Text
- 1986
- 1 Item
Item details Format Call Number Item Location Text QA267 .S95 1986 Off-site Proceedings / Symposium on Logic in Computer Science, Ithaca, New York, June 22-25, 1987 ; sponsored by the Computer Society of the IEEE 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. : Computer Society Press of the IEEE ; Los Angeles, CA : Order from Computer Society of the IEEE, c1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .S9813 1987 Off-site Proceedings : Third Annual Symposium on Logic in Computer Science, July 5-8, 1988, Edinburgh, Scotland / sponsored by the Computer Society's Technical Committee on Mathematical Foundations of Computing [in cooperation with: ACM SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science].
- Text
- 1988
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .S9813 1988 Off-site 29th Annual Symposium on Foundations of Computer Science : October 24-26, 1988 / sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing.
- Text
- 1988
- 1 Item
Item details Format Call Number Item Location Text QA267 .S95 1988 Off-site Proceedings / Fourth Annual Symposium on Logic in Computer Science.
- Text
- 1989
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .S9813 1989 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 Proceedings, fifth annual Structure in Complexity Theory Conference : July 8-11, 1990, Universitat Politecnica de Catalunya, Barcelona, Spain.
- Text
- Los Alamitos, Calif. : IEEE Computer Society Press, c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text QA267.7 .S77 1990 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, 33rd Annual Symposium on Foundations of Computer Science : October 24-27, 1992, Pittsburgh, Pennsylvania / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.
- Text
- 1992
- 1 Item
Item details Format Call Number Item Location Text QA267 .S95 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, 34th Annual Symposium on Foundations of Computer Science : November 3-5, 1993, Palo Alto, California / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.
- Text
- 1993
- 1 Item
Item details Format Call Number Item Location Text QA267 .S95 1993 Off-site Proceedings, Symposium on Logic in Computer Science, LICS'94 : CNAM, Paris, France, July 4-7, 1994 / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, INRIA.
- Text
- 1994
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .S9813 1994 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 Proceedings, 35th Annual Symposium on Foundations of Computer Science : November 20-22, 1994, Santa Fe, New Mexico / edited by Shafi Goldwasser ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.
- Text
- 1994
- 1 Item
Item details Format Call Number Item Location Text QA267 .S95 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.
Explore Digital Research Books Beta