Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

Theory and Applications of Satisfiability Testing - SAT 2006

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Theory and Applications of Satisfiability Testing - SAT 2006 Armin Biere
Koda Libristo: 01562446
Založba Springer, Berlin, november 2005
This book constitutes the refereed proceedings of the 9th International Conference on Theory and App... Celoten opis
? points 118 b
48.56 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Chaine d'or sur les psaumes: tirees textuellement des saints peres, des orateurs et des ecrivains catholiques: 01 JM Perrone / Knjiga Mehka
common.buy 29.05 €
Kiteboarden Christian Spreckels / Knjiga Mehka
common.buy 19.60 €
One Piece 101 Antje Bockel / Knjiga Mehka
common.buy 6.43 €
diritto a una tutela giurisdizionale effettiva e alla certezza del diritto nei processi di licenziamento dei pubblici ufficiali Juan Carlos Aguilar Moyano / Knjiga Mehka
common.buy 33.37 €
Die deutsche REIT-AG im Kreis der Immobilieninvestmentformen Daniel Neudecker / Knjiga Trda
common.buy 170.03 €
Rondo John Berger / Knjiga Mehka
common.buy 7.83 €
Maigret e i testimoni recalcitranti Georges Simenon / Knjiga Mehka
common.buy 12.36 €
NTM - Dans la fièvre du Suprême Vincent PIOLET / Knjiga Mehka
common.buy 24.22 €
Hildebrand's Urlaubskarte GUS, Baltische Staaten, Georgien. C.I.S., Baltic States, Georgia. C.E.I., Etats-Baltes, Georgie / Tiskani izdelki Zemljevid
common.buy 12.06 €
Det Nye Noas Ark David J / Knjiga Mehka
common.buy 27.64 €
Oeffentlichkeit und Demokratie in der Metamorphose Peter Nitschke / Knjiga Trda
common.buy 35.69 €
Collage Border Collie - 1.000 Teile (Puzzle) / Igra/Igrača Igra
common.buy 30.96 €
Mariposa oscura Barragán Ajenjo / Knjiga Mehka
common.buy 16.88 €
Grundlagen fur die rationelle Futterung des Pferdes Emil Theodor von Wolff / Knjiga Mehka
common.buy 15.07 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Theory and Applications of Satisfiability Testing - SAT 2006
Avtor Armin Biere, Carla P. Gomes
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2006
Število strani 440
EAN 9783540372066
ISBN 3540372067
Koda Libristo 01562446
Založba Springer, Berlin
Teža 635
Mere 155 x 235 x 23

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Software Engineering Techniques: Design for Quality Krzysztof Sacha / Knjiga Mehka
common.buy 96.82 €
The Life of Sir Thomas Bodley Thomas Bodley / Knjiga Mehka
common.buy 10.95 €
Pattern Recognition and String Matching Chen Dechang / Knjiga Trda
common.buy 109.90 €
After House Baroness Emmuska Orczy / Knjiga Mehka
common.buy 14.77 €
Improving the Financial Capability of Elementary School Students Lawrence Rodriguez / Knjiga Trda
common.buy 193.16 €
On the Nature and Property of Soils Morton / Knjiga Trda
common.buy 34.38 €
Shadows of Things to Come Rick Joyner / Knjiga Mehka
common.buy 15.27 €
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 / Knjiga Mehka
common.buy 43.33 €
The Montessori Method Maria Montessori / Knjiga Trda
common.buy 36.19 €
Pavlopetri: A Prehistoric Submerged City George Kipreos / Knjiga Mehka
common.buy 30.06 €
What the Mind Sees, the Body Feels, Creates and Attracts LEAH MARMULLA / Knjiga Mehka
common.buy 14.37 €
Catalogue of the Acropolis Museu; Volume 2 GREECE. MOUS ATHENS / Knjiga Trda
common.buy 41.32 €
Spiritual Dairy II Derrick Allen Hill Phd / Knjiga Mehka
common.buy 9.74 €
Ruby Go Home Kasey Uhter / Knjiga Mehka
common.buy 6.83 €
python machine learning Tony F. Charles / Knjiga Mehka
common.buy 14.67 €
Compendium of ship hydrodynamics Wilson / Knjiga Mehka
common.buy 58.71 €
Kmalu
Till Death Do Us Part John Dickson Carr / Knjiga Mehka
common.buy 9.04 €
One Card Tarot Journal Maria Sofia Marmanides / Knjiga Trda
common.buy 12.66 €
Downton Abbey: A New Era - The Official Film Companion Emma Marriott / Knjiga Trda
common.buy 29.35 €
Understanding Climate Change Feedbacks National Research Council / E-knjiga Adobe ePub DRM
common.buy 49.66 €
Jonas Susan May Warren / Knjiga Mehka
common.buy 13.87 €
Step-by-Step German Sophia S. / Knjiga Mehka
common.buy 12.66 €
Metabolism and Disease Bruce Stillman / Knjiga Mehka
common.buy 94.11 €
Distributed and Parallel Systems Péter Kacsuk / Knjiga Trda
common.buy 193.36 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?