Markus Holzer – författare
Visar alla böcker från författaren Markus Holzer. Handla med fri frakt och snabb leverans.
4 produkter
Implementation and Application of Automata
19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings
Av Markus Holzer, Martin Kutrib
Häftad, 2014
550 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 19thInternational Conference on Implementation and Application of Automata, CIAA 2014, held in Giessen, Germany, in July/August 2014. The 21 revised full papers presented together with 4 invited papers were carefully selected from 36 …
Implementation and Application of Automata
19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings
Av Martin Kutrib, Markus Holzer
E-bok, 2014
734 kr
Lägg i varukorg
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 revised full papers presented together with 4 invited papers were carefully selected from 36 …
Descriptional Complexity of Formal Systems
13 International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings
Av Markus Holzer, Martin Kutrib m. fl.
Häftad, 2011
566 kr
Lägg i varukorg
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 papers presented together with 4 invited papers were carefully reviewed and selected from 54 submissions. …
Descriptional Complexity of Formal Systems
13 International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings
Av Giovanni Pighizzini, Martin Kutrib m. fl.
E-bok, 2011
739 kr
Lägg i varukorg
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 papers presented together with 4 invited papers were carefully reviewed and selected from 54 submissions. …
