Showing 1 - 11 results of 11 for search 'Roggenbach, Markus', query time: 0.03s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  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 by Gruner, Stefan, Kumar, Apurva, Maibaum, Tom, Roggenbach, Markus

    Published 2020

    Get full text Get full text
    Electronic eBook


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

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

    Published 2022

    Get full text Get full text
    Electronic eBook


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

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

    Published 1998
    Electronic eBook Interlibrary loan Place Request


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

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

    Published 2022
    Book Interlibrary loan Place Request


    Saved 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

    Published 2021
    Other Authors: “…Roggenbach, Markus…”
    Get full text
    Electronic Conference Proceeding eBook


    Saved 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

    Published 2021
    Other Authors:

    Get full text Get full text
    Electronic eBook


    Saved 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

    Published 2017
    Other Authors:

    Get full text Get full text
    Electronic Conference Proceeding eBook


    Saved 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

    Published 2023
    Other Authors:

    Get full text Get full text
    Electronic eBook


    Saved 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

    Published 2021
    Other Authors: “…Roggenbach, Markus…”
    Conference Proceeding Book Interlibrary loan Place Request


    Saved 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

    Published 2019
    Other Authors: “…Roggenbach, Markus…”
    Get full text
    Electronic Conference Proceeding eBook Interlibrary loan Place Request


    Saved 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

    Published 2023
    Other Authors:
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: