«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 Application of Satisfiability Testing

14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Theory and Application of Satisfiability Testing Karem A. Sakallah
Código Libristo: 01658153
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mayo 2011
This book constitutes the refereed proceedings of the 14th International Conference on Theory and Ap... Descripción completa
? points 148 b
60.49 €
Almacenamiento externo en pequeñas cantidades Envío en 14-21 días

Hasta 30 días para devoluciones

Clientes que también han comprado

ESTUDIO JURISPRUDENCIAL DE ACTO AD GONZALEZ RIVAS / Libro Libro
common.buy 23.09 €
Aby se slovo dostalo ke slovu Evert R. Jonker / Libro binding.
common.buy 6.89 €
SPANISH ACTIVITY Book for ADULTS: 160 Games Jaja Media / Libro Tapa blanda
common.buy 9.39 €
Chasse royale à Sandringham S.J. Bennett / Libro Tapa blanda
common.buy 20.49 €
Подросток Федор Достоевский / Libro Tapa dura
common.buy 29.69 €
Económico
Mon Premier Larousse de la Planète Pascal CHAUVEL / Libro Tapa dura
common.buy 20.09 €
Popular Económico
Theorie und Praxis des Goldschmieds Erhard Brepohl / Libro Tapa dura
common.buy 101.09 €
Mon carnet dietetique Cédric Menard / Libro Tapa blanda
common.buy 13.19 €
Velká cesta Jana Steingässer / Libro Tapa dura
common.buy 4.89 €
Automacao e Instrumentacao Vital Pereira Batista Júnior / Libro Tapa blanda
common.buy 68.79 €
Le P'tit Jeune Homme: Roman Charles Vayre / Libro Tapa dura
common.buy 34.79 €
Satires Nouvelles, Avec Une Ode Sur l'Heureuse Convalescence de Monseigneur Le Dauphin BOILEAU-N / Libro Tapa blanda
common.buy 13.19 €
Wissenschaftssprache Valentin Groebner / Libro Tapa dura
common.buy 19.89 €
Traite Du Leve, Rapport & Calcul Des Plans, Agents Des Contributions Directes Et Du Cadastre Beluet-V / Libro Tapa blanda
common.buy 16.09 €
Nano acuarios 12-35 litros Jakob Geck / Libro Tapa blanda
common.buy 13.09 €

This book constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, held in Ann Arbor, MI, USA in June 2011.§The 25 revised full papers presented together with abstracts of 2 invited talks and 10 poster papers were carefully reviewed and selected from 57 submissions. The papers are organized in topical sections on complexity analysis, binary decision diagrams, theoretical analysis, extraction of minimal unsatisfiable subsets, SAT algorithms, quantified Boolean formulae, model enumeration and local search, and empirical evaluation.

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 Application of Satisfiability Testing
Autor Karem A. Sakallah, Laurent Simon
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2011
Número de páginas 371
EAN 9783642215803
ISBN 3642215807
Código Libristo 01658153
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 597
Dimensiones 155 x 235 x 23

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 > Interacción persona-ordenador > Diseño de interfaces de usuario y usabilidad
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 > Arquitectura y diseño lógico de ordenadores
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

Memoirs of a Married Woman Elyzabeth D'Amore / Libro Tapa dura
common.buy 33.29 €
Where Community Happens Henry Near / Libro Tapa blanda
common.buy 64.29 €
Better Relationships Happier Lives Terry Turner / Libro Tapa dura
common.buy 23.49 €
This Is the Sunflower Lola M. Schaefer / Libro Tapa dura
common.buy 15.49 €
Give Us This Day Herbert Lockyer / Libro Tapa blanda
common.buy 15.39 €
Language Conflict and Language Planning Einar Haugen / Libro Tapa dura
common.buy 77.59 €
Creative Problem Solving Donald J. Treffinger / Libro Tapa blanda
common.buy 31.39 €
CSD in Munich at the 09.07.2016 Nicolaus Dinter / Libro Tapa blanda
common.buy 82.09 €
Woman's Kingdom Dinah M. M. Craik / Libro Tapa blanda
common.buy 35.49 €
My Plastic Brain Caroline Williams / Libro Tapa dura
common.buy 29.29 €
Sciousness Jonathan Bricklin / Libro Tapa blanda
common.buy 18.19 €
Songs of Spring and Blossoms of Unrequited Love Eilshemius Louis M. Eilshemius / Libro Tapa blanda
common.buy 20.79 €
Joseph Conrad's Critical Reception John Peters / Libro Tapa dura
common.buy 146.59 €
Piping and Instrumentation Diagram Development Moe Toghraei / Libro Tapa dura
common.buy 150.79 €
Ba-chan: the Ninja Grandma Sanae Ishida / Libro Tapa dura
common.buy 14.69 €
Popular
Do You Know? Level 4 - BBC Earth Looking After the Ocean Ladybird / Libro Tapa blanda
common.buy 7.19 €
Theory of Knowledge for the IB Diploma: Skills for Success Second Edition John Sprague / Libro Tapa blanda
common.buy 42.39 €
ZEN Ox-Herding Pictures Zensho W. Kopp / Libro Tapa blanda
common.buy 10.09 €
10 Secrets for Success and Inner Peace Wayne Dyer / Libro Tapa blanda
common.buy 19.89 €
Próximamente
Failure Frame: I Became the Strongest and Annihilated Everything With Low-Level Spells (Manga) Vol. 4 Sho Uyoshi / Libro Tapa blanda
common.buy 13.89 €
The Gilded Age, a Reappraisal H. Wayne (Howard Wayne) Ed Morgan / Libro Tapa blanda
common.buy 24.89 €
Uncannonical Jewish Books William John Ferrar / Libro Tapa blanda
common.buy 12.69 €
Christian Punk Abraham Ibrahim Abraham / Libro electrónico Adobe ePub DRM
common.buy 44.19 €
Beautiful Year in the Bible: The 52-Week Bible Study for Women (Hc) / Libro Tapa dura
common.buy 48.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?