Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-5 of 5 results
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
Item details Format Call Number Item Location Text QA267.3 .H6 Off-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
Item details Format Call Number Item Location Text QA267.5.S4C63 1977 Off-site Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.).
- Text
- Berlin ; New York : Springer, ©1997.
- 1997
- 2 Items
Item details Format Call Number Item Location Text QA267.3 .H36 1997 vol.1 Off-site Item details Format Call Number Item Location Text QA267.3 .H36 1997 vol.3 Off-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
Item details Format Call Number Item Location Text QA76.76.D47 V36 1991 Off-site Item details Format Call Number Item Location Text QA76.76.D47 V36 1991 Off-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
Item details Format Call Number Item Location Text QA76.54 .F66 1991 Off-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.
Explore Digital Research Books Beta