Research Catalog

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

Selected filters.Clear Filters

  • Languages: from formal to natural : essays dedicated to Nissim Francez on the occasion of his 65th birthday / Orna Grumberg [and others] (eds.).

    • Text
    • Berlin : Springer, 2009.
    • 2009
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .L383 2009gOff-site

  • 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

  • Introduction to formal languages / György E. Révész.

    • Text
    • New York : McGraw-Hill, ©1983.
    • 1983
    • 1 Item
    FormatCall NumberItem Location
    Text QA267.3 .R485 1983Off-site

  • The study of programming languages / Ryan Stansifer.

    • Text
    • Englewood Cliffs, N.J. : Prentice Hall, ©1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.7 .S72 1995Off-site

  • Ansätze zur Integration der Semantik in die Grammatik / Urs Egli.

    • Text
    • Kronberg/Ts. : Scriptor Verlag, 1974.
    • 1974
    • 1 Item
    FormatCall NumberItem Location
    Text P325 .E355 1974Off-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

  • Programs, machines, and computation : an introduction to the theory of computing / Keith Clark, Don Cowell.

    • Text
    • London ; New York : McGraw-Hill, ©1976.
    • 1976
    • 1 Item
    FormatCall NumberItem Location
    Text QA267.C54Off-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

  • 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

  • Applied computation theory : analysis, design, modeling / Raymond T. Yeh, editor.

    • Text
    • Englewood Cliffs, N.J. : Prentice-Hall, ©1976.
    • 1976
    • 1 Item
    FormatCall NumberItem Location
    Text QA267.5.S4 Y43Off-site

  • Lincos; design of a language for cosmic intercourse.

    • Text
    • Amsterdam, North-Holland Pub. Co., 1960-
    • 1960-present
    • 1 Item
    FormatCall NumberItem Location
    Text 8126.363.2 pt.1Off-site

  • Formale Sprachen von markierten Graphen / Manfred Nagl.

    • Text
    • Erlangen : Inst. f. Math. Maschinen u. Datenverarbeitung, 1974.
    • 1974
    • 2 Items
    FormatCall NumberItem Location
    Text MICROFILM 04746Off-site
    FormatCall NumberItem Location
    Text QA166 .N32Off-site

  • Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.).

    • Text
    • Berlin ; New York : Springer, ©1997.
    • 1997
    • 2 Items
    FormatCall NumberItem Location
    Text QA267.3 .H36 1997 vol.1Off-site
    FormatCall NumberItem Location
    Text QA267.3 .H36 1997 vol.3Off-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

  • Regulated rewriting in formal language theory / Jürgen Dassow, Gheorghe Păun.

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

  • Context-free grammars : covers, normal forms, and parsing / Anton Nijholt.

    • Text
    • Berlin ; New York : Springer-Verlag, 1980.
    • 1980
    • 1 Item
    FormatCall NumberItem Location
    Text QA267.3 .N54Off-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