Autor: Markus Holzer

Apoio

2 Ebooks por Markus Holzer

Markus Holzer & Martin Kutrib: Implementation and Application of Automata
This book constitutes the refereed proceedings of the 19th International Conference on Implementation and Application of Automata, CIAA 2014, held in Giessen, Germany, in July/August 2014. The 21 …
PDF
Inglês
DRM
€57.64
Markus Holzer & Martin Kutrib: Descriptional Complexity of Formal Systems
This book constitutes the refereed proceedings of the 13th International Workshop of Descriptional Complexity of Formal Systems 2011, held in Limburg, Germany, in July 2011. The 21 revised full …
PDF
Inglês
DRM
€57.63