Suchergebnisse - Kovács, Laura

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

    Tests and proofs: 16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022, proceedings

    Veröffentlicht 2022
    Weitere beteiligte Personen: “… Kovács, Laura …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Buchumschlag

    Integrated formal methods: 19th international conference, IFM 2024, Manchester, UK, November 13-15, 2024, proceedings

    Veröffentlicht 2025
    Weitere beteiligte Personen: “… Kovács, Laura …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Buchumschlag

    Intelligent computer mathematics: 17th international conference, CICM 2024, Montréal, QC, Canada, August 5–9, 2024, proceedings

    Veröffentlicht 2024
    Weitere beteiligte Personen: “… Kovács, Laura 1980- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Buchumschlag

    Reachability problems: 18th international conference, RP 2024, Vienna, Austria, September 25–27, 2024, proceedings

    Veröffentlicht 2024
    Weitere beteiligte Personen: “… Kovács, Laura 1980- …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  5. 5
    Buchumschlag

    Tools and algorithms for the construction and analysis of systems: 30th international conference, TACAS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, proceedings, part II

    Veröffentlicht 2024
    Weitere beteiligte Personen: “… Kovács, Laura 1980- …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    Buchumschlag

    31st International Conference on Concurrency Theory: CONCUR 2020, September 1–4, 2020, Vienna, Austria (Virtual Conference)

    Veröffentlicht 2020
    Weitere beteiligte Personen: “… Kovács, Laura 1980- …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  7. 7
    Buchumschlag

    Tools and algorithms for the construction and analysis of systems: 30th international conference, TACAS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, proceedings, part I

    Veröffentlicht 2024
    Weitere beteiligte Personen: “… Kovács, Laura 1980- …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  8. 8
    Buchumschlag

    Tools and algorithms for the construction and analysis of systems: 30th international conference, TACAS 2024, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, proceedings, part III

    Veröffentlicht 2024
    Weitere beteiligte Personen: “… Kovács, Laura 1980- …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  9. 9
    Buchumschlag

    Automated reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022 : proceedings

    Veröffentlicht 2022
    Weitere beteiligte Personen: “… Kovács, Laura 1980- …”
    Online lesen (frei zugänglich)
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  10. 10
    Buchumschlag

    Tests and proofs: 16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022 : proceedings

    Veröffentlicht 2022
    Weitere beteiligte Personen: “… Kovács, Laura 1980- …”
    Per Fernleihe bestellen
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: