Research Catalog

New! Try our Article Search to discover online journals, books, and more from home with your library card.

Selected filters.Clear Filters

  • Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings / edited by G. Kahn, D.B. MacQueen, and G. Plotkin.

    • Text
    • Berlin ; New York : Springer-Verlag, 1984.
    • 1984
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .S44 1984Off-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
    FormatCall NumberItem Location
    Text QA267.7 .S77 1995Off-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
    FormatCall NumberItem Location
    Text QA75.5 .S9813 1995Off-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
    FormatCall NumberItem Location
    Text QA267.7 .S77 1996Off-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
    FormatCall NumberItem Location
    Text QA75.5.S9813 1996Off-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
    FormatCall NumberItem Location
    Text QA75.5 .S9813 1997Off-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
    FormatCall NumberItem Location
    Text QA267.7 .S77 1997Off-site

  • Automata, languages, and programming : 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings / Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela (eds.).

    • Text
    • Berlin ; New York : Springer, c1997.
    • 1997
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .I23 1997Off-site

  • Graph-grammars and their application to computer science : 2nd international workshop, Haus Ohrbeck, Germany, October 4-8, 1982 / under the auspices of the European Association for Theoretical Computer Science ; edited by Hartmut Ehrig, Manfred Nagl and Grzegorz Rozenberg.

    • Text
    • Berlin ; New York : Springer-Verlag, 1983.
    • 1983
    • 1 Item
    FormatCall NumberItem Location
    Text QA267.3 .G68 1983Off-site

  • Automata, languages, and programming : 10th colloquium, Barcelona, Spain, July 18-22, 1983 / edited by J. Díaz.

    • Text
    • Berlin ; New York : Springer-Verlag, 1983.
    • 1983
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .I55 1983Off-site

  • Semantics of data types : international symposium, Sophia-Antipolis, France, June 27-29, 1984 : proceedings / edited by G. Kahn, D.B. MacQueen, and G. Plotkin.

    • Text
    • Berlin ; New York : Springer-Verlag, 1984.
    • 1984
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .S44 1984Off-site

  • Automata, languages, and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985 / edited by Wilfried Brauer.

    • Text
    • Berlin ; New York : Springer-Verlag, 1985.
    • 1985
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .A9216 1985Off-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
    FormatCall NumberItem Location
    Text QA76.58 .A268a 2000Off-site
    FormatCall NumberItem Location
    Text QA76.58 .A268a 2001Off-site
    FormatCall NumberItem Location
    Text QA76.58 .A268a 2002Off-site

    View All 4 Items

  • 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
    FormatCall NumberItem Location
    Text QA267.7 .S77 2000Off-site

  • Automata, languages, and programming : 13th international colloquium, Rennes, France, July 15-19, 1986 : proceedings / edited by Laurent Kott.

    • Text
    • Berlin ; New York : Springer-Verlag, 1986.
    • 1986
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .A9228 1986Off-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
    FormatCall NumberItem Location
    Text QA75.5 .S9813 1986Off-site

  • Mathematical models for the semantics of parallelism : advanced school, Rome, Italy, September 24-October 1, 1986, proceedings / Marisa Venturini Zilli (ed.).

    • Text
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .M37Off-site

  • STACS 89 : 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, proceedings / B. Monien, R. Cori [editors].

    • Text
    • Berlin ; New York : Springer-Verlag, c1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text QA75.5 .S956 1989Off-site

  • Automata, languages, and programming : 17th international colloquium, Warwick University, England, July 16-20, 1990 : proceedings / M.S. Paterson, ed.

    • Text
    • Berlin ; New York : Springer-Verlag, c1990.
    • 1990
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .I23 1990Off-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
    FormatCall NumberItem Location
    Text QA75.5 .S9813 1992Off-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
    FormatCall NumberItem Location
    Text QA267.7 .S77 1992Off-site

  • Automata, languages, and programming : eighth colloquium, Acre (Akko), Israel, July 13-17, 1981 / edited by S. Even and O. Kariv.

    • Text
    • Berlin ; New York : Springer-Verlag, 1981.
    • 1981
    • 1 Item
    FormatCall NumberItem Location
    Text QA267.5.S4 I47 1981Off-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
    FormatCall NumberItem Location
    Text QA267.7 .S77 1994Off-site

  • Automata, languages and programming : 21st International Colloquium, ICALP 94, Jerusalem, Israel, July 11-14, 1994 : proceedings / Serge Abiteboul, Eli Shamir (eds.)

    • Text
    • Berlin : New York : Springer-Verlag, c1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .I23 1994Off-site

  • Automata, languages and programming : 22nd International Colloquium, ICALP 95, Szeged, Hungary, July 10-14, 1995 : proceedings / Zoltán Fülöp, Ferenc Gécseg (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, c1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .I23 1995Off-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.

digital-research-book
Explore Digital Research Books Beta