Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
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 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Theory and Application of Satisfiability Testing

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Theory and Application of Satisfiability Testing Karem A. Sakallah
Libristo kod: 01658153
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, svibanj 2011
This book constitutes the refereed proceedings of the 14th International Conference on Theory and Ap... Cijeli opis
? points 142 b
58.43 €
Vanjske zalihe u manjem broju Šaljemo za 14-21 dana

Do 30 dana za povrat

Kupci su kupili i

ESTUDIO JURISPRUDENCIAL DE ACTO AD GONZALEZ RIVAS / Knjiga Knjiga
common.buy 24.62 €
Aby se slovo dostalo ke slovu Evert R. Jonker / Knjiga binding.
common.buy 6.05 €
SPANISH ACTIVITY Book for ADULTS: 160 Games Jaja Media / Knjiga Meki uvez
common.buy 8.97 €
Chasse royale à Sandringham S.J. Bennett / Knjiga Meki uvez
common.buy 19.57 €
Подросток Федор Достоевский / Knjiga Tvrdi uvez
common.buy 25.42 €
Povoljno
Mon Premier Larousse de la Planète Pascal CHAUVEL / Knjiga Tvrdi uvez
common.buy 16.54 €
Top
Theorie und Praxis des Goldschmieds Erhard Brepohl / Knjiga Tvrdi uvez
common.buy 94.05 €
PRIMER ROMANCERO GITANO FEDERICO GARCIA LORCA / Knjiga Meki uvez
common.buy 11.90 €
F.I.P. - Pensionsplan - eine kritische Analyse Yury Evteev / Knjiga Meki uvez
common.buy 25.52 €
Mon carnet dietetique Cédric Menard / Knjiga Meki uvez
common.buy 11.90 €
Velká cesta Jana Steingässer / Knjiga Tvrdi uvez
common.buy 4.33 €
Automacao e Instrumentacao Vital Pereira Batista Júnior / Knjiga Meki uvez
common.buy 62.16 €
Le P'tit Jeune Homme: Roman Charles Vayre / Knjiga Tvrdi uvez
common.buy 33.50 €
Satires Nouvelles, Avec Une Ode Sur l'Heureuse Convalescence de Monseigneur Le Dauphin BOILEAU-N / Knjiga Meki uvez
common.buy 12.71 €
Wissenschaftssprache Valentin Groebner / Knjiga Tvrdi uvez
common.buy 17.65 €
Traite Du Leve, Rapport & Calcul Des Plans, Agents Des Contributions Directes Et Du Cadastre Beluet-V / Knjiga Meki uvez
common.buy 15.53 €
Nano acuarios 12-35 litros Jakob Geck / Knjiga Meki uvez
common.buy 13.92 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Theory and Application of Satisfiability Testing
Autor Karem A. Sakallah, Laurent Simon
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2011
Broj stranica 371
EAN 9783642215803
ISBN 3642215807
Libristo kod 01658153
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 597
Dimenzije 155 x 235 x 23

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Memoirs of a Married Woman Elyzabeth D'Amore / Knjiga Tvrdi uvez
common.buy 32.19 €
Where Community Happens Henry Near / Knjiga Meki uvez
common.buy 58.73 €
Better Relationships Happier Lives Terry Turner / Knjiga Tvrdi uvez
common.buy 22.29 €
This Is the Sunflower Lola M. Schaefer / Knjiga Tvrdi uvez
common.buy 13.72 €
Give Us This Day Herbert Lockyer / Knjiga Meki uvez
common.buy 14.73 €
Language Conflict and Language Planning Einar Haugen / Knjiga Tvrdi uvez
common.buy 47.83 €
Creative Problem Solving Donald J. Treffinger / Knjiga Meki uvez
common.buy 29.56 €
CSD in Munich at the 09.07.2016 Nicolaus Dinter / Knjiga Meki uvez
common.buy 74.17 €
Woman's Kingdom Dinah M. M. Craik / Knjiga Meki uvez
common.buy 31.98 €
My Plastic Brain Caroline Williams / Knjiga Tvrdi uvez
common.buy 26.84 €
Sciousness Jonathan Bricklin / Knjiga Meki uvez
common.buy 17.45 €
Songs of Spring and Blossoms of Unrequited Love Eilshemius Louis M. Eilshemius / Knjiga Meki uvez
common.buy 18.76 €
Joseph Conrad's Critical Reception John Peters / Knjiga Tvrdi uvez
common.buy 132.10 €
Piping and Instrumentation Diagram Development Moe Toghraei / Knjiga Tvrdi uvez
common.buy 133.42 €
Ba-chan: the Ninja Grandma Sanae Ishida / Knjiga Tvrdi uvez
common.buy 13.11 €
Top
Do You Know? Level 4 - BBC Earth Looking After the Ocean Ladybird / Knjiga Meki uvez
common.buy 6.65 €
Theory of Knowledge for the IB Diploma: Skills for Success Second Edition John Sprague / Knjiga Meki uvez
common.buy 40.26 €
ZEN Ox-Herding Pictures Zensho W. Kopp / Knjiga Meki uvez
common.buy 9.07 €
10 Secrets for Success and Inner Peace Wayne Dyer / Knjiga Meki uvez
common.buy 18.36 €
Pripremamo
Failure Frame: I Became the Strongest and Annihilated Everything With Low-Level Spells (Manga) Vol. 4 Sho Uyoshi / Knjiga Meki uvez
common.buy 12.81 €
The Gilded Age, a Reappraisal H. Wayne (Howard Wayne) Ed Morgan / Knjiga Meki uvez
common.buy 24.01 €
Uncannonical Jewish Books William John Ferrar / Knjiga Meki uvez
common.buy 12.10 €
Christian Punk Abraham Ibrahim Abraham / E-knjiga Adobe ePub DRM
common.buy 40.26 €
Beautiful Year in the Bible: The 52-Week Bible Study for Women (Hc) / Knjiga Tvrdi uvez
common.buy 44.30 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?