Liknande böcker

Computers and Games : 7th International Conference, CG 2010, Kanazawa, J...
Bok av H. Jaap. Herik
Advances in Computer Games : 11th International Conference, ACG 2005, Ta...
Bok av H. Jaap van den. Herik
Logic, Language, Information and Computation : 15th International Worksh...
Bok av Wilfrid. Hodges
Formal Methods for Components and Objects (vol. # 4111) : 4th Internatio...
Bok av Frank S. de Boer
Logic, Language, Information, and Computation : 21st International Works...
Bok av Ulrich. Kohlenbach
Inductive Logic Programming : 18th International Conference, ILP 2008 Pr...
Bok av Jaime G. Carbonell
Decision Procedures : An Algorithmic Point of View
Bok av Daniel. Kroening
Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Ann...
Bok av David. Hutchison

Theory and Applications of Satisfiability Testing – SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

Bok av Hans. Kleine Büning