Treffer 1 – 11 von 11 für Suche 'Roggenbach, Markus', Suchdauer: 0,05s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    On the construction of engineering handbooks with an illustration from the railway safety domain

    On the construction of engineering handbooks with an illustration from the railway safety domain von Gruner, Stefan, Kumar, Apurva, Maibaum, Tom, Roggenbach, Markus

    Veröffentlicht 2020

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Formal Methods for Software Engineering Languages, Methods, Application Domains

    Formal Methods for Software Engineering Languages, Methods, Application Domains von Roggenbach, Markus, Cerone, Antonio, Schlingloff, Bernd-Holger, Schneider, Gerardo, Shaikh, Siraj Ahmed

    Veröffentlicht 2022

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Über abstrakte Charakterisierungen von Bisimulation

    Über abstrakte Charakterisierungen von Bisimulation von Roggenbach, Markus 1966-

    Veröffentlicht 1998
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Formal methods for software engineering Languages, methods, application domains

    Formal methods for software engineering Languages, methods, application domains von Roggenbach, Markus, Cerone, Antonio, Schlingloff, Bernd-Holger 1959-, Schneider, Gerardo, Shaikh, Siraj Ahmed

    Veröffentlicht 2022
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Recent trends in algebraic development techniques 25th international workshop, WADT 2020, virtual event, April 29, 2020, revised selected papers

    Recent trends in algebraic development techniques 25th international workshop, WADT 2020, virtual event, April 29, 2020, revised selected papers

    Veröffentlicht 2021
    Weitere Verfasser: “… Roggenbach, Markus …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    Formal Methods – Fun for Everybody First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers

    Formal Methods – Fun for Everybody First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers

    Veröffentlicht 2021
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  7. 7
    Recent trends in algebraic development techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016 : revised selected papers

    Recent trends in algebraic development techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016 : revised selected papers

    Veröffentlicht 2017
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  8. 8
    Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

    Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

    Veröffentlicht 2023
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  9. 9
    Recent trends in algebraic development techniques 25th international workshop, WADT 2020, Virtual Event, April 29, 2020 : revised selected papers

    Recent trends in algebraic development techniques 25th international workshop, WADT 2020, Virtual Event, April 29, 2020 : revised selected papers

    Veröffentlicht 2021
    Weitere Verfasser: “… Roggenbach, Markus …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    8th Conference on Algebra and Coalgebra in Computer Science CALCO 2019, June 3–6, 2019, London, United Kingdom

    8th Conference on Algebra and Coalgebra in Computer Science CALCO 2019, June 3–6, 2019, London, United Kingdom

    Veröffentlicht 2019
    Weitere Verfasser: “… Roggenbach, Markus …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:
  11. 11
    Applicable formal methods for safe industrial products essays dedicated to Jan Peleska on the occasion of his 65th birthday

    Applicable formal methods for safe industrial products essays dedicated to Jan Peleska on the occasion of his 65th birthday

    Veröffentlicht 2023
    Weitere Verfasser:
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: