Treffer 1 – 5 von 5 für Suche 'ATVA Singapur', 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
    Automated technology for verification and analysis 21st international symposium, ATVA 2023, Singapore, October 24–27, 2023, proceedings, part I

    Automated technology for verification and analysis 21st international symposium, ATVA 2023, Singapore, October 24–27, 2023, proceedings, part I

    Veröffentlicht 2023
    “… ATVA Singapur …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Automated technology for verification and analysis 21st international symposium, ATVA 2023, Singapore, October 24–27, 2023, proceedings, part II

    Automated technology for verification and analysis 21st international symposium, ATVA 2023, Singapore, October 24–27, 2023, proceedings, part II

    Veröffentlicht 2023
    “… ATVA Singapur …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Automated technology for verification and analysis 21st international symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings

    Automated technology for verification and analysis 21st international symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings

    Veröffentlicht 2023
    “… ATVA Singapur …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Automated technology for verification and analysis 21st international symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings

    Automated technology for verification and analysis 21st international symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings

    Veröffentlicht 2023
    “… ATVA Singapur …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Automated technology for verification and analysis 21st international symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings

    Automated technology for verification and analysis 21st international symposium, ATVA 2023, Singapore, October 24-27, 2023 : proceedings

    Veröffentlicht 2023
    “… ATVA Singapur …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: