Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-6 of 6 results
Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987, proceedings / edited by Pierre Lescanne.
- Text
- Berlin ; New York : Springer-Verlag, ©1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text QA267 .R48 1987 Off-site Systems of reductions / B. Benninghofen, S. Kemmerich, M.M. Richter.
- Text
- Berlin ; New York : Springer-Verlag, ©1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text QA267 .B46 1987 Off-site Spezifikation der Architektur und Realisierung eines Reduktionssystems mit konsequenter Unterstützung strukturierter Datenobjekte und n-stelliger definierter Funktionen / Claudia Schmittgen.
- Text
- München : R. Oldenbourg, 1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text QA1 .G34 Nr.169 Off-site Level crossing methods in stochastic models / Percy H. Brill.
- Text
- New York : Springer, ©2008.
- 2008
- 1 Item
Item details Format Call Number Item Location Text QA274.2 .B75 2008 Off-site Regulated rewriting in formal language theory / Jürgen Dassow, Gheorghe Păun.
- Text
- Berlin ; New York : Springer-Verlag, ©1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Text QA267.3 .D37 1989 Off-site Word equations and related topics : Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991 : proceedings / Habib Abdulrab, Jean-Pierre Pécuchet, eds.
- Text
- Berlin ; New York : Springer-Verlag, ©1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text QA76.9.N38 I94 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.
