Hoppa till sidans huvudinnehåll

Martin Kutrib – författare

Visar alla böcker från författaren Martin Kutrib.
9 produkter
Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas - Formal Methods. FM 2019 International Workshops, Häftad
Del 12232 - Lecture Notes in Computer Science

Formal Methods. FM 2019 International Workshops

Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I

AvEmil Sekerinski,Nelma Moreiram. fl.

Häftad, Engelska, 2020

739 kr

Skickas inom 10-15 vardagar

Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas - Formal Methods. FM 2019 International Workshops, Häftad
Del 12233 - Lecture Notes in Computer Science

Formal Methods. FM 2019 International Workshops

Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II

AvEmil Sekerinski,Nelma Moreiram. fl.

Häftad, Engelska, 2020

739 kr

Skickas inom 10-15 vardagar

Martin Kutrib, Uwe Meyer - Reversible Computation, Häftad
Del 13960 - Lecture Notes in Computer Science

Reversible Computation

15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, Proceedings

AvMartin Kutrib,Uwe Meyer

Häftad, Engelska, 2023

949 kr

Skickas inom 5-8 vardagar

Markus Holzer, Martin Kutrib - Implementation and Application of Automata, Häftad
Del 8587 - Lecture Notes in Computer Science

Implementation and Application of Automata

19th International Conference, CIAA 2014, Giessen, Germany, July 30 -- August 2, 2014, Proceedings

AvMarkus Holzer,Martin Kutrib

Häftad, Engelska, 2014

709 kr

Skickas inom 10-15 vardagar

Jan M. Baetens, Martin Kutrib - Cellular Automata and Discrete Complex Systems, Häftad
Del 10875 - Lecture Notes in Computer Science

Cellular Automata and Discrete Complex Systems

24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings

AvJan M. Baetens,Martin Kutrib

Häftad, Engelska, 2018

719 kr

Skickas inom 10-15 vardagar

Markus Holzer, Martin Kutrib, Giovanni Pighizzini - Descriptional Complexity of Formal Systems, Häftad

Descriptional Complexity of Formal Systems

13 International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings

AvMarkus Holzer,Martin Kutribm. fl.

Häftad, Engelska, 2011

739 kr

Skickas inom 10-15 vardagar

Martin Kutrib, Nelma Moreira, Rogério Reis - Descriptional Complexity of Formal Systems, Häftad

Descriptional Complexity of Formal Systems

14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings

AvMartin Kutrib,Nelma Moreiram. fl.

Häftad, Engelska, 2012

739 kr

Skickas inom 10-15 vardagar

Henning Bordihn, Martin Kutrib, Bianca Truthe - Languages Alive, Häftad

Languages Alive

Essays dedicated to Jürgen Dassow on the Occasion of His 65th Birthday

AvHenning Bordihn,Martin Kutribm. fl.

Häftad, Engelska, 2012

719 kr

Skickas inom 10-15 vardagar

Jarkko Kari, Martin Kutrib, Andreas Malcher - Cellular Automata and Discrete Complex Systems, Häftad

Cellular Automata and Discrete Complex Systems

19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 14-19, 2013, Proceedings

AvJarkko Kari,Martin Kutribm. fl.

Häftad, Engelska, 2013

679 kr

Skickas inom 10-15 vardagar