Martin Kutrib – författare
Visar alla böcker från författaren Martin Kutrib. Handla med fri frakt och snabb leverans.
19 produkter
Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I
Av Emil Sekerinski, Nelma Moreira m. fl.
Häftad, 2020
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal …
Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I
Av David Delmas, Pedro Monteiro m. fl.
E-bok, 2020
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal …
Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
Av Emil Sekerinski, Nelma Moreira m. fl.
Häftad, 2020
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal …
Formal Methods. FM 2019 International Workshops
Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II
Av David Delmas, Pedro Monteiro m. fl.
E-bok, 2020
732 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal …
Reversible Computation
15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, Proceedings
Häftad, 2023
733 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th International Conference on Reversible Computation, RC 2023, held in Giessen, Germany, during July 18–19, 2023.The 11 full papers and 3 short papers included in this book were carefully reviewed and selected from 19 submissions. They were …
Reversible Computation
15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, Proceedings
E-bok, 2023
923 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 15th International Conference on Reversible Computation, RC 2023, held in Giessen, Germany, during July 18–19, 2023. The 11 full papers and 3 short papers included in this book were carefully reviewed and selected from 19 submissions. They were …
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
552 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 …
Cellular Automata and Discrete Complex Systems
24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings
Av Jan M. Baetens, Martin Kutrib
Häftad, 2018
552 kr
Lägg i varukorg
This volume constitutes the thoroughly refereed proceedings of the 24th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2018, held in Ghent, Belgium, in June 2018.The 10 regular papers presented in this book were carefully reviewed and selected from a …
Cellular Automata and Discrete Complex Systems
24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings
Av Martin Kutrib, Jan M. Baetens
E-bok, 2018
734 kr
Lägg i varukorg
This volume constitutes the thoroughly refereed proceedings of the 24th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2018, held in Ghent, Belgium, in June 2018. The 10 regular papers presented in this book were carefully reviewed and selected from a …
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
568 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. …
Descriptional Complexity of Formal Systems
14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings
Av Martin Kutrib, Nelma Moreira m. fl.
Häftad, 2012
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 14th International Workshop of Descriptional Complexity of Formal Systems 2012, held in Braga, Portugal, in July 2012. The 20 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 33 submissions. …
Descriptional Complexity of Formal Systems
14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings
Av Rogerio Reis, Nelma Moreira m. fl.
E-bok, 2012
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 14th International Workshop of Descriptional Complexity of Formal Systems 2012, held in Braga, Portugal, in July 2012. The 20 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 33 submissions. …
Languages Alive
Essays dedicated to Jürgen Dassow on the Occasion of His 65th Birthday
Av Henning Bordihn, Martin Kutrib m. fl.
Häftad, 2012
552 kr
Lägg i varukorg
This festschrift volume, published in honor of Jürgen Dassow on the occasion of his 65th birthday, contains 19 contributions by leading researchers, colleagues, and friends. Covering topics on picture languages, cooperating distributed systems of automata, quantum automata, grammar systems, online …
Languages Alive
Essays dedicated to Jürgen Dassow on the Occasion of His 65th Birthday
Av Bianca Truthe, Martin Kutrib m. fl.
E-bok, 2012
734 kr
Lägg i varukorg
This festschrift volume, published in honor of Jürgen Dassow on the occasion of his 65th birthday, contains 19 contributions by leading researchers, colleagues, and friends. Covering topics on picture languages, cooperating distributed systems of automata, quantum automata, grammar systems, online …
Cellular Automata and Discrete Complex Systems
19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 14-19, 2013, Proceedings
Av Jarkko Kari, Martin Kutrib m. fl.
Häftad, 2013
523 kr
Lägg i varukorg
The volume LNCS 8155 constitutes the refereed proceedings of the 19th International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2013, held in Giessen, Germany, in September 2013. The 8 papers presented were carefully reviewed and selected from 26 submissions. The scope of …
Cellular Automata and Discrete Complex Systems
19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 14-19, 2013, Proceedings
Av Andreas Malcher, Martin Kutrib m. fl.
E-bok, 2013
657 kr
Lägg i varukorg
The volume LNCS 8155 constitutes the refereed proceedings of the 19th International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2013, held in Giessen, Germany, in September 2013. The 8 papers presented were carefully reviewed and selected from 26 submissions. The scope of …
