Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Theory and Applications of Satisfiability Testing

Name: Theory and Applications of Satisfiability Testing
Brand: Springer, Berlin
SKU: 01558967
Price: 222.18 PLN
Availability: InStock
Author: Enrico Giunchiglia
ISBN: 9783540208518

6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003. Selected Revised Papers

Enrico Giunchiglia

Armando Tacchella

Język

Angielski

Książka Miękka

Kod Libristo: 01558967

Wydawnictwo Springer, Berlin, listopad 2003

This book constitutes the thoroughly refereed post-proceedings of the 6th International Conference o... Cały opis

Kod Libristo: 01558967

125 b

222.18 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

NVI Biblia de Estudio, Teología Bíblica, Leathersoft, Café, Interior a Cuatro Colores: Sigue El Plan Redentor de Dios Como Se Desenlaza En Las Escritu D A Carson

Książka

225.75 zł

Un estudio sobre estrategias de selección en empresas selectas de TI

Miękka

325.14 zł

Eu amo o Outono I Love Autumn Shelley Admont

Adobe ePub DRM

10.07 zł

Matýskova matematika pro 5. ročník 1. díl - pracovní sešit Książka

Książka

9.05 zł

Crear una empresa en Europa

Miękka

96.12 zł

Tato kniha je levnější než terapie - Jak si udržet psychickou pohodu Liz Kelly

Miękka

61.70 zł

Obor z Oglefortu Eva Ibbotsonová

Twarda

28.60 zł

Soziologie Der Zwischenkriegszeit. Ihre Hauptstroemungen Und Zentralen Themen Im Deutschen Sprachraum Stephan Moebius

Twarda

228.19 zł

Deset kroků k radosti Max Kašparů

Książka

15.26 zł

Oeuvres compl?tes d'Alexandre Duval; Volume 2 Alexandre Duval

Miękka

119.74 zł

Latine disco II

Książka

39.50 zł

Der Ra-Kontakt: Das Gesetz des Einen lehren Kentucky L/L Research (Louisville)

Twarda

210.47 zł

Staré řecké báje a pověsti pro děti Michal Vaněček

Twarda

46.22 zł

El amigo que surgio de un viejo ordenador BELEN GOPEGUI

Miękka

50.60 zł

"Wenn Jemand Eine Reise Tut ..." Marta Smykala

Twarda

305.69 zł

Kunstkritik oder Schaffensplan? Reformschrift oder Rechtfertigung? Richard Wagners 'Oper und Drama' Björn-Christian Schüßler

Miękka

69.64 zł

Petr Haničinec vztekloun s jemnou duší Jan Herget

Twarda

45.00 zł

This book constitutes the thoroughly refereed post-proceedings of the 6th International Conference on Theory and Applications of Satisfiability Testing, SAT 2003, held in Santa Margherita Ligure, Italy, in May 2003.The 33 revised full papers presented together with 5 articles reporting results of the related SAT competition and QBF evaluation were carefully selected during two rounds of reviewing and improvement from 67 submissions. The whole spectrum of research in propositional and quantified Boolean formula satisfiability testing is covered including proof systems, search techniques, probabilistic analysis of algorithms and their properties, problem encodings, industrial applications, specific tools, case studies, and empirical results.