Armin Biere – författare
Visar alla böcker från författaren Armin Biere.
12 produkter
Tools and Algorithms for the Construction and Analysis of Systems
Inbunden, 2020
1149 kr
Lägg i varukorg
Tools and Algorithms for the Construction and Analysis of Systems
Inbunden, 2020
1069 kr
Lägg i varukorg
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
Häftad, 2020
589 kr
Lägg i varukorg
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
Häftad, 2020
589 kr
Lägg i varukorg
Automated Reasoning
13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part I
Av Armin Biere, Carsten Lutz m. fl.
Häftad, 2026
589 kr
Lägg i varukorg
Automated Reasoning
13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II
Av Armin Biere, Carsten Lutz m. fl.
Häftad, 2026
589 kr
Lägg i varukorg
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
Av Armin Biere, Roderick Bloem
Häftad, 2014
1469 kr
Lägg i varukorg
Theory and Applications of Satisfiability Testing - SAT 2006
9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
Av Armin Biere, Carla P. Gomes
Häftad, 2006
719 kr
Lägg i varukorg
Digitaltechnik - Eine praxisnahe Einführung
Av Armin Biere, Daniel Kröning m. fl.
Häftad, 2008
409 kr
Lägg i varukorg
Hardware and Software: Verification and Testing
8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
Av Armin Biere, Amir Nahir m. fl.
Häftad, 2013
679 kr
Lägg i varukorg