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