Treffer 1 – 5 von 5 für Suche 'Seceleanu, Cristina', Suchdauer: 0,01s 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 17th international conference, TAP 2023, Leicester, UK, July 18–19, 2023, proceedings

    Tests and proofs 17th international conference, TAP 2023, Leicester, UK, July 18–19, 2023, proceedings

    Veröffentlicht 2023
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Engineering of computer-based systems 8th international conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, proceedings

    Engineering of computer-based systems 8th international conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, proceedings

    Veröffentlicht 2024
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Critical systems: formal methods and automated verification joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017 : proceedings

    Critical systems: formal methods and automated verification joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on A...

    Veröffentlicht 2017
    Weitere Verfasser:

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    CyberSecurity in a DevOps Environment From Requirements to Monitoring

    CyberSecurity in a DevOps Environment From Requirements to Monitoring

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


    Gespeichert in:
  5. 5
    Tests and proofs 17th international conference, TAP 2023, Leicester, UK, July 18-19, 2023 : proceedings

    Tests and proofs 17th international conference, TAP 2023, Leicester, UK, July 18-19, 2023 : proceedings

    Veröffentlicht 2023
    Weitere Verfasser:
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: