Treffer 1 – 4 von 4 für Suche 'Sokolova, Ana', Suchdauer: 0,03s 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
    Model checking software 27th International Symposium, SPIN 2021, virtual event, July 12, 2021 : proceedings

    Model checking software 27th International Symposium, SPIN 2021, virtual event, July 12, 2021 : proceedings

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


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

    Volltext öffnen Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Formal techniques for distributed objects, components, and systems 40th IFIP WG 6.1 International Conference, FORTE 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, proceedings

    Formal techniques for distributed objects, components, and systems 40th IFIP WG 6.1 International Conference, FORTE 2020, held as part of the 15th International Federated Conferenc...

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


    Gespeichert in:
  4. 4
    8th Conference on Algebra and Coalgebra in Computer Science CALCO 2019, June 3–6, 2019, London, United Kingdom

    8th Conference on Algebra and Coalgebra in Computer Science CALCO 2019, June 3–6, 2019, London, United Kingdom

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


    Gespeichert in:

Suchwerkzeuge: