Treffer 1 – 7 von 7 für Suche 'Wies, Thomas', 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
    Programming languages and systems 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023 : proceedings

    Programming languages and systems 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023,...

    Veröffentlicht 2023
    Weitere Verfasser: “… Wies, Thomas …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Verified software theories, tools, and experiments : 9th international conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017 : revised selected papers

    Verified software theories, tools, and experiments : 9th international conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017 : revised selected papers

    Veröffentlicht 2017
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Networked Systems 11th International Conference, NETYS 2023, Benguerir, Morocco, May 22–24, 2023, Proceedings

    Networked Systems 11th International Conference, NETYS 2023, Benguerir, Morocco, May 22–24, 2023, Proceedings

    Veröffentlicht 2023
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  4. 4
    Verification, model checking, and abstract interpretation 23rd international conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, proceedings

    Verification, model checking, and abstract interpretation 23rd international conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, proceedings

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


    Gespeichert in:
  5. 5
    Programming languages and systems 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023 : proceedings

    Programming languages and systems 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023,...

    Veröffentlicht 2023
    Weitere Verfasser: “… Wies, Thomas …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Networked systems 11th international conference, NETYS 2023, Benguerir, Morocco, May 22-24, 2023 : proceedings

    Networked systems 11th international conference, NETYS 2023, Benguerir, Morocco, May 22-24, 2023 : proceedings

    Veröffentlicht 2023
    Weitere Verfasser:
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Verified software theories, tools, and experiments : 9th international conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017 : revised selected papers

    Verified software theories, tools, and experiments : 9th international conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017 : revised selected papers

    Veröffentlicht 2017
    Weitere Verfasser:
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: