Research Catalog

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

Selected filters.Clear Filters

  • Proceedings of the International Symposium on Symbolic and Algebraic Computation : ISSAC.

    • Text
    • New York, N.Y. : ACM Press, c1990-
    • 1990-present
    • 2 Items
    FormatCall NumberItem Location
    Text QA76.95 .I59 1998Off-site
    FormatCall NumberItem Location
    Text QA76.95 .I59 1999Off-site

  • STACS 96 : 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996 : proceedings / Claude Puech, Rüdiger Reischuk, eds.

    • Text
    • Berlin ; New York : Springer, ©1996.
    • 1996
    • 1 Item
    FormatCall NumberItem Location
    Text QA75.5 .S958 1996Off-site

  • Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers / Hans Kleine Büning, (ed.).

    • Text
    • Berlin ; New York : Springer, ©1996.
    • 1996
    • 1 Item
    FormatCall NumberItem Location
    Text QA75.5 .W625 1995Off-site

  • Mathematical foundations of computer science, 1979 : proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979 / edited by J. Bečvář.

    • Text
    • Berlin ; New York : Springer-Verlag, 1979.
    • 1979
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6.S9194 1979Off-site

  • Mathematical foundations of computer science, 1977 : proceedings, 6th Symposium, Tatranská Lomnica, September 5-9, 1977 / edited by J. Gruska.

    • Text
    • Berlin ; New York : Springer-Verlag, 1977.
    • 1977
    • 1 Item
    FormatCall NumberItem Location
    Text QA267.M37Off-site

  • Introduction to the theory of computation.

    • Text
    • New York, Academic Press [1973]
    • 1973
    • 1 Item
    FormatCall NumberItem Location
    Text QA267.5.S4E53 1973Off-site

  • Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974 / edited by A. Blikle.

    • Text
    • Berlin ; New York : Springer-Verlag, 1975.
    • 1975
    • 1 Item
    FormatCall NumberItem Location
    Text QA267.5.S4S89 1974Off-site

  • Computer algebra : EUROCAL '83, European Computer Algebra Conference, London, England, March 28-30, 1983 / edited by J.A. van Hulzen.

    • Text
    • Berlin : Springer-Verlag, [1983]
    • 1983
    • 1 Item
    FormatCall NumberItem Location
    Text QA155.7.E4 E85 1983Off-site

  • Mathematical foundations of computer science 1989 : Porąbka-Kozubnik, Poland, August 28-September 1, 1989 : proceedings / MFCS '89 ; A. Kreczmar, G. Mirkowska (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, ©1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.M35 M383 1989Off-site

  • Mathematical foundations of computer science, 1991 : 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991 : proceedings / A. Tarlecki (ed.).

    • Text
    • Berlin ; New York : Springer-Verlag, 1991.
    • 1991
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.M35 M387Off-site

  • Programs, recursion, and unbounded choice : predicate-transformation semantics and transformation rules / Wim H. Hesselink.

    • Text
    • Cambridge ; New York, NY, USA : Cambridge University Press, 1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.M35 H477 1992Off-site

  • Introduction to computer theory / Daniel I.A. Cohen.

    • Text
    • New York : Wiley, ©1991.
    • 1991
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.5 .C558 1991Off-site

  • Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum.

    • Text
    • Oxford : Clarendon Press ; New York : Oxford University Press, 1992-<2000>
    • 1992-present
    • 2 Items
    FormatCall NumberItem Location
    Text QA76 .H2785 1992 vol.2Off-site
    FormatCall NumberItem Location
    Text QA76 .H2785 1992 vol.5Off-site

  • Fundamentals of computation theory : 9th international conference, FCT '93, Szeged, Hungary, August 23-27, 1993 : proceedings / Zoltán Ésik, ed.

    • Text
    • Berlin ; New York : Springer-Verlag, ©1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Text QA75.5 .F367 1993Off-site

  • Predicate transformer semantics / Ernest G. Manes.

    • Text
    • Cambridge ; New York : Cambridge University Press, 1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .M342 1992Off-site

  • Theoretical aspects of computer software : International Symposium, TACS '94, Sendai, Japan, April 19-22, 1994 : proceedings / Masami Hagiya, John C. Mitchell, eds.

    • Text
    • Berlin ; New York : Springer-Verlag, ©1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.751 .T33 1994Off-site

  • Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers / E. Börger [and others], eds.

    • Text
    • Berlin ; New York : Springer-Verlag, ©1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Text QA75.5 .W624 1992Off-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