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

18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Theory and Applications of Satisfiability Testing -- SAT 2015 Marijn Heule
Código Libristo: 09511309
Editores Springer International Publishing AG, octubre 2015
This book constitutes the refereed proceedings of the 18th International Conference on Theory and Ap... Descripción completa
? points 177 b
72.39 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Bára - neuvěřitelný příběh věže / The incredible story of a tower / Libro Hoja
common.buy 11.19 €
Como empezar en YouTube Pilula Digital / Libro electrónico Adobe ePub DRM
common.buy 3.09 €
The stars are dying (édition française) - relié collector - Tome 01 Chloe C. Peñaranda / Libro Tapa dura
common.buy 33.09 €
Cuerpo de gestión de la administración civil del estado. Temario. Volumen ii. Turno libre. La unión Guerrero Arroyo / Libro binding.
common.buy 31.09 €
Servire non servirsi. La prima regola del buon politico Luigi Sturzo / Libro Tapa blanda
common.buy 11.39 €
Derecho de autor y derechos conexos Delia Lipszyc / Libro electrónico Adobe ePub DRM
common.buy 10.49 €
Popular
Les Schtroumpfs - L'intégrale - Tome 4 - 1975-1988 Peyo / Libro Tapa dura
common.buy 37.79 €
Manual de actuaciones frente a la ejecución hipotecaria inminente Izquierdo Blanco / Libro Tapa blanda
common.buy 122.29 €
Whisky. El manual DAVE BROOM / Libro Tapa blanda
common.buy 19.99 €
Emil i ciasto na kluski Bjorn Berg / Libro Tapa dura
common.buy 5.99 €
Platon und die Schriftlichkeit der Philosophie Thomas A. Szlezák / Libro Tapa dura
common.buy 249.29 €
Kutsal Damacana Dracoola Ersin Korkut / Video DVD
common.buy 23.79 €
Götz von Berlichingen mit der eisernen Hand Johann Wolfgang von Goethe / Libro Tapa blanda
common.buy 13.69 €
Zeit- und Streitfragen der Biologie Oscar Hertwig / Libro Tapa blanda
common.buy 27.69 €
Anthroposophie und Christentum. Band 1 Lothar Gassmann / Libro Tapa blanda
common.buy 48.29 €
La Contrefaçon et Imitation Frauduleuse Chantal Eckert / Libro Tapa blanda
common.buy 17.89 €

This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015. The 21 regular papers, 2 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers address different aspects of SAT, including theoretical advances (exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, and applications, as well as case studies and reports on insightful findings based on rigorous experimentation.§

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 2015
Autor Marijn Heule, Sean Weaver
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2015
Número de páginas 436
EAN 9783319243177
ISBN 3319243179
Código Libristo 09511309
Editores Springer International Publishing AG
Peso 6847
Dimensiones 155 x 235 x 24

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
Computación e informática > Ciencias de la computación > Teoría matemática de la computación > Matemáticas para informáticos
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

También puede interesarle

Machine Learning and Knowledge Discovery in Databases Annalisa Appice / Libro Tapa blanda
common.buy 56.59 €
Don't Eat the Sun... or You Can Die to Death! and Other Survival Tips from a First Grader Andrew K. Tran / Libro Tapa blanda
common.buy 21.79 €
Contemporary Issues in Financial Institutions and Markets John O.S. Wilson / Libro electrónico Adobe ePub DRM
common.buy 63.69 €
Island Delights: Intermediate Level Sondra Clark / Libro Tapa blanda
common.buy 14.09 €
Próximamente
FRAMEWORK FOR COMPLIANCE IN INTERNA BATES ELIZABETH STUB / Libro Tapa dura
common.buy 130.09 €
THE BINDWEED: A ROMANTIC NOVEL CONCERNIN NELLIE K. BLISSETT / Libro Tapa dura
common.buy 34.79 €
Science of Money Alexander Del Mar / Libro Tapa blanda
common.buy 21.79 €
What Works for Africa's Poorest David Lawson / Libro Tapa blanda
common.buy 35.29 €
The Wizard of Oz: Stage 1 L. Frank Baum / Libro Tapa blanda
common.buy 14.49 €
Secrets of Latimer House Jules Wake / Libro Tapa blanda
common.buy 12.69 €
Easy Classical Guitar & Clarinet Duets: Featuring Music of Beethoven, Bach, Wagner, Handel and Other Composers. in Standard Notation and Tablature Javier Marco / Libro Tapa blanda
common.buy 12.59 €
Only Passing Through Carolyn Newbern / Libro Tapa blanda
common.buy 6.59 €
The Enlightenment of Sod Carol Hunt / Libro Tapa blanda
common.buy 9.79 €
Fetal and Neonatal Physiology for the Advanced Practice Nurse Amy J. Jnah / Libro Tapa blanda
common.buy 157.49 €
Home Business Success Strategies: 10 Steps to Creating a Successful Home-Based Business James Adam / Libro Tapa blanda
common.buy 6.49 €
Económico
Galatians David Jeremiah / Libro Tapa blanda
common.buy 5.79 €
Nineteenth-Century French Short Story Allan Pasco / Libro Tapa dura
common.buy 252.29 €
Library of Universal History Israel S. Clare / Libro Tapa blanda
common.buy 35.49 €
Wishing-Chair Adventure: A Summertime Mystery Enid Blyton / Libro Tapa blanda
common.buy 8.29 €
Sexual Abuse Survivors and the Complex of Traditional Healing Mats Utas / Libro Tapa blanda
common.buy 15.19 €
Popular
Thinking about Mathematics Stewart Shapiro / Libro Tapa blanda
common.buy 53.99 €
Rikki-Tikki-Tavi Rudyard Kipling / Libro Tapa blanda
common.buy 12.69 €
Revolutionary Summer Joseph J. Ellis / Libro Tapa blanda
common.buy 15.89 €
The Ecstasy of Influence. Bekenntnisse eines Tiefstaplers, englische Ausgabe Jonathan Lethem / Libro Tapa blanda
common.buy 18.79 €

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?