Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Theory and Application of Satisfiability Testing

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

Limba englezăengleză
Carte Carte broșată
Carte Theory and Application of Satisfiability Testing Karem A. Sakallah
Codul Libristo: 01658153
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mai 2011
This book constitutes the refereed proceedings of the 14th International Conference on Theory and Ap... Descrierea completă
? points 148 b
320.12 lei
În depozitul extern în cantități mici Expediem în 10-16 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Chasse royale à Sandringham S.J. Bennett / Carte Carte broșată
common.buy 100.99 lei
ESTUDIO JURISPRUDENCIAL DE ACTO AD GONZALEZ RIVAS / Carte Carte
common.buy 134.62 lei
SPANISH ACTIVITY Book for ADULTS: 160 Games Jaja Media / Carte Carte broșată
common.buy 49.50 lei
Automacao e Instrumentacao Vital Pereira Batista Júnior / Carte Carte broșată
common.buy 344.83 lei
Подросток Федор Достоевский / Carte Copertă tare
common.buy 141.16 lei
Leftin
Mon Premier Larousse de la Planète Pascal CHAUVEL / Carte Copertă tare
common.buy 60.72 lei
Aby se slovo dostalo ke slovu Evert R. Jonker / Carte binding.
common.buy 33.93 lei
F.I.P. - Pensionsplan - eine kritische Analyse Yury Evteev / Carte Carte broșată
common.buy 94.45 lei
Mon carnet dietetique Cédric Menard / Carte Carte broșată
common.buy 66.32 lei
Velká cesta Jana Steingässer / Carte Copertă tare
common.buy 26.15 lei
Le P'tit Jeune Homme: Roman Charles Vayre / Carte Copertă tare
common.buy 183.93 lei
Satires Nouvelles, Avec Une Ode Sur l'Heureuse Convalescence de Monseigneur Le Dauphin BOILEAU-N / Carte Carte broșată
common.buy 69.85 lei
Wissenschaftssprache Valentin Groebner / Carte Copertă tare
common.buy 96.63 lei
Traite Du Leve, Rapport & Calcul Des Plans, Agents Des Contributions Directes Et Du Cadastre Beluet-V / Carte Carte broșată
common.buy 85.11 lei
Nano acuarios 12-35 litros Jakob Geck / Carte Carte broșată
common.buy 75.66 lei
Curând
Theorie und Praxis des Goldschmieds Erhard Brepohl / Carte Copertă tare
common.buy 519.63 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Theory and Application of Satisfiability Testing
Autor Karem A. Sakallah, Laurent Simon
Limba engleză
Legare Carte - Carte broșată
Data publicării 2011
Număr pagini 371
EAN 9783642215803
ISBN 3642215807
Codul Libristo 01658153
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 597
Dimensiuni 155 x 235 x 23

Categorii

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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Better Relationships Happier Lives Terry Turner / Carte Copertă tare
common.buy 106.08 lei
This Is the Sunflower Lola M. Schaefer / Carte Copertă tare
common.buy 76.91 lei
Give Us This Day Herbert Lockyer / Carte Carte broșată
common.buy 81.68 lei
Language Conflict and Language Planning Einar Haugen / Carte Copertă tare
common.buy 263.55 lei
Creative Problem Solving Donald J. Treffinger / Carte Carte broșată
common.buy 162.96 lei
CSD in Munich at the 09.07.2016 Nicolaus Dinter / Carte Carte broșată
common.buy 411.57 lei
Woman's Kingdom Dinah M. M. Craik / Carte Carte broșată
common.buy 177.91 lei
My Plastic Brain Caroline Williams / Carte Copertă tare
common.buy 147.60 lei
Sciousness Jonathan Bricklin / Carte Carte broșată
common.buy 96.42 lei
Songs of Spring and Blossoms of Unrequited Love Eilshemius Louis M. Eilshemius / Carte Carte broșată
common.buy 104.00 lei
Suzy's Sick Sister Tricia & Other Tough Tongue Twisters R Johnson / Carte Carte broșată
common.buy 51.89 lei
Memoirs of a Married Woman Elyzabeth D'Amore / Carte Copertă tare
common.buy 176.35 lei
Joseph Conrad's Critical Reception John Peters / Carte Copertă tare
common.buy 692.37 lei
Ba-chan: the Ninja Grandma Sanae Ishida / Carte Copertă tare
common.buy 73.07 lei
Do You Know? Level 4 - BBC Earth Looking After the Ocean Ladybird / Carte Carte broșată
common.buy 36.74 lei
New KS1 English Targeted Question Book: Year 1 Reading Comprehension - Book 2 (with Answers) Cgp Books / Carte Carte broșată
common.buy 31.55 lei
Curând
Theory of Knowledge for the IB Diploma: Skills for Success Second Edition John Sprague / Carte Carte broșată
common.buy 145.00 lei
ZEN Ox-Herding Pictures Zensho W. Kopp / Carte Carte broșată
common.buy 50.34 lei
10 Secrets for Success and Inner Peace Wayne Dyer / Carte Carte broșată
common.buy 101.61 lei
Curând
Failure Frame: I Became the Strongest and Annihilated Everything With Low-Level Spells (Manga) Vol. 4 Sho Uyoshi / Carte Carte broșată
common.buy 71.72 lei
The Gilded Age, a Reappraisal H. Wayne (Howard Wayne) Ed Morgan / Carte Carte broșată
common.buy 131.82 lei
Uncannonical Jewish Books William John Ferrar / Carte Carte broșată
common.buy 67.46 lei
Christian Punk Abraham Ibrahim Abraham / E-book Adobe ePub DRM
common.buy 218.71 lei
Beautiful Year in the Bible: The 52-Week Bible Study for Women (Hc) / Carte Copertă tare
common.buy 245.18 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?