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 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

SAT 2005

Satisfiability Research in the Year 2005

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga SAT 2005 Enrico Giunchiglia
Libristo kod: 09160830
Nakladnici Springer, prosinac 2014
This book covers recent progress in solving propositional satisfiability and related problems. Propo... Cijeli opis
? points 373 b
154.07 €
Vanjske zalihe Šaljemo za 5-8 dana

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Schnecken-Coaching Eckhard vom Frieden / Knjiga Meki uvez
common.buy 9.08 €
Total Quality Management Gerold Gizycki / Knjiga Meki uvez
common.buy 35.63 €
Vzpomínka na Zemi Liou Cch´-Sin / Knjiga Meki uvez
common.buy 8.37 €
Enderův stín Orson Scott Card / Knjiga Tvrdi uvez
common.buy 12.41 €
Hegemonův stín Orson Scott Card / Knjiga Tvrdi uvez
common.buy 12.41 €
Pedro Salinas y sus circunstancias : biografía Jean Cross Newman / Knjiga Meki uvez
common.buy 34.52 €
Le travail de l' obscure clarté dans le fantome de l'opéra de gaston leroux Casta isabelle rachel / Knjiga Meki uvez
common.buy 18.57 €
Elan OLALLA PONS / Knjiga Meki uvez
common.buy 19.17 €
Auf der Reeperbahn nachts um halb eins Gustav Kampendonk / Video DVD
common.buy 18.67 €
Maik - Der Heimweg Michael Arnold / Knjiga Meki uvez
common.buy 9.08 €
Warum wir nach Anerkennung hungern Stefan Möller / Knjiga Meki uvez
common.buy 28.36 €
Nouvelles Lettres Du Grand Prophete: Nostradamus Eclairci, (Ed.1874) Henri Torne-Chavigny / Knjiga Meki uvez
common.buy 17.36 €
Les Tribulations de M. Le Prefet. Scenes Electorales De Maleville-L / Knjiga Meki uvez
common.buy 16.45 €
Wertpapier-Investmentfonds in Lebensversicherungsunternehmen Rainer Pflaum / Knjiga Meki uvez
common.buy 53.00 €
Deutsches Kolonial-Handbuch Rudolf Fitzner / Knjiga Meki uvez
common.buy 44.42 €
Rapsu eļļa - izejviela inovatīvu poliuretānu materiālu ieguvei Fridrihsone-Girone Anda / Knjiga Meki uvez
common.buy 49.77 €
Ansiedler an den Quellen des Susquehanna James Fenimore Cooper / Knjiga Meki uvez
common.buy 17.86 €
Trilby George Du Maurier / Knjiga Meki uvez
common.buy 16.15 €
Povoljno
Deutsche Sprichwörter Karl Simrock / Knjiga Meki uvez
common.buy 2.72 €
Metodos para la seleccion optima de carteras de proyectos Olmedo Perez Rafael Antonio / Knjiga Meki uvez
common.buy 29.37 €
Kertomuksia Lapista osa 3 Juha Kivekäs / Knjiga Tvrdi uvez
common.buy 24.83 €
Deutsche Direktinvestitionen Fingerlos Uwe Rudolf / Knjiga Meki uvez
common.buy 66.53 €

This book covers recent progress in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification. Research into methods to automate such reasoning has therefore a long history in artificial intelligence. This book follows on from the highly successful volume entitled SAT 2000 published five years ago.§

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 SAT 2005
Autor Enrico Giunchiglia, Toby Walsh
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2014
Broj stranica 293
EAN 9789400787155
ISBN 9789400787155
Libristo kod 09160830
Nakladnici Springer
Težina 462
Dimenzije 155 x 235 x 16

Kategorija

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer programming / software engineering > Software Engineering
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

Sarcoidosis Darren Harper / Knjiga Tvrdi uvez
common.buy 200.31 €
School Mentor Handbook Katherine Burn / Knjiga Meki uvez
common.buy 72.99 €
Sanctuary Matthew Mather / Knjiga Meki uvez
common.buy 19.28 €
Mayhem Harris / Knjiga Meki uvez
common.buy 15.74 €
Factors Affecting Academic Staff Turnover Intention Gebayaw Adugna / Knjiga Meki uvez
common.buy 48.86 €
Pripremamo
Cahiers d'Art N Degrees1, 2014: Hiroshi Sugimoto: 38th Year, 100th issue Hiroshi Sugimoto / Knjiga Meki uvez
common.buy 86.22 €
Cathars, White Eagle and St John Colum Hayward / Knjiga Meki uvez
common.buy 13.92 €
Analisis Comparativo Entre El Proceso Ante La Corte Penal Internacional Y Ante El Derecho Espanol Carlota Garcia Zapata / Knjiga Meki uvez
common.buy 42.70 €
Strategic Utilization of Information Systems in Small Business M. Gordon Hunter / Knjiga Tvrdi uvez
common.buy 205.77 €
Athenaeum Raul Pompeia / Knjiga Meki uvez
common.buy 17.86 €
Scoring Off the Field Kausik Bandyopadhyay / Knjiga Meki uvez
common.buy 52.29 €
Trade, Transport and Society in the Ancient World (Routledge Revivals) Fik Meijer / Knjiga Meki uvez
common.buy 82.38 €
Accounting and Finance Policies and Procedures Rose Hightower / Knjiga Meki uvez
common.buy 106.21 €
International Democracy Assistance for Peacebuilding Sorpong Peou / Knjiga Meki uvez
common.buy 53.20 €
Addiction and Overdose: Confronting an American Crisis Connie Goldsmith / Knjiga Tvrdi uvez
common.buy 40.38 €
Falling Deeper Anathema / Audio Audio CD
common.buy 17.86 €
Little Women Frank T. Merrill / Knjiga Meki uvez
common.buy 41.79 €
Top
Kew Pocketbooks: Carnivorous Plants ROYAL BOTANIC GARDEN / Knjiga Tvrdi uvez
common.buy 10.89 €
Buddha Nature Tina Draszcyk / Knjiga Meki uvez
common.buy 12.41 €
Crawlers Deacon Jones / Knjiga Meki uvez
common.buy 14.63 €
Experience of a Slave in South Carolina John Andrew Jackson / Knjiga Meki uvez
common.buy 20.18 €
Solid State Ionics for Batteries C. Iwakura / Knjiga Meki uvez
common.buy 102.78 €
New Total English Elementary Students' Book with Active Book and MyLab Pack Mark Foley / Knjiga Meki uvez
common.buy 84.00 €
Plays of Josefina Niggli Josefina Niggli / Knjiga Meki uvez
common.buy 25.03 €

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?