Проверка на състоянието на поръчката
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€

Theory and Application of Satisfiability Testing

14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Theory and Application of Satisfiability Testing Karem A. Sakallah
Код Либристо: 01658153
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, май 2011
This book constitutes the refereed proceedings of the 14th International Conference on Theory and Ap... Цялото описание
? points 142 b
58.46 €
114.34  лв
Външен склад в ограничено количество Изпращаме след 14-21 дни

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

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

ESTUDIO JURISPRUDENCIAL DE ACTO AD GONZALEZ RIVAS / Книга Книга
common.buy 26.98 € 52.78 лв
Aby se slovo dostalo ke slovu Evert R. Jonker / Книга binding.
common.buy 6.86 € 13.41 лв
SPANISH ACTIVITY Book for ADULTS: 160 Games Jaja Media / Книга С меки корици
common.buy 8.97 € 17.55 лв
Chasse royale à Sandringham S.J. Bennett / Книга С меки корици
common.buy 21.36 € 41.77 лв
Подросток Федор Достоевский / Книга С твърди корици
common.buy 28.43 € 55.60 лв
Изгодно
Mon Premier Larousse de la Planète Pascal CHAUVEL / Книга С твърди корици
common.buy 16.56 € 32.39 лв
Top
Theorie und Praxis des Goldschmieds Erhard Brepohl / Книга С твърди корици
common.buy 99.23 € 194.08 лв
PRIMER ROMANCERO GITANO FEDERICO GARCIA LORCA / Книга С меки корици
common.buy 13.15 € 25.73 лв
F.I.P. - Pensionsplan - eine kritische Analyse Yury Evteev / Книга С меки корици
common.buy 18.06 € 35.31 лв
Mon carnet dietetique Cédric Menard / Книга С меки корици
common.buy 12.64 € 24.72 лв
Velká cesta Jana Steingässer / Книга С твърди корици
common.buy 4.85 € 9.48 лв
Automacao e Instrumentacao Vital Pereira Batista Júnior / Книга С меки корици
common.buy 65.79 € 128.67 лв
Le P'tit Jeune Homme: Roman Charles Vayre / Книга С твърди корици
common.buy 33.49 € 65.49 лв
Satires Nouvelles, Avec Une Ode Sur l'Heureuse Convalescence de Monseigneur Le Dauphin BOILEAU-N / Книга С меки корици
common.buy 12.69 € 24.82 лв
Wissenschaftssprache Valentin Groebner / Книга С твърди корици
common.buy 19.66 € 38.44 лв
Traite Du Leve, Rapport & Calcul Des Plans, Agents Des Contributions Directes Et Du Cadastre Beluet-V / Книга С меки корици
common.buy 15.48 € 30.27 лв
Nano acuarios 12-35 litros Jakob Geck / Книга С меки корици
common.buy 15.17 € 29.66 лв

This book constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, held in Ann Arbor, MI, USA in June 2011.§The 25 revised full papers presented together with abstracts of 2 invited talks and 10 poster papers were carefully reviewed and selected from 57 submissions. The papers are organized in topical sections on complexity analysis, binary decision diagrams, theoretical analysis, extraction of minimal unsatisfiable subsets, SAT algorithms, quantified Boolean formulae, model enumeration and local search, and empirical evaluation.

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

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

Пълно заглавие Theory and Application of Satisfiability Testing
Автор Karem A. Sakallah, Laurent Simon
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2011
Брой страници 371
Баркод 9783642215803
ISBN 3642215807
Код Либристо 01658153
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 597
Размери 155 x 235 x 23

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Memoirs of a Married Woman Elyzabeth D'Amore / Книга С твърди корици
common.buy 32.14 € 62.87 лв
Where Community Happens Henry Near / Книга С меки корици
common.buy 61.82 € 120.90 лв
Better Relationships Happier Lives Terry Turner / Книга С твърди корици
common.buy 22.34 € 43.69 лв
This Is the Sunflower Lola M. Schaefer / Книга С твърди корици
common.buy 15.68 € 30.67 лв
Give Us This Day Herbert Lockyer / Книга С меки корици
common.buy 14.75 € 28.86 лв
Language Conflict and Language Planning Einar Haugen / Книга С твърди корици
common.buy 50.31 € 98.40 лв
Creative Problem Solving Donald J. Treffinger / Книга С меки корици
common.buy 31.11 € 60.85 лв
CSD in Munich at the 09.07.2016 Nicolaus Dinter / Книга С меки корици
common.buy 78.48 € 153.50 лв
Woman's Kingdom Dinah M. M. Craik / Книга С меки корици
common.buy 33.95 € 66.40 лв
My Plastic Brain Caroline Williams / Книга С твърди корици
common.buy 28.17 € 55.10 лв
Sciousness Jonathan Bricklin / Книга С меки корици
common.buy 17.49 € 34.20 лв
Songs of Spring and Blossoms of Unrequited Love Eilshemius Louis M. Eilshemius / Книга С меки корици
common.buy 19.86 € 38.85 лв
Joseph Conrad's Critical Reception John Peters / Книга С твърди корици
common.buy 138.66 € 271.19 лв
Piping and Instrumentation Diagram Development Moe Toghraei / Книга С твърди корици
common.buy 149.13 € 291.67 лв
Ba-chan: the Ninja Grandma Sanae Ishida / Книга С твърди корици
common.buy 14.86 € 29.06 лв
Top
Do You Know? Level 4 - BBC Earth Looking After the Ocean Ladybird / Книга С меки корици
common.buy 7.06 € 13.82 лв
Theory of Knowledge for the IB Diploma: Skills for Success Second Edition John Sprague / Книга С меки корици
common.buy 42.05 € 82.25 лв
ZEN Ox-Herding Pictures Zensho W. Kopp / Книга С меки корици
common.buy 9.59 € 18.76 лв
10 Secrets for Success and Inner Peace Wayne Dyer / Книга С меки корици
common.buy 19.24 € 37.64 лв
Подготвяме
Failure Frame: I Became the Strongest and Annihilated Everything With Low-Level Spells (Manga) Vol. 4 Sho Uyoshi / Книга С меки корици
common.buy 13.72 € 26.84 лв
The Gilded Age, a Reappraisal H. Wayne (Howard Wayne) Ed Morgan / Книга С меки корици
common.buy 23.99 € 46.92 лв
Uncannonical Jewish Books William John Ferrar / Книга С меки корици
common.buy 12.12 € 23.71 лв
Christian Punk Abraham Ibrahim Abraham / E-книга Adobe ePub DRM
common.buy 44.12 € 86.28 лв
Beautiful Year in the Bible: The 52-Week Bible Study for Women (Hc) / Книга С твърди корици
common.buy 46.75 € 91.43 лв

Вход

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

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

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

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

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