Treffer 1 – 5 von 5 für Suche 'CAV Oxford', Suchdauer: 0,04s 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
    Computer aided verification 30th International Conference, CAV 2018 : held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018 : proceedings, part II

    Computer aided verification 30th International Conference, CAV 2018 : held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018 : proceedings, part II

    Veröffentlicht 2018
    “… CAV Oxford …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Computer aided verification 30th International Conference, CAV 2018 : held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018 : proceedings, part I

    Computer aided verification 30th International Conference, CAV 2018 : held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018 : proceedings, part I

    Veröffentlicht 2018
    “… CAV Oxford …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Computer aided verification 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14-17, 2018 : proceedings

    Computer aided verification 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14-17, 2018 : proceedings

    Veröffentlicht 2018
    “… CAV Oxford …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Computer aided verification 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14-17, 2018 : proceedings

    Computer aided verification 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14-17, 2018 : proceedings

    Veröffentlicht 2018
    “… CAV Oxford …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Computer aided verification 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14-17, 2018 : proceedings

    Computer aided verification 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14-17, 2018 : proceedings

    Veröffentlicht 2018
    “… CAV Oxford …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: