Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings - Theoretical Computer Science and General Issues - Matti Jarvisalo - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642390708 - 19 de julio de 2013
En caso de que portada y título no coincidan, el título será el correcto

Matti Jarvisalo
Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings - Theoretical Computer Science and General Issues 2013 edition

Precio
$ 54,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 24 de jul. - 6 de ago.

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

The 21 regular papers, 5 short papers, and 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 71 submissions (850 regular, 15 short and 16 tool papers).

460 pages, 84 black & white illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 19 de julio de 2013
ISBN13 9783642390708
Editores Springer-Verlag Berlin and Heidelberg Gm
Género Aspects (Academic) > Science / Technology Aspects
Páginas 437
Dimensiones 155 × 235 × 23 mm   ·   635 g
Lengua Francés  
Editor Jarvisalo, Matti
Editor Van Gelder, Allen

Mere med samme udgiver

Ver todo de Matti Jarvisalo ( Ej. Paperback Book )