Treffer 1 – 6 von 6 für Suche 'FloC', 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
    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
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Theory and applications of satisfiability testing – SAT 2018 21st International Conference, SAT 2018 : held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018 : proceedings

    Theory and applications of satisfiability testing – SAT 2018 21st International Conference, SAT 2018 : held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9...

    Veröffentlicht 2018

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Automated reasoning 9th International Joint Conference, IJCAR 2018 : held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018 : proceedings

    Automated reasoning 9th International Joint Conference, IJCAR 2018 : held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018 : proceedings

    Veröffentlicht 2018

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    Interactive theorem proving 9th International Conference, ITP 2018 : held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018 : proceedings

    Interactive theorem proving 9th International Conference, ITP 2018 : held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018 : proceedings

    Veröffentlicht 2018

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  5. 5
    Formal methods 22nd International Symposium, FM 2018 : held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018 : proceedings

    Formal methods 22nd International Symposium, FM 2018 : held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018 : proceedings

    Veröffentlicht 2018

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  6. 6
    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
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:

Suchwerkzeuge: