Armin Biere

Armin Biere (* 22. April 1967 in Villingen) ist ein deutscher Informatiker. Er ist seit August 2021 Professor für Informatik an der Albert-Ludwigs-University Freiburg und leitet das Institut für Rechnerarchitektur. Veröffentlicht in Wikipedia
Treffer 1 – 10 von 10 für Suche 'Biere, Armin 1967-', Suchdauer: 0,07s 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
    Effiziente Modellprüfung des My-Kalküls mit binären Entscheidungsdiagrammen

    Effiziente Modellprüfung des My-Kalküls mit binären Entscheidungsdiagrammen von Biere, Armin 1967-

    Veröffentlicht 1997
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Tools and algorithms for the construction and analysis of systems 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, proceedings, Part I

    Tools and algorithms for the construction and analysis of systems 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice o...

    Veröffentlicht 2020
    Weitere Verfasser: “… Biere, Armin 1967- …”
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  3. 3
    Tools and algorithms for the construction and analysis of systems 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, proceedings, Part II

    Tools and algorithms for the construction and analysis of systems 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice o...

    Veröffentlicht 2020
    Weitere Verfasser: “… Biere, Armin 1967- …”
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  4. 4
    Tools and algorithms for the construction and analysis of systems 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings

    Tools and algorithms for the construction and analysis of systems 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice o...

    Veröffentlicht 2020
    Weitere Verfasser: “… Biere, Armin 1967- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Computer aided verification 26th international conference, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18 - 22, 2014 : proceedings

    Computer aided verification 26th international conference, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18 - 22, 2014 : proceedings

    Veröffentlicht 2014
    Weitere Verfasser: “… Biere, Armin 1967- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Computer aided verification 26th international conference, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18 - 22, 2014 : proceedings

    Computer aided verification 26th international conference, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18 - 22, 2014 : proceedings

    Veröffentlicht 2014
    Weitere Verfasser: “… Biere, Armin 1967- …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Tools and algorithms for the construction and analysis of systems 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings

    Tools and algorithms for the construction and analysis of systems 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice o...

    Veröffentlicht 2020
    Weitere Verfasser: “… Biere, Armin 1967- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    Handbook of satisfiability

    Handbook of satisfiability

    Veröffentlicht 2009
    Weitere Verfasser: “… Biere, Armin 1967- …”
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Tools and algorithms for the construction and analysis of systems 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings

    Tools and algorithms for the construction and analysis of systems 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice o...

    Veröffentlicht 2020
    Weitere Verfasser: “… Biere, Armin 1967- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Handbook of satisfiability

    Handbook of satisfiability

    Veröffentlicht 2009
    Weitere Verfasser: “… Biere, Armin 1967- …”
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: