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

8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Theory and Applications of Satisfiability Testing Fahiem Bacchus
Libristo kod: 01560772
Nakladnici Springer, Berlin, studeni 2004
This book constitutes the refereed proceedings of the 8th International Conference on Theory and App... Cijeli opis
? points 125 b
51.53 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Les racines idéologiques du fascisme Gaucher / Knjiga Meki uvez
common.buy 38.22 €
Die Reformation der Leasingbilanzierung nach IFRS Marc Jung / Knjiga Meki uvez
common.buy 40.44 €
Roloff/Matek Bauteilkatalog Hermann Roloff / Knjiga Meki uvez
common.buy 37.71 €
THE CLIMBER 09 SHINICHI SAKAMOTO / Knjiga Meki uvez
common.buy 9.67 €
Złuda Agata Kunderman / Knjiga Meki uvez
common.buy 9.37 €
Centropen Akvarelové fixy 8683, sada 12 ks / Proizvodi od papira Proizvodi od papira
common.buy 11.49 €
A componente sócio-cultural na sala de aula do ELE na Costa do Marfim Chiadon Jeanne Agnissan / Knjiga Meki uvez
common.buy 54.96 €
Gyere Janne Teller / Knjiga Tvrdi uvez
common.buy 9.27 €
Nouvelles sur le sentiment amoureux Montalbetti / Knjiga Meki uvez
common.buy 18.45 €
J'ai décidé d'être heureux... C'est bon pour la santé Stéphane Garnier / Knjiga Meki uvez
common.buy 17.54 €
Estudios sobre representaciones alquímicas Jung / Knjiga Meki uvez
common.buy 39.53 €
Malta - 1.000 Teile (Puzzle) / Igra/Igračka Igra
common.buy 29.64 €
Ein kurzer Rückblick auf 30 Jahre Bildungsforschung am Beispiel des SOEP Livia Sommer / Knjiga Meki uvez
common.buy 14.41 €
Apprenticeship Training: A Model for the Future? Rainer Winkelmann / Knjiga Meki uvez
common.buy 60.61 €
Encyclopedie Theologique 48-49. Dictionnaire Des Sciences Occultes. T. 2: Ma-Zu Jacques Albin Simon Collin De Plancy / Knjiga Meki uvez
common.buy 36.10 €
Pilates: Rutinas de 5 Minutos Para Cualquier Persona, Cualquier Momento, Cualquier Lugar Karen Smith / Knjiga Meki uvez
common.buy 8.66 €
El golem : tradiciones mágicas y místicas del judaísmo sobre la creación de un hombre artificial Moshe Idel / Knjiga Meki uvez
common.buy 39.13 €
Eres tu realidad VAN DER WATER / Knjiga Meki uvez
common.buy 16.13 €

This book constitutes the refereed proceedings of the 8th International Conference on Theory and Applications of Satisfiability Testing, SAT 2005, held in St Andrews, Scotland in June 2005.§The 26 revised full papers presented together with 16 revised short papers presented as posters during the technical programme were carefully selected from 73 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.

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 Applications of Satisfiability Testing
Autor Fahiem Bacchus, Toby Walsh
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2005
Broj stranica 492
EAN 9783540262763
ISBN 3540262768
Libristo kod 01560772
Nakladnici Springer, Berlin
Težina 708
Dimenzije 155 x 235 x 25

Kategorija

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
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

The Lily Of The Valley And The Gallery Of Antiquities (1900) Honore De Balzac / Knjiga Meki uvez
common.buy 42.86 €
Beale Air Force Base During the Cold War James B. Quest / Knjiga Tvrdi uvez
common.buy 24.50 €
Our Vicar Wynter Frore Knight / Knjiga Meki uvez
common.buy 19.66 €
The Fantastic Flatulent Fart Brothers' Big Book of Farty Facts M. D. Whalen / Knjiga Meki uvez
common.buy 9.87 €
Never Flirt with a Femme Fatale P I CICI McNair / Knjiga Meki uvez
common.buy 14.21 €
Memoir of an Iraqi Woman Doctor Saniha Amin Zaki / Knjiga Meki uvez
common.buy 17.44 €
Under the Chilian Flag Harry Collingwood / Knjiga Meki uvez
common.buy 10.28 €
Getting to Know You and the Height of Intimacy Donna Muhlenkort / Knjiga Meki uvez
common.buy 14.72 €
The Gods, Lightning and Fire Levi K Castle / Knjiga Meki uvez
common.buy 21.88 €
Normie "The Military Brat" Tracey L Dragon / Knjiga Meki uvez
common.buy 9.87 €
Valkyrie Mike Sims / Knjiga Meki uvez
common.buy 14.72 €
Immigrant ROXANA NASTASE / Knjiga Meki uvez
common.buy 13.51 €
history of India John Dowson / Knjiga Meki uvez
common.buy 30.65 €
How To Increase Memory And Brain Power: Proven Strategies On How To Increase Brain Capacity, Speed and Power Adam Ross / Knjiga Meki uvez
common.buy 10.18 €
Toddler abc alphabet coloring book for kids: Fun with Numbers, Letters, Shapes, Colors, Animals: Big Activity Workbook for Toddlers & Kids 3-8, abc Leo Jordan Um / Knjiga Meki uvez
common.buy 6.14 €
Henry VI Part 2 Barbara A. Mowat / Knjiga Meki uvez
common.buy 8.36 €
Art of Overwatch, Volume 2 Matt Burns / Knjiga Tvrdi uvez
common.buy 36.71 €
Handbook of School Violence and School Safety Shane Jimerson / E-knjiga Adobe ePub DRM
common.buy 195.27 €
The Law of Musical and Dramatic Copyright Edward Cutler / Knjiga Tvrdi uvez
common.buy 31.56 €
Sprinkles & Jimmies, Two Dogs, One Tale Mary Kelly / Knjiga Tvrdi uvez
common.buy 17.94 €
What in Me is Dark Orlando Reade / Knjiga Tvrdi uvez
common.buy 23.19 €
Valvular Ash Levinson / Knjiga Meki uvez
common.buy 17.54 €
Sacred Marriage Bible Study Guide plus Streaming Video, Revised and Updated Gary Thomas / Knjiga Meki uvez
common.buy 17.24 €
Western Lights C.P. Schaefer / Knjiga Meki uvez
common.buy 15.02 €

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?