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 16 offresEUR 40,33
-
Tools and Algorithms for the Construction and Analysis of Systems
Biere, Armin; Parker, David
Prix des articles à partir de
Afficher les 45 offresEUR 58,87
-
Digitaltechnik - Eine praxisnahe Einführung
Armin Biere; Daniel Kroening; Georg Weissenbacher; Christoph Wintersteiger
Prix des articles à partir de
Afficher les 16 offresEUR 20,71
