Biere, Armin
Articles populaires de Biere, Armin
Afficher toutes les offres-
Tools and Algorithms for the Construction and Analysis of Systems
Prix des articles à partir de
Afficher les 14 offresEUR 38,22
Rechercher également
Neuf -
-
Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
Gomes, Carla P.; Biere, Armin
Prix des articles à partir de
Afficher les 18 offresEUR 52,64
-
Tools and Algorithms for the Construction and Analysis of Systems
Biere, Armin; Parker, David
Prix des articles à partir de
Afficher les 49 offresEUR 49,92
-
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
Prix des articles à partir de
Afficher les 13 offresEUR 86,24
Rechercher également
Neuf -
Handbook of Satisfiability
Prix des articles à partir de
Afficher les 5 offresEUR 129,90
Rechercher également
Neuf -
Handbook of Satisfiability
Prix des articles à partir de
Afficher les 14 offresEUR 199,73
Rechercher également
Neuf -
Digitaltechnik - Eine praxisnahe Einführung
Armin Biere; Daniel Kroening; Georg Weissenbacher; Christoph Wintersteiger
Prix des articles à partir de
Afficher les 17 offresEUR 31,28
