Biere, Armin
Articles populaires de Biere, Armin
Afficher toutes les offres-
Digitaltechnik - Eine praxisnahe Einführung
Armin Biere; Daniel Kroening; Georg Weissenbacher; Christoph Wintersteiger
Prix des articles à partir de
Afficher les 17 offresEUR 6,08
-
Tools and Algorithms for the Construction and Analysis of Systems
Prix des articles à partir de
Afficher les 15 offresEUR 38,22
-
Tools and Algorithms for the Construction and Analysis of Systems
Biere, Armin; Parker, David
Prix des articles à partir de
Afficher les 45 offresEUR 49,30
-
-
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 17 offresEUR 52,33
-
-
Handbook of Satisfiability
Prix des articles à partir de
Afficher les 13 offresEUR 210,98
Rechercher également
Neuf -
