Treffer 1 – 7 von 7 für Suche 'Huisman, Marieke 1973-', Suchdauer: 0,06s 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
    Formal techniques for distributed objects, components, and systems 43rd IFIP WG 6.1 International Conference, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, proceedings

    Formal techniques for distributed objects, components, and systems 43rd IFIP WG 6.1 International Conference, FORTE 2023, held as part of the 18th International Federated Conferenc...

    Veröffentlicht 2023
    Weitere Verfasser: “… Huisman, Marieke 1973- …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Tools and algorithms for the construction and analysis of systems 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings, part I

    Tools and algorithms for the construction and analysis of systems 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice o...

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


    Gespeichert in:
  3. 3
    Tools and algorithms for the construction and analysis of systems 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings, part II

    Tools and algorithms for the construction and analysis of systems 24th International Conference, TACAS 2018, held as part of the European Joint Conferences on Theory and Practice o...

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


    Gespeichert in:
  4. 4
    Tools and algorithms for the construction and analysis of systems 25 years of TACAS: TOOLympics : held as part of ETAPS 2019 : Prague, Czech Republic, April 6–11, 2019 : proceedings, part III

    Tools and algorithms for the construction and analysis of systems 25 years of TACAS: TOOLympics : held as part of ETAPS 2019 : Prague, Czech Republic, April 6–11, 2019 : proceeding...

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


    Gespeichert in:
  5. 5
    Formal methods 24th International Symposium, FM 2021, virtual event, November 20-26, 2021 : proceedings

    Formal methods 24th International Symposium, FM 2021, virtual event, November 20-26, 2021 : proceedings

    Veröffentlicht 2021
    Weitere Verfasser: “… Huisman, Marieke 1973- …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    Formal methods 24th international symposium, FM 2021, virtual event, November 20-26, 2021 : proceedings

    Formal methods 24th international symposium, FM 2021, virtual event, November 20-26, 2021 : proceedings

    Veröffentlicht 2021
    Weitere Verfasser: “… Huisman, Marieke 1973- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Formal techniques for distributed objects, components, and systems 43rd IFIP WG 6.1 International Conference, FORTE 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023 : proceedings

    Formal techniques for distributed objects, components, and systems 43rd IFIP WG 6.1 International Conference, FORTE 2023, held as part of the 18th International Federated Conferenc...

    Veröffentlicht 2023
    Weitere Verfasser: “… Huisman, Marieke 1973- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: