Theory and Applications of Satisfiability Testing - Sat 2007: 10th International Conference,sat 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues - Joao Marques-silva - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540727873 - 18 de mayo de 2007
En caso de que portada y título no coincidan, el título será el correcto

Joao Marques-silva
Theory and Applications of Satisfiability Testing - Sat 2007: 10th International Conference,sat 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues

Precio
$ 65,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 7 - 24 de jul.

Nuestros clientes opinan:

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

Constitutes refereed proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing, SAT 2007, held in Lisbon, Portugal in May 2007. This book covers research issues in propositional and quantified Boolean formula satisfiability testing.

388 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 18 de mayo de 2007
ISBN13 9783540727873
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 388
Dimensiones 156 × 234 × 21 mm   ·   607 g

Mere med samme udgiver

Ver todo de Joao Marques-silva ( Ej. Paperback Book )