13 results
Type of media (2)
Language (2)
Classification (4)
Year
Persons
Publishers
Sort by
Results per page
Filter
13 results

Your search for Armin Biere

  1. Cover: Handbook of Satisfiability - IOS Press,US
    Armin Biere | Hans van Maaren | Toby Walsh
    Handbook of Satisfiability
    Second Edition
    05/2021
    1st EDN1st Edition
    IOS Press,US
    9781643681610 (ISBN)
    E-Book
    PDF
    Other editions
    €230.99
    Available for download
  2. Cover: Hardware and Software: Verification and Testing - Springer
    Armin Biere | Amir Nahir | Tanja Vos
    Hardware and Software: Verification and Testing
    8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
    07/2013
    Springer
    9783642396113 (ISBN)
    E-Book
    PDF
    Other editions
    €48.14
    Available for download
  3. Cover: Computer Aided Verification - Springer
    Armin Biere | Roderick Bloem
    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
    06/2014
    Springer
    9783319088679 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  4. Cover: Digitaltechnik - Eine praxisnahe Einführung - Springer
    Armin Biere | Daniel Kröning | Georg Weissenbacher
    Digitaltechnik - Eine praxisnahe Einführung
    02/2008
    1st EDN1st Edition
    Springer
    9783540777298 (ISBN)
    E-Book
    PDF
    Other editions
    €9.99
    Available for download
  5. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Armin Biere | David Parker
    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
    04/2020
    Springer
    9783030451899 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 7-9 days
  6. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Armin Biere | David Parker
    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
    04/2020
    Springer
    9783030452360 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 7-9 days
  7. Cover: Hardware and Software: Verification and Testing - Springer
    Armin Biere | Amir Nahir | Tanja Vos
    Hardware and Software: Verification and Testing
    8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
    07/2013
    Springer
    9783642396106 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €49.22
    Shipment within 7-9 days
  8. Cover: Handbook of Satisfiability - IOS Press,US
    Armin Biere | Hans van Maaren | Toby Walsh
    Handbook of Satisfiability
    01/2009
    1st EDN1st Edition
    IOS Press,US
    9781607503767 (ISBN)
    E-Book
    PDF
    Other editions
    €180.99
    Available for download
  9. Cover: Handbook of Satisfiability - IOS Press,US
    Armin Biere | Hans van Maaren | Toby Walsh
    Handbook of Satisfiability
    Second Edition
    05/2021
    1st EDN1st Edition
    IOS Press,US
    9781643681603 (ISBN)
    Book
    Hardback
    Other editions
    €308.50
    Shipment within 10-20 days
  10. Cover: Handbook of Satisfiability - IOS Press,US
    Armin Biere | Hans van Maaren | Toby Walsh
    Handbook of Satisfiability
    01/2009
    1st EDN1st Edition
    IOS Press,US
    9781586039295 (ISBN)
    Book
    Hardback
    Other editions
    €167.87
    Shipment within 10-20 days
  11. Cover: Computer Aided Verification - Springer
    Armin Biere | Roderick Bloem
    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
    08/2014
    Springer
    9783319088662 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 10-15 days
  12. Cover: Digitaltechnik - Eine praxisnahe Einführung - Springer
    Armin Biere | Daniel Kröning | Georg Weissenbacher
    Digitaltechnik - Eine praxisnahe Einführung
    02/2008
    Springer
    9783540777281 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €29.99
    Shipment within 10-15 days
  13. Cover: Theory and Applications of Satisfiability Testing - SAT 2006 - Springer
    Armin Biere | Carla P. Gomes
    Theory and Applications of Satisfiability Testing - SAT 2006
    9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
    07/2006
    Springer
    9783540372066 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days