Treffer 1 – 10 von 10 für Suche 'Kovács, Laura', 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
    Tests and proofs 16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022, proceedings

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

    Veröffentlicht 2022
    Weitere Verfasser: “… Kovács, Laura …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Integrated Formal Methods 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings

    Integrated Formal Methods 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings

    Veröffentlicht 2025
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


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

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

    Veröffentlicht 2024
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


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

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

    Veröffentlicht 2024
    Weitere Verfasser: “… Kovács, Laura 1980- …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  5. 5
    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

    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 o...

    Veröffentlicht 2024
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    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

    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 o...

    Veröffentlicht 2024
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  7. 7
    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

    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 o...

    Veröffentlicht 2024
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  8. 8
    Automated reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, proceedings

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

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


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

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

    Veröffentlicht 2022
    Weitere Verfasser: “… Kovács, Laura 1980- …”
    Tagungsbericht Buch Fernleihe Bestellen


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

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

    Veröffentlicht 2020
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: