Ofer Strichman
Artículos populares por Ofer Strichman
Ver todas las ofertas-
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Kroening, Daniel; Strichman, Ofer
Precios de los artículos a partir de
Ver 6 ofertasEUR 75,67
-
Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings: 6175 (Lecture Notes in Computer Science, 6175)
Precios de los artículos a partir de
Ver 1 ofertaEUR 29,90
Encuentra también
Antiguos o usados
