Suchergebnisse - Parker, David 1977-

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

    Quantitative evaluation of systems: 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019 : proceedings

    Veröffentlicht 2019
    Weitere beteiligte Personen: “… Parker, David 1977- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Tools and algorithms for the construction and analysis of systems: 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, proceedings, Part II

    Veröffentlicht 2020
    Weitere beteiligte Personen: “… Parker, David 1977- …”
    Online lesen (frei zugänglich)
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Tools and algorithms for the construction and analysis of systems: 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, proceedings, Part I

    Veröffentlicht 2020
    Weitere beteiligte Personen: “… Parker, David 1977- …”
    Online lesen (frei zugänglich)
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: