Biere, Armin
Articles populaires de Biere, Armin
Afficher toutes les offres-
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 38,82
-
Tools and Algorithms for the Construction and Analysis of Systems
Biere, Armin; Parker, David
Prix des articles à partir de
Afficher les 49 offresEUR 56,94
-
Digitaltechnik - Eine praxisnahe Einführung
Armin Biere; Daniel Kroening; Georg Weissenbacher; Christoph Wintersteiger
Prix des articles à partir de
Afficher les 16 offresEUR 31,25
