Treffer 1 – 2 von 2 für Suche 'Stoelinga, Mariëlle Ida Antoinette', Suchdauer: 0,01s 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
    Alea jacta est verification of probabilistic, real-time and parametric systems

    Alea jacta est verification of probabilistic, real-time and parametric systems von Stoelinga, Mariëlle Ida Antoinette

    Veröffentlicht 2002
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Selected and extended papers from ACM SVT 2014

    Selected and extended papers from ACM SVT 2014

    Veröffentlicht 2016
    Weitere Verfasser:
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: