Theory and Applications of Satisfiability Testing - Sat 2014: 17th International Conference, Held As Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 14-17, 2014, Proceedings - Lecture Notes in Computer Science / Theoretical Computer Sc - Carsten Sinz - Libros - Springer International Publishing AG - 9783319092836 - 4 de agosto de 2014
En caso de que portada y título no coincidan, el título será el correcto

Theory and Applications of Satisfiability Testing - Sat 2014: 17th International Conference, Held As Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 14-17, 2014, Proceedings - Lecture Notes in Computer Science / Theoretical Computer Sc

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 30 de jun. - 13 de jul.
Añadir a tu lista de deseos de iMusic

474 pages, 77 black & white illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 4 de agosto de 2014
ISBN13 9783319092836
Editores Springer International Publishing AG
Páginas 474
Dimensiones 155 × 235 × 24 mm   ·   662 g
Lengua Alemán  
Editor Egly, Uwe
Editor Sinz, Carsten

Mere med samme udgiver