Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Theory and Applications of Satisfiability Testing

Name: Theory and Applications of Satisfiability Testing
Brand: Springer, Berlin
SKU: 01558967
Price: 51.65 EUR
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

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 01558967

Nakladnici Springer, Berlin, studeni 2003

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

Libristo kod: 01558967

125 b

51.65 €

Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

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

Knjiga

52.46 €

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

Meki uvez

75.51 €

Eu amo o Outono I Love Autumn Shelley Admont

Adobe ePub DRM

2.21 €

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

Knjiga

2.11 €

Crear una empresa en Europa

Meki uvez

22.33 €

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

Meki uvez

14.14 €

Obor z Oglefortu Eva Ibbotsonová

Tvrdi uvez

6.16 €

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

Tvrdi uvez

53.06 €

Deset kroků k radosti Max Kašparů

Knjiga

3.33 €

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

Meki uvez

27.79 €

Latine disco II

Knjiga

9.59 €

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

Tvrdi uvez

46.29 €

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

Tvrdi uvez

11.72 €

El amigo que surgio de un viejo ordenador BELEN GOPEGUI

Meki uvez

11.21 €

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

Tvrdi uvez

75.20 €

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

Meki uvez

16.17 €

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

Tvrdi uvez

11.31 €

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.