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,37s Treffer weiter einschränken
  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

    Zu den Favoriten
    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- …”
    kostenfrei
    kostenfrei
    Buchcover
    Elektronisch E-Book

    Zu den Favoriten
    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- …”
    kostenfrei
    kostenfrei
    Buchcover
    Elektronisch E-Book

    Zu den Favoriten
    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

    Zu den Favoriten
    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- …”
    DE-634
    DE-M347
    DE-92
    DE-859
    DE-861
    DE-91
    DE-384
    DE-473
    DE-703
    DE-20
    DE-706
    DE-29
    DE-739
    Volltext
    Inhaltsverzeichnis
    Abstract
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    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- …”
    Tagungsbericht Buch

    Zu den Favoriten
    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

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Handbook of satisfiability

    Handbook of satisfiability

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

    Zu den Favoriten
    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

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Handbook of satisfiability

    Handbook of satisfiability

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

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: