Research Catalog

  • 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
  • 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
  • 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
  • VDM '91 : formal software development methods : 4th international symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991 : proceedings / S. Prehn, W.J. Toetenel (eds.).

    • Text
    • Berlin ; New York : Springer-Verlag, ©1991.
    • 1991
    • 2 Items
    FormatCall NumberItem Location
    Text QA76.76.D47 V36 1991Off-site
    FormatCall NumberItem Location
    Text QA76.76.D47 V36 1991Off-site
  • Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings / J. Vytopil (ed.).

    • Text
    • Berlin ; New York : Springer-Verlag, ©1991.
    • 1991
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.54 .F66 1991Off-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