Theory and Applications of Satisfiability Testing: 7th International Conference, Sat 2004, Vancouver, Bc, Canada, May 10-13, 2004, Revised Selected Papers - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues - Holger H Hoos - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540278290 - 8 de julio de 2005
En caso de que portada y título no coincidan, el título será el correcto

Holger H Hoos
Theory and Applications of Satisfiability Testing: 7th International Conference, Sat 2004, Vancouver, Bc, Canada, May 10-13, 2004, Revised Selected Papers - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 26 de jun. - 9 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 the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability Testing, SAT 2004. This book contains papers and reports covering a spectrum of research in propositional and quantified Boolean formula satisfiability testing; and the fields of theoretical and experimental computer science.

393 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 8 de julio de 2005
ISBN13 9783540278290
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 393
Dimensiones 156 × 234 × 21 mm   ·   576 g
Lengua Francés  
Editor Hoos, Holger H. (University of British Columbia)
Editor Mitchell, David G. (Simon Fraser University)

Mere med samme udgiver

Ver todo de Holger H Hoos ( Ej. Paperback Book )