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 Applications of Satisfiability Testing - SAT 2006

9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Theory and Applications of Satisfiability Testing - SAT 2006 Armin Biere
Codul Libristo: 01562446
Editura Springer, Berlin, noiembrie 2005
This book constitutes the refereed proceedings of the 9th International Conference on Theory and App... Descrierea completă
? points 132 b
286.02 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Chaine d'or sur les psaumes: tirees textuellement des saints peres, des orateurs et des ecrivains catholiques: 01 JM Perrone / Carte Carte broșată
common.buy 169.13 lei
Kiteboarden Christian Spreckels / Carte Carte broșată
common.buy 117.51 lei
One Piece 101 Antje Bockel / Carte Carte broșată
common.buy 38.47 lei
diritto a una tutela giurisdizionale effettiva e alla certezza del diritto nei processi di licenziamento dei pubblici ufficiali Juan Carlos Aguilar Moyano / Carte Carte broșată
common.buy 198.43 lei
Die deutsche REIT-AG im Kreis der Immobilieninvestmentformen Daniel Neudecker / Carte Copertă tare
common.buy 996.47 lei
Rondo John Berger / Carte Carte broșată
common.buy 48.90 lei
NTM - Dans la fièvre du Suprême Vincent PIOLET / Carte Carte broșată
common.buy 143.79 lei
Hildebrand's Urlaubskarte GUS, Baltische Staaten, Georgien. C.I.S., Baltic States, Georgia. C.E.I., Etats-Baltes, Georgie / Materiale tipărite Hartă
common.buy 73.19 lei
Det Nye Noas Ark David J / Carte Carte broșată
common.buy 164.33 lei
Oeffentlichkeit und Demokratie in der Metamorphose Peter Nitschke / Carte Copertă tare
common.buy 210.00 lei
Collage Border Collie - 1.000 Teile (Puzzle) / Joc / Jucărie Joc
common.buy 183.93 lei
Mariposa oscura Barragán Ajenjo / Carte Carte broșată
common.buy 97.28 lei
Grundlagen fur die rationelle Futterung des Pferdes Emil Theodor von Wolff / Carte Carte broșată
common.buy 89.88 lei

This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing, SAT 2006. The book presents 26 revised full papers together with 11 revised short papers and 2 invited talks. Coverage extends to all current research issues in propositional and quantified Boolean formula satisfiability testing. The papers are organized in topical sections on proofs and cores, heuristics and algorithms, and more.

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 Applications of Satisfiability Testing - SAT 2006
Autor Armin Biere, Carla P. Gomes
Limba engleză
Legare Carte - Carte broșată
Data publicării 2006
Număr pagini 440
EAN 9783540372066
ISBN 3540372067
Codul Libristo 01562446
Editura Springer, Berlin
Greutatea 635
Dimensiuni 155 x 235 x 23

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Artificial intelligence
Computing & Information Technology > Operating systems
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

Software Engineering Techniques: Design for Quality Krzysztof Sacha / Carte Carte broșată
common.buy 570.50 lei
The Life of Sir Thomas Bodley Thomas Bodley / Carte Carte broșată
common.buy 65.16 lei
Pattern Recognition and String Matching Chen Dechang / Carte Copertă tare
common.buy 601.99 lei
After House Baroness Emmuska Orczy / Carte Carte broșată
common.buy 85.81 lei
Improving the Financial Capability of Elementary School Students Lawrence Rodriguez / Carte Copertă tare
common.buy 1 140.89 lei
On the Nature and Property of Soils Morton / Carte Copertă tare
common.buy 200.20 lei
Shadows of Things to Come Rick Joyner / Carte Carte broșată
common.buy 91.02 lei
A European History of the Violin and Its Makers - A Selection of Classic Articles on the Violin in Italy, Germany, France and England (Violin Series Various / Carte Carte broșată
common.buy 252.55 lei
The Montessori Method Maria Montessori / Carte Copertă tare
common.buy 211.05 lei
Pavlopetri: A Prehistoric Submerged City George Kipreos / Carte Carte broșată
common.buy 178.72 lei
What the Mind Sees, the Body Feels, Creates and Attracts LEAH MARMULLA / Carte Carte broșată
common.buy 83.41 lei
Catalogue of the Acropolis Museu; Volume 2 GREECE. MOUS ATHENS / Carte Copertă tare
common.buy 243.90 lei
Spiritual Dairy II Derrick Allen Hill Phd / Carte Carte broșată
common.buy 57.13 lei
Ruby Go Home Kasey Uhter / Carte Carte broșată
common.buy 39.72 lei
python machine learning Tony F. Charles / Carte Carte broșată
common.buy 87.90 lei
Compendium of ship hydrodynamics Wilson / Carte Carte broșată
common.buy 343.27 lei
One Card Tarot Journal Maria Sofia Marmanides / Carte Copertă tare
common.buy 87.48 lei
Downton Abbey: A New Era - The Official Film Companion Emma Marriott / Carte Copertă tare
common.buy 177.37 lei
Understanding Climate Change Feedbacks National Research Council / E-book Adobe ePub DRM
common.buy 288.63 lei
Jonas Susan May Warren / Carte Carte broșată
common.buy 82.06 lei
Step-by-Step German Sophia S. / Carte Carte broșată
common.buy 75.80 lei
Metabolism and Disease Bruce Stillman / Carte Carte broșată
common.buy 552.45 lei
Distributed and Parallel Systems Péter Kacsuk / Carte Copertă tare
common.buy 1 139.23 lei
Control Reconfiguration of Dynamical Systems Thomas Steffen / Carte Carte broșată
common.buy 601.99 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?