Research Catalog

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

Selected filters.Clear Filters

  • Introduction to coalgebra : towards mathematics of states and observation / Bart Jacobs.

    • Text
    • Cambridge, United Kingdom : Cambridge University Press, 2017.
    • 2017
    • 1 Item
    FormatCall NumberItem Location
    Text QA251.5 .B36 2017Off-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 1984 : proceedings, 11th Symposium Praha, Czechoslovakia, September 3-7, 1984 / edited by M.P. Chytil and V. Koubek.

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

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

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

  • Theory of computing : a gentle introduction / Efim Kinber, Carl Smith.

    • Text
    • Upper Saddle River, N.J. : Prentice Hall, 2001.
    • 2001
    • 1 Item
    FormatCall NumberItem Location
    Text QA76 .K475 2001Off-site

  • Theoretical foundations of computer science / Dino Mandrioli, Carlo Ghezzi.

    • Text
    • New York : Wiley, ©1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Text QA39.2 .M336 1987Off-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, ©2003.
    • 2003
    • 1 Item
    FormatCall NumberItem Location
    Text QA75.5 .P284 2003Off-site

  • Trends, techniques, and problems in theoretical computer science : selected contributions / 4th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, October 13-17, 1986 ; Alica Kelemenová, Jozef Kelemen, eds.

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

  • Computation engineering : applied automata theory and logic / Ganesh Gopalakrishnan.

    • Text
    • New York, NY : Springer, ©2006.
    • 2006
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.M35 G67 2006Off-site

  • Automata, languages, and programming : 16th international colloquium, Stresa, Italy, July 11-15, 1989 : proceedings / [ICALP 89] ; G. Ausiello, M. Dezani-Ciancaglini, S. Ronchi Della Rocca, eds.

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

  • Foundations of software technology and theoretical computer science : 11th conference, New Delhi, India, December 17-19, 1991 : proceedings / S. Biswas, K.V. Nori (eds.).

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

  • Theoretical studies in computer science / edited by Jeffrey D. Ullman.

    • Text
    • Boston : Academic Press, ©1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Text QA76 .U35 1991Off-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

  • Proceedings : the Twenty-second International Symposium on Multiple-Valued Logic, May 27-29, 1992, Sendai, Japan / sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Multiple-Valued Logic, Japan Research Group on Multiple-Valued Logic.

    • Text
    • Los Alamitos, CA : IEEE Computer Society Press ; New York : Institute of Electrical and Electronics Engineers, ©1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Text QA9.45 .I57 1992Off-site

  • Automata, languages and programming : 20th international colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993 : proceedings / A. Lingas, R. Karlsson, S. Carlsson (eds.).

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