«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.

Theory and Applications of Satisfiability Testing - SAT 2008

11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Theory and Applications of Satisfiability Testing - SAT 2008 Hans Kleine Büning
Código Libristo: 01570294
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, abril 2008
This book constitutes the refereed proceedings of the 11th International Conference on Theory and Ap... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Un largo silencio Francisco Gallardo / Libro Tapa blanda
common.buy 17.29 €
Deutsche Jugend in schwerer Zeit: Erzählung für die Jugend Josephine Siebe / Libro Tapa blanda
common.buy 10.69 €
Die im Dunkeln sieht man nicht Albrecht Müller / Libro Tapa blanda
common.buy 13.39 €
offices et papaute (xive-xviie siecle) : charges, hommes, destins / Libro Libro
common.buy 138.29 €
Nuwana Wedena Bosath Katha - 53 Ven. Kiribathgoda Gnanananda Thero / Libro Tapa blanda
common.buy 8.09 €
Praxishandbuch Immobilienanlage Helmut Keller / Libro Tapa dura
common.buy 113.69 €

This book constitutes the refereed proceedings of the 11th International Conference on Theory and Applications of Satisfiability Testing, SAT 2008, held in Guangzhou, P. R. China, in May 2008.§The 17 revised full papers presented together with 8 revised short papers and 2 invited talks were carefully selected from 70 submissions. All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including but not limited to proof systems, proof complexity, search algorithms, heuristics, analysis of algorithms, hard instances, randomized formulae, problem encodings, industrial applications, solvers, simplifiers, tools, case studies and empirical results.

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 Theory and Applications of Satisfiability Testing - SAT 2008
Autor Hans Kleine Büning, Xishun Zhao
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2008
Número de páginas 305
EAN 9783540797180
ISBN 3540797181
Código Libristo 01570294
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 498
Dimensiones 155 x 235 x 19

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Ingeniería de control automático > Robótica
Matemáticas y ciencias > Matemáticas > Fundamentos matemáticos > Lógica matemática
Computación e informática > Programación informática/desarrollo de software > Algoritmos y estructuras de datos
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Inteligencia artificial
Computación e informática > Sistemas operativos
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

También puede interesarle

Próximamente
Dental Assisting Coloring Book Donna Phinney / Libro Tapa blanda
common.buy 58.99 €
The Boys from the Banlieue Melissa Trump / Libro Tapa blanda
common.buy 11.59 €
The Law is (Not) for Kids, Revised and Updated E – A Legal Rights Guide for Canadian Children and Teens Ned Lecic / Libro Tapa dura
common.buy 26.59 €
Trans Juliet Jacques / Libro electrónico Adobe ePub DRM
common.buy 11.09 €
Muscle Testing Earle Abrahamson / Libro Tapa blanda
common.buy 50.09 €
Popular
Introduction to Plasma Physics and Controlled Fusion Francis Chen / Libro Tapa blanda
common.buy 66.49 €
Próximamente
Understanding Early Development from Conception to Four Sheila Nutkins / Libro Tapa dura
common.buy 140.29 €
Building a Trauma Kit Gunner Morgan / Libro Tapa blanda
common.buy 10.69 €
The BE-Attitudes: A Path of Personal Christhood Rhonda Myers / Libro Tapa blanda
common.buy 14.49 €
Borders in Central Europe After the Schengen Agreement TomáS Havlícek / Libro Tapa dura
common.buy 112.79 €
Information Theory - Part I: An Introduction To The Fundamental Concepts Arieh Ben-Naim / Libro Tapa dura
common.buy 142.99 €
Heller's Leap IAN WALLACE / Libro Tapa blanda
common.buy 16.09 €
Speech Pathology Management of Chronic Refractory Cough and Related Disorders Anne E Vertigan / Libro Tapa blanda
common.buy 134.29 €
Advanced Laparoscopic Surgery Valerie Kent / Libro Tapa dura
common.buy 76.89 €
Asolo Accords Shulman / Libro Tapa blanda
common.buy 21.19 €
Reflections on Divine Healing Douglas C Leech / Libro Tapa blanda
common.buy 20.39 €

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?