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 automata theory, languages, and computation / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman.

    • Text
    • Boston : Pearson/Addison Wesley, c2007.
    • 2007
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .H56 2007Off-site

  • Formal languages and their relation to automata [by] John E. Hopcroft [and] Jeffrey D. Ullman.

    • Text
    • Reading, Mass., Addison-Wesley Pub. Co. [1969]
    • 1969
    • 1 Item
    FormatCall NumberItem Location
    Text QA267.3 .H6Off-site

  • Switching and finite automata theory.

    • Text
    • New York, McGraw-Hill [1970]
    • 1970
    • 1 Item
    FormatCall NumberItem Location
    Text QA267.5.S4 K64 1970Off-site

  • Theory of automata / Arto Salomaa.

    • Text
    • Oxford ; New York : Pergamon Press, 1969.
    • 1969
    • 1 Item
    FormatCall NumberItem Location
    Text 81075.799Off-site

  • Discrete computational structures / Robert R. Korfhage.

    • Text
    • New York : Academic Press, [1974]
    • 1974-1974
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6.K68Off-site

  • Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975 / edited by H. Brakhage on behalf of GI.

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

  • Automata, languages and programming : fourth colloquium, University of Turku, Finland, July 18-22, 1977 / edited by Arto Salomaa and Magnus Steinby.

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

  • Automata-theoretic aspects of formal power series / Arto Salomaa, Matti Soittola.

    • Text
    • New York : Springer-Verlag, 1978.
    • 1978
    • 1 Item
    FormatCall NumberItem Location
    Text QA267.5.S4S29Off-site

  • Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznán-Kórnik, Poland, September 19-23, 1977 / edited by Marek Karpiński.

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

  • Modelling, state observation, and diagnosis of quantised systems / Jochen Schröder.

    • Text
    • Berlin ; New York : Springer, ©2003.
    • 2003
    • 1 Item
    FormatCall NumberItem Location
    Text QA402 .S3565 2003Off-site

  • Infinite words : automata, semigroups, logic and games / Dominique Perrin and Jean-Éric Pin.

    • Text
    • Amsterdam ; Boston : Elsevier, 2004.
    • 2004
    • 1 Item
    FormatCall NumberItem Location
    Text QA267 .P477 2004Off-site

  • Computability and logic / Daniel E. Cohen.

    • Text
    • Chichester, West Sussex, England : E. Horwood ; New York : Halsted Press, 1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Text QA9.59 .C64 1987Off-site

  • Zur Theorie der Schieberegister - Realisierungen von Schaltwerken.

    • Text
    • Bonn, 1968.
    • 1968
    • 1 Item
    FormatCall NumberItem Location
    Text QA1 .G34 Nr.1Off-site

  • Zur Zustandsminimisierung nichtdeterministischer erkennender Automaten.

    • Text
    • (Birlinghoven, Ges. f. Mathematik u. Datenverarbeitung, 1970.)
    • 1970
    • 1 Item
    FormatCall NumberItem Location
    Text QA1 .G34 Nr.33Off-site

  • Algebraische Charakterisierung additiver Automaten-Arrays / Wolfgang Merzenich.

    • Text
    • Bonn : Gesellschaft für Mathematik und Datenverarbeitung, 1974.
    • 1974
    • 1 Item
    FormatCall NumberItem Location
    Text QA1 .G34 Nr.88Off-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

  • 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

  • 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