Armin Biere
Theory and Applications of Satisfiability Testing - Sat 2006: 9th International Conference, Seattle, Wa, Usa, August 12-15, 2006, Proceedings - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues Armin Biere

Name: Theory and Applications of Satisfiability Testing - Sat 2006: 9th International Conference, Seattle, Wa, Usa, August 12-15, 2006, Proceedings - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues
Price: 963 MXN
Availability: OutOfStock
Author: Armin Biere

Precio

Mex$ 963

sin IVA

Pedido desde almacén remoto

Entrega prevista 3 - 13 de ago.

Recibe notificaciones sobre nuevos lanzamientos de Armin Biere

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores

Mejor valorado en Trustpilot

Añadir a tu lista de deseos de iMusic

Aún no valorado

Theory and Applications of Satisfiability Testing - Sat 2006: 9th International Conference, Seattle, Wa, Usa, August 12-15, 2006, Proceedings - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues

Armin Biere

Constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing, SAT 2006. This book presents 26 revised full papers together with 11 revised short papers and 2 invited talks.

440 pages, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	26 de julio de 2006
ISBN13	9783540372066
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	440
Dimensiones	156 × 234 × 23 mm · 662 g
Lengua	Alemán