Treffer 1 – 4 von 4 für Suche 'Stolz, Volker', Suchdauer: 0,03s 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
    Runtime verification 22nd international conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, proceedings

    Runtime verification 22nd international conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, proceedings

    Veröffentlicht 2022
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Formal methods: foundations and applications 23rd Brazilian symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, proceedings

    Formal methods: foundations and applications 23rd Brazilian symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, proceedings

    Veröffentlicht 2020
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Advances in service-oriented and cloud computing workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017 : revised selected papers

    Advances in service-oriented and cloud computing workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017 : revised selected papers

    Veröffentlicht 2018
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Theoretical aspects of computing – ICTAC 2020 17th international colloquium, Macau, China, November 30 – December 4, 2020, proceedings

    Theoretical aspects of computing – ICTAC 2020 17th international colloquium, Macau, China, November 30 – December 4, 2020, proceedings

    Veröffentlicht 2020
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:

Suchwerkzeuge: