Liknande böcker

Unconventional Computation and Natural Computation : 11th International...
Bok av Jérôme. Durand-Lose
Developments in Language Theory : 15th International Conference, DLT 201...
Bok av Giancarlo. Mauri
Advances in Computer Games : 11th International Conference, ACG 2005, Ta...
Bok av H. Jaap van den. Herik
Advances in Knowledge Representation, Logic Programming, and Abstract Ar...
Bok av Patrick Doherty
Unconventional Computation and Natural Computation : 15th International...
Bok av Martyn Amos
Unconventional Computation (vol. # 4135) : 5th International Conference,...
Bok av Cristian S. Calude
Foundations of Software Science and Computational Structures : 15th Inte...
Bok av Lars. Birkedal
Implementation and Application of Automata: 8Th International Conference...
Bok av Oscar H. Ibarra

Theory and Applications of Satisfiability Testing – SAT 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings

Bok av Alessandro. Cimatti
2 utgåvor
Välj utgåva
Alla
Visa alla 2 utgåvor
Theory and Applications of Satisfiability Testing -- SAT 2012Engelska - Pocket
ISBN: 9783642316111
Theory and Applications of Satisfiability Testing -- SAT 2012Engelska - E-bok
ISBN: 9783642316128
Visa pris inkl. frakt Inkl. frakt
Adlibris
792 kr fri frakt
Finns i lager
Till butik
Theory and Applications of Satisfiability Testing -- SAT 2012
792 kr
Finns i lager
CDON
792 kr + 29 frakt
Finns i lager
Till butik
Theory and Applications of Satisfiability Testing -- SAT 2012
792 kr
Finns i lager
Bokus
839 kr fri frakt
Finns i lager
Till butik
Theory and Applications of Satisfiability Testing -- SAT 2012
839 kr
Finns i lager
Listan innehåller betalda länkar
Vilka butiker visas?