«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

SAT 2005

Satisfiability Research in the Year 2005

Idioma InglésInglés
Libro Tapa dura
Libro SAT 2005 Enrico Giunchiglia
Código Libristo: 02120471
Editores Springer-Verlag New York Inc., febrero 2006
This book covers recent progress in solving propositional satisfiability and related problems. Propo... Descripción completa
? points 444 b
181.49 €
Almacenamiento externo en pequeñas cantidades Envío en 11-15 días

Hasta 30 días para devoluciones

También puede interesarle

Faking Nature Robert Elliott / Libro Tapa blanda
common.buy 63.69 €

This book covers recent progress in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification. Research into methods to automate such reasoning has therefore a long history in artificial intelligence. This book follows on from the highly successful volume entitled SAT 2000 published five years ago.§

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos SAT 2005
Autor Enrico Giunchiglia, Toby Walsh
Idioma Inglés
Encuadernación Libro - Tapa dura
Fecha de publicación 2006
Número de páginas 293
EAN 9781402045523
ISBN 1402045522
Código Libristo 02120471
Editores Springer-Verlag New York Inc.
Peso 1320
Dimensiones 155 x 235 x 25

Categorías

Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Inteligencia artificial
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?