Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

SAT 2005

Satisfiability Research in the Year 2005

Език Английски езикАнглийски език
Книга С меки корици
Книга SAT 2005 Enrico Giunchiglia
Код Либристо: 09160830
Издателство Springer, декември 2014
This book covers recent progress in solving propositional satisfiability and related problems. Propo... Цялото описание
? points 394 b
162.88 €
318.56  лв
Външен склад Изпращаме след 5-8 дни

30 дни за връщане на стоката

Клиентите са закупили също

Schnecken-Coaching Eckhard vom Frieden / Книга С меки корици
common.buy 9.68 € 18.93 лв
Total Quality Management Gerold Gizycki / Книга С меки корици
common.buy 37.89 € 74.11 лв
Vzpomínka na Zemi Liou Cch´-Sin / Книга С меки корици
common.buy 9.42 € 18.42 лв
Enderův stín Orson Scott Card / Книга С твърди корици
common.buy 13.87 € 27.13 лв
Hegemonův stín Orson Scott Card / Книга С твърди корици
common.buy 13.87 € 27.13 лв
Pedro Salinas y sus circunstancias : biografía Jean Cross Newman / Книга С меки корици
common.buy 36.50 € 71.38 лв
Le travail de l' obscure clarté dans le fantome de l'opéra de gaston leroux Casta isabelle rachel / Книга С меки корици
common.buy 20.34 € 39.79 лв
Elan OLALLA PONS / Книга С меки корици
common.buy 21.12 € 41.31 лв
Auf der Reeperbahn nachts um halb eins Gustav Kampendonk / Видео DVD
common.buy 20.70 € 40.49 лв
Maik - Der Heimweg Michael Arnold / Книга С меки корици
common.buy 9.68 € 18.93 лв
Warum wir nach Anerkennung hungern Stefan Möller / Книга С меки корици
common.buy 31.63 € 61.86 лв
Nouvelles Lettres Du Grand Prophete: Nostradamus Eclairci, (Ed.1874) Henri Torne-Chavigny / Книга С меки корици
common.buy 17.44 € 34.12 лв
Les Tribulations de M. Le Prefet. Scenes Electorales De Maleville-L / Книга С меки корици
common.buy 16.56 € 32.39 лв
Wertpapier-Investmentfonds in Lebensversicherungsunternehmen Rainer Pflaum / Книга С меки корици
common.buy 55.96 € 109.46 лв
Deutsches Kolonial-Handbuch Rudolf Fitzner / Книга С меки корици
common.buy 47.16 € 92.24 лв
Rapsu eļļa - izejviela inovatīvu poliuretānu materiālu ieguvei Fridrihsone-Girone Anda / Книга С меки корици
common.buy 52.81 € 103.28 лв
Ansiedler an den Quellen des Susquehanna James Fenimore Cooper / Книга С меки корици
common.buy 18.89 € 36.95 лв
Trilby George Du Maurier / Книга С меки корици
common.buy 17.13 € 33.51 лв
Изгодно
Deutsche Sprichwörter Karl Simrock / Книга С меки корици
common.buy 2.79 € 5.46 лв
Metodos para la seleccion optima de carteras de proyectos Olmedo Perez Rafael Antonio / Книга С меки корици
common.buy 31.22 € 61.05 лв
Kertomuksia Lapista osa 3 Juha Kivekäs / Книга С твърди корици
common.buy 26.40 € 51.63 лв
Deutsche Direktinvestitionen Fingerlos Uwe Rudolf / Книга С меки корици
common.buy 70.67 € 138.21 лв

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

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие SAT 2005
Автор Enrico Giunchiglia, Toby Walsh
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2014
Брой страници 293
Баркод 9789400787155
ISBN 9789400787155
Код Либристо 09160830
Издателство Springer
Тегло 462
Размери 155 x 235 x 16

Категории

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
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Sarcoidosis Darren Harper / Книга С твърди корици
common.buy 212.12 € 414.86 лв
School Mentor Handbook Katherine Burn / Книга С меки корици
common.buy 73.20 € 143.18 лв
Sanctuary Matthew Mather / Книга С меки корици
common.buy 19.31 € 37.76 лв
Mayhem Harris / Книга С меки корици
common.buy 15.79 € 30.87 лв
Factors Affecting Academic Staff Turnover Intention Gebayaw Adugna / Книга С меки корици
common.buy 51.87 € 101.46 лв
Подготвяме
Cahiers d'Art N Degrees1, 2014: Hiroshi Sugimoto: 38th Year, 100th issue Hiroshi Sugimoto / Книга С меки корици
common.buy 91.02 € 178.01 лв
Cathars, White Eagle and St John Colum Hayward / Книга С меки корици
common.buy 14.70 € 28.75 лв
Analisis Comparativo Entre El Proceso Ante La Corte Penal Internacional Y Ante El Derecho Espanol Carlota Garcia Zapata / Книга С меки корици
common.buy 45.35 € 88.70 лв
Strategic Utilization of Information Systems in Small Business M. Gordon Hunter / Книга С твърди корици
common.buy 216.72 € 423.88 лв
Athenaeum Raul Pompeia / Книга С меки корици
common.buy 20.08 € 39.28 лв
Scoring Off the Field Kausik Bandyopadhyay / Книга С меки корици
common.buy 52.44 € 102.57 лв
Trade, Transport and Society in the Ancient World (Routledge Revivals) Fik Meijer / Книга С меки корици
common.buy 82.58 € 161.50 лв
Accounting and Finance Policies and Procedures Rose Hightower / Книга С меки корици
common.buy 106.55 € 208.39 лв
International Democracy Assistance for Peacebuilding Sorpong Peou / Книга С меки корици
common.buy 56.17 € 109.86 лв
Addiction and Overdose: Confronting an American Crisis Connie Goldsmith / Книга С твърди корици
common.buy 42.35 € 82.82 лв
Falling Deeper Anathema / Аудио Аудио компактдиск
common.buy 18.79 € 36.75 лв
Little Women Frank T. Merrill / Книга С меки корици
common.buy 44.37 € 86.77 лв
Top
Kew Pocketbooks: Carnivorous Plants ROYAL BOTANIC GARDEN / Книга С твърди корици
common.buy 12.37 € 24.19 лв
Buddha Nature Tina Draszcyk / Книга С меки корици
common.buy 14.03 € 27.43 лв
Crawlers Deacon Jones / Книга С меки корици
common.buy 14.65 € 28.65 лв
Experience of a Slave in South Carolina John Andrew Jackson / Книга С меки корици
common.buy 20.24 € 39.58 лв
Solid State Ionics for Batteries C. Iwakura / Книга С меки корици
common.buy 108.67 € 212.54 лв
New Total English Elementary Students' Book with Active Book and MyLab Pack Mark Foley / Книга С меки корици
common.buy 91.95 € 179.83 лв
Plays of Josefina Niggli Josefina Niggli / Книга С меки корици
common.buy 25.16 € 49.20 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?