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

Decision Procedures

An Algorithmic Point of View

Език Английски езикАнглийски език
Книга С твърди корици
Книга Decision Procedures Daniel Kroening
Код Либристо: 02981250
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, януари 2017
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH...
? points 122 b
50.38 €
98.54  лв
Външен склад Изпращаме след 10-18 дни

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

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

Talsperrenstatik Othmar J. Rescher / Книга С меки корици
common.buy 55.98 € 109.48 лв
עץ חיים שער ו פרק א - Sefer Etz Chaim Gate 06 Chapter 01 Chaim Vital Ha'ari / Книга С меки корици
common.buy 16.57 € 32.40 лв
Nasze kolorowe pojazdy na sygnale Opracowanie zbiorowe / Книга С меки корици
common.buy 0.77 € 1.51 лв
Top
12 supermocy. Polscy autorzy o tym, jak budować poczucie własnej wartości Opracowanie zbiorowe / Книга С твърди корици
common.buy 10.66 € 20.85 лв
Gift from the Trees Mammal Hands Аудио Аудио плоча
common.buy 33.66 € 65.82 лв
Meie keelesild. Viron kielen oppikirja Viive Taro / Книга С меки корици
common.buy 66.85 € 130.75 лв
Prolongations François-Guillaume Lorrain / Книга С меки корици
common.buy 20.50 € 40.10 лв
Mémoire et cuisine des Pieds-noirs - la nostalgérie Ehrohlt Книга С меки корици
common.buy 27.70 € 54.18 лв
Das kleine WIR im Kindergarten Daniela Kunkel / Книга С твърди корици
common.buy 13.56 € 26.53 лв
Ordnung im Mund macht gesund Irmgard Simma-Kletschka / Книга С меки корици
common.buy 26.61 € 52.05 лв
Ukulele Melody-Chord-Concept Patrick Steinbach / Книга С меки корици
common.buy 19.93 € 38.98 лв
Basiswissen Mathematik auf Arabisch und Deutsch - اساسيات في الرياضيات باللغتين العربية والالمانية Moritz Weber / Книга С меки корици
common.buy 26.77 € 52.35 лв
Puedo soñar contigo BLUE JEANS / Книга С твърди корици
common.buy 11.70 € 22.88 лв
Sulla strada di Bob Dylan. Memorie dal Greenwich Village Suze Rotolo / Книга С меки корици
common.buy 26.56 € 51.95 лв
Biblia Para Ninos Epoca Editorial / Книга С меки корици
common.buy 6.52 € 12.75 лв
Diferencia de la filosofía de la naturaleza en Demócrito y en Epicuro y otros escritos Karl Marx / Книга С меки корици
common.buy 19.93 € 38.98 лв
Hafenmanöver Schritt für Schritt Lars Bolle / Книга С меки корици
common.buy 22.88 € 44.76 лв

This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH Zurich and at the Technion, Haifa. The authors focus on theories that are expressive enough to model real problems, but are still decidable.§

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

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

Пълно заглавие Decision Procedures
Автор Daniel Kroening, Ofer Strichman
Език Английски език
Корици Книга - С твърди корици
Дата на издаване 2017
Брой страници 356
Баркод 9783662504963
ISBN 3662504960
Код Либристо 02981250
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 722
Размери 165 x 244 x 26

Категории

Mathematics & Science > Mathematics > Optimization
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Operating systems
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Translation in Modern Japan Indra Levy / Книга С меки корици
common.buy 82.59 € 161.54 лв
Aromatherapy for Health Professionals Revised Reprint Len Price / Книга С меки корици
common.buy 64.36 € 125.89 лв
Top
Indestructibles: Hello, Farm! Amy Pixton / Книга С меки корици
common.buy 5.48 € 10.73 лв
Anthony Bourdain's Hungry Ghosts Anthony Bourdain / Книга С твърди корици
common.buy 15.79 € 30.88 лв
What is to be done? Vladimir Ilyich Lenin / Книга С меки корици
common.buy 12.89 € 25.21 лв
Research Design and Statistical Analysis Caren M. Rotello / Книга С твърди корици
common.buy 209.36 € 409.48 лв
Top
Hero of Ages Brandon Sanderson / Книга С меки корици
common.buy 9.63 € 18.83 лв
Hey, Kitty Kitty! Brenda Ponnay / Книга С меки корици
common.buy 13.77 € 26.93 лв
Top
William Shakespeare: Famous Loving Words Insight Editions / Книга С твърди корици
common.buy 10.40 € 20.35 лв
Americans and Germans in Bastogne Gary Sterne / Книга С твърди корици
common.buy 30.19 € 59.04 лв
Gedichte Gustav Schwab / Книга С меки корици
common.buy 30.76 € 60.15 лв
Kuniyoshi Matthi Forrer / Книга С твърди корици
common.buy 123.30 € 241.15 лв
Homecoming Colin Grant / Книга С меки корици
common.buy 14.86 € 29.06 лв
Gurdjieff and the Fourth Way Grant / Книга С твърди корици
common.buy 24.96 € 48.81 лв
Top
Lost & Found: Based on a True Story / Книга С твърди корици
common.buy 15.06 € 29.46 лв
Netter's Physiology Coloring Book Susan Mulroney / Книга С меки корици
common.buy 22.88 € 44.76 лв
Top
ketoCONTINUUM Consistently Keto For Life Annette Bosworth / Книга С меки корици
common.buy 23.14 € 45.26 лв
Top
Anatomy for Artists: Drawing Form & Pose (TBC) Publishing / Книга С меки корици
common.buy 38.47 € 75.24 лв
Skate Park Plans Alan Brown / Книга С меки корици
common.buy 8.75 € 17.11 лв
Hamilton by Lin-Manuel Miranda SHEILA LISCHWE / Книга С меки корици
common.buy 15.79 € 30.88 лв
Poetic Spanking Anthony Toomer / Книга С твърди корици
common.buy 32.26 € 63.09 лв
Aberdeen European Nights ALLY BEGG / Книга С твърди корици
common.buy 21.74 € 42.53 лв
Basic and Clinical Pharmacology 16th Edition Vanderah / Книга С меки корици
common.buy 80.52 € 157.49 лв
Top
The Complete Guide to Flags of the World, 4th Edition Clive Carpenter / Книга С меки корици
common.buy 14.86 € 29.06 лв

Вход

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

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

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

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

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