Suchergebnisse - Huisman, Marieke 1973-

  • Treffer 1 – 7 von 7
Treffer filtern
  1. 1
    Buchumschlag

    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

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Huisman, Marieke 1973- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    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

    Veröffentlicht 2018
    Weitere beteiligte Personen: “… Huisman, Marieke 1973- …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    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

    Veröffentlicht 2018
    Weitere beteiligte Personen: “… Huisman, Marieke 1973- …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

    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

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Huisman, Marieke 1973- …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 2021
    Weitere beteiligte Personen: “… Huisman, Marieke 1973- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 2021
    Weitere beteiligte Personen: “… Huisman, Marieke 1973- …”
    Tagungsbericht Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    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

    Veröffentlicht 2023
    Weitere beteiligte Personen: “… Huisman, Marieke 1973- …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: