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-50 of 57 results for author "IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing."
[Papers].
- Text
- New York, Institute of Electrical and Electronics Engineers.
- 13 Items
Item details Format Call Number Item Location Text JSP 78-43 v. 26 (1985) Offsite Item details Format Call Number Item Location Text JSP 78-43 v. 28 (1987) Offsite Item details Format Call Number Item Location Text JSP 78-43 v. 29 (1988) Offsite 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
- Los Alamitos, Calif. : IEEE Computer Society Press, c1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text JSF 93-352 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, 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
- Los Alamitos, Calif. : IEEE Computer Society Press, c1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JSF 94-126 Offsite 35th Annual Symposium on Foundations of Computer Science : proceedings ; 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
- Los Alamitos, CA : IEEE Computer Society Press, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text JSF 95-466 Offsite 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, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text JSF 96-80 Offsite Proceedings / IEEE Conference on Computational Complexity.
- Text
- Los Alamitos, Calif. : IEEE computer Society Press, 1996-
- 1996-present
- 8 Items
Item details Format Call Number Item Location Text JSM 96-128 v. 18 (2003) Offsite Item details Format Call Number Item Location Text JSM 96-128 v. 19 (2004) Offsite Item details Format Call Number Item Location Text JSM 96-128 v. 20 (2005) Offsite 37th Annual Symposium on Foundations of Computer Science : October 14-16, 1996, Burlington, Vermont / sponsored by IEEE Computer Society, 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 JSF 97-39 Offsite 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 JSF 98-103 Offsite 39th Annual Symposium on Foundations of Computer Science : proceedings : November 8-11, 1998, Palo Alto, California / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.
- Text
- Los Alamitos, California : IEEE Computer Society Press, c1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text JSF 99-18 Offsite 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 ; Piscataway, NJ : IEEE Service Center, c1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text JSF 99-894 Offsite Computational complexity : proceedings : Fifteenth 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 JSF 00-862 Offsite 41st Annual Symposium on Foundations of Computer Science : proceedings : 12-14 November, 2000, Redondo Beach, California / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.
- Text
- Los Alamitos, California : IEEE Computer Society, c2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Text JSF 01-180 Offsite Computational complexity : proceedings : 16th IEEE Conference on Computational Complexity : June 18-21, 2001, Chicago, Illinois / 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, c2001.
- 2001
- 1 Item
Item details Format Call Number Item Location Text JSF 01-950 Offsite 42nd Annual Symposium on Foundations of Computer Science : proceedings : October 14-17, 2001, Las Vegas, Nevada, USA / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.
- Text
- Los Alamitos, Calif : IEEE Computer Society, c2001.
- 2001
- 1 Item
Item details Format Call Number Item Location Text JSF 01-713 Offsite 43rd Annual IEEE Symposium on Foundations of Computer Science : proceedings : Vancouver, BC, Canada, 16-19 November, 2002 / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing (TCMF) ; in cooperation with ACM/SIGACT.
- Text
- Los Alamitos, California : IEEE Computer Society, c2002.
- 2002
- 1 Item
Item details Format Call Number Item Location Text JSF 03-177 Offsite FOCS 2004 : 45th Annual IEEE Symposium on Foundations of Computer Science : proceedings : 17-19 October, 2004, Rome, Italy / sponsored by IEEE Computer Society Technical Society on Foundations of Computing.
- Text
- Los Alamitos, Calif. : IEEE Computer Society, c2004.
- 2004
- 1 Item
Available Online
http://ieeexplore.ieee.org/servlet/opac?punumber=9430Item details Format Call Number Item Location Text JSF 05-512 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 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 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 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 ... annual Symposium on Foundations of Computer Science / sponsored by IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing.
- Text
- Los Alamitos, Calif. : IEEE Computer Society Press, ©1990-
- 1990-present
- 15 Items
Item details Format Call Number Item Location Text TK7885.A1 S85 v.31 1990 Off-site Item details Format Call Number Item Location Text TK7885.A1 S85 v.32 1991 Off-site Item details Format Call Number Item Location Text TK7885.A1 S85 v.33 1992 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 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 Proceedings / IEEE Conference on Computational Complexity.
- Text
- Los Alamitos, Calif. : IEEE Computer Society Press, ©1996-
- 1996-present
- 9 Items
Item details Format Call Number Item Location Text QA267.7 .S76 16th (2001) Off-site Item details Format Call Number Item Location Text QA267.7 .S76 17th (2002) Off-site Item details Format Call Number Item Location Text QA267.7 .S76 18th (2003) 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 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, [1990], ©1990.
- 1990-1990
- 1 Item
Item details Format Call Number Item Location Text QA267.7 .S75 1990g Off-site Proceedings, Fourteenth Annual IEEE Conference on Computational Complexity : b May 4-6, 1999, Atlanta, Georgia, USA / c 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, c1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text QA267.7.S77 1999 Off-site Proceedings, 14th Symposium on Logic in Computer Science : July 2-5, 1999, Trento, Italy / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ... [et al.].
- Text
- Los Alamitos, Calif. : IEEE Computer Society Press, c1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text QA75.5.S9 1999 Off-site Tenth Annual IEEE Symposium on Logic in Computer Science : proceedings, June 26-29, 1995, San Diego, California / edited by Dexter 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 [and others].
- Text
- Los Alamitos, Calif. : IEEE Computer Society Press, ©1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .S9813 1995 Off-site 21st annual Symposium on Foundations of Computer Science : October 13-15, 1980, Syracuse, New York : [papers] / sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing [with the cooperation of Clarkson College].
- Text
- New York : IEEE, 1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text QA267 .S95 1980 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 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 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, Fourteenth Annual IEEE Conference on Computational Complexity : b May 4-6, 1999, Atlanta, Georgia, USA / c 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, c1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text QA267.7 .S77 1999 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, 14th Symposium on Logic in Computer Science : July 2-5, 1999, Trento, Italy / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ... [et al.].
- Text
- Los Alamitos, Calif. : IEEE Computer Society Press, c1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .S9 1999 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
- Washington, D.C. : IEEE Computer Society Press, c1985.
- 1985
- 1 Item
Item details Format Call Number Item Location Text QA267 .S95 1985 Off-site Proceedings : 41st Annual Symposium on Foundations of Computer Science : 12-14 November 2000, Redondo Beach, California.
- Text
- Piscataway, NJ : IEEE, 2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Text QA267 .S95 2000 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, ©1987.
- 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.
- Text
- Washington, D.C. : Computer Society Press, [1988]
- 1988
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .S9813 1988 Off-site Proceedings, structure in complexity theory : fourth annual conference.
- Text
- Washington : IEEE Computer Society Press ; Los Alamitos, CA : Copies may be ordered from IEEE Computer Society Order Dept., ©1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Text QA267.7 .S77 1989 Off-site Proceedings, 31st Annual Symposium on Foundations of Computer Science : October 22-24, 1990, St. Louis, Missouri / sponsored by the IEEE Computer Society's Technical Committee on Mathematical Foundations of Computing.
- Text
- Washington, D.C. : IEEE Computer Society Press, c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text QA267 .S95 1990 vol. 2 Off-site 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 [and] University of Chicago, in cooperation with ACM SIGACT [and] EATCS.
- Text
- Los Alamitos, Calif. : IEEE Computer Society Press, 1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text QA267.7 .S77 1991 Off-site Proceedings : 32nd Annual Symposium on Foundations of Computer Science : October 1-4, 1991, San Juan, Puerto Rico / sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing.
- Text
- Los Alamitos, Calif. : IEEE Computer Society Press, ©1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text QA267 .S95 1991 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.
