Treffer 1 – 3 von 3 für Suche 'Polikarpova, Nadia 1985-', 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
    Integrated formal methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017 : proceedings

    Integrated formal methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017 : proceedings

    Veröffentlicht 2017
    Weitere Verfasser: “… Polikarpova, Nadia 1985- …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Software verification 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020 : revised selected papers

    Software verification 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020 : revised selected papers

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


    Gespeichert in:
  3. 3
    Integrated formal methods 13th international conference, IFM 2017, Turin, Italy, September 20-22, 2017 : proceedings

    Integrated formal methods 13th international conference, IFM 2017, Turin, Italy, September 20-22, 2017 : proceedings

    Veröffentlicht 2017
    Weitere Verfasser: “… Polikarpova, Nadia 1985- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: