Treffer 1 – 3 von 3 für Suche 'Glück, Roland 1972-', Suchdauer: 0,04s 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
    Bisimulations and model refinement

    Bisimulations and model refinement von Glück, Roland 1972-

    Veröffentlicht 2015
    Beschreibung
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Relational and algebraic methods in computer science 20th international conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023, proceedings

    Relational and algebraic methods in computer science 20th international conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023, proceedings

    Veröffentlicht 2023
    Weitere Verfasser: “… Glück, Roland 1972- …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Relational and algebraic methods in computer science 20th international conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023 : proceedings

    Relational and algebraic methods in computer science 20th international conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023 : proceedings

    Veröffentlicht 2023
    Weitere Verfasser: “… Glück, Roland 1972- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: