Проверка на състоянието на поръчката
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.41 €
98.60  лв
Външен склад Изпращаме след 10-18 дни

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

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

Talsperrenstatik Othmar J. Rescher / Книга С меки корици
common.buy 56.01 € 109.55 лв
עץ חיים שער ו פרק א - Sefer Etz Chaim Gate 06 Chapter 01 Chaim Vital Ha'ari / Книга С меки корици
common.buy 16.58 € 32.42 лв
Nasze kolorowe pojazdy na sygnale Opracowanie zbiorowe / Книга С меки корици
common.buy 0.62 € 1.21 лв
MIGUEL, UNA CABRITA Y UN SUEÑO PEROZO RUIZ / Книга С меки корици
common.buy 13.67 € 26.75 лв
Gift from the Trees Mammal Hands Аудио Аудио плоча
common.buy 33.68 € 65.86 лв
Kiss of the Spider Woman / Аудио Аудио компактдиск
common.buy 23.11 € 45.19 лв
Fyzika na dvore Radek Chajda / Книга С меки корици
common.buy 7.66 € 14.99 лв
Top
12 supermocy. Polscy autorzy o tym, jak budować poczucie własnej wartości Opracowanie zbiorowe / Книга С твърди корици
common.buy 9.01 € 17.62 лв
Basiswissen Mathematik auf Arabisch und Deutsch - اساسيات في الرياضيات باللغتين العربية والالمانية Moritz Weber / Книга С меки корици
common.buy 26.73 € 52.29 лв
Hafenmanöver Schritt für Schritt Lars Bolle / Книга С меки корици
common.buy 21.60 € 42.25 лв
Be a little analog Julius Hendricks / Книга С твърди корици
common.buy 9.17 € 17.93 лв
Els altres catalans : edició no censurada Francisco Candel / Книга С меки корици
common.buy 24.04 € 47.01 лв
Diferencia de la filosofía de la naturaleza en Demócrito y en Epicuro y otros escritos Karl Marx / Книга С меки корици
common.buy 17.20 € 33.64 лв
Biblia Para Ninos Epoca Editorial / Книга С меки корици
common.buy 6.52 € 12.76 лв
Sulla strada di Bob Dylan. Memorie dal Greenwich Village Suze Rotolo / Книга С меки корици
common.buy 26.53 € 51.88 лв
Mystiques, Tome 1: Le septieme sens Kim Richardson / Книга С меки корици
common.buy 14.87 € 29.08 лв
Puedo soñar contigo BLUE JEANS / Книга С твърди корици
common.buy 11.14 € 21.78 лв
Подготвяме
Ukulele Melody-Chord-Concept Patrick Steinbach / Книга С меки корици
common.buy 19.94 € 39.01 лв
Ordnung im Mund macht gesund Irmgard Simma-Kletschka / Книга С меки корици
common.buy 26.63 € 52.08 лв
Das kleine WIR im Kindergarten Daniela Kunkel / Книга С твърди корици
common.buy 12.79 € 25.02 лв
Mémoire et cuisine des Pieds-noirs - la nostalgérie Ehrohlt Книга С меки корици
common.buy 27.56 € 53.91 лв
Prolongations François-Guillaume Lorrain / Книга С меки корици
common.buy 18.08 € 35.36 лв
Der Schachwettkampf Tarrasch-Mieses Im Herbst 1916 Tarrasch / Книга С твърди корици
common.buy 125.65 € 245.76 лв
Meie keelesild. Viron kielen oppikirja Viive Taro / Книга С меки корици
common.buy 66.89 € 130.83 лв

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.64 € 161.64 лв
Aromatherapy for Health Professionals Revised Reprint Len Price / Книга С меки корици
common.buy 62.38 € 122.01 лв
Top
Hero of Ages Brandon Sanderson / Книга С меки корици
common.buy 9.01 € 17.62 лв
Egypt, Cyprus And Asiatic Turkey (1878) James Lewis Farley / Книга С твърди корици
common.buy 44.97 € 87.96 лв
Americans and Germans in Bastogne Gary Sterne / Книга С твърди корици
common.buy 30.20 € 59.07 лв
AI Narratives Stephen Cave / Книга С твърди корици
common.buy 137.36 € 268.66 лв
Top
William Shakespeare: Famous Loving Words Insight Editions / Книга С твърди корици
common.buy 10.41 € 20.36 лв
Hey, Kitty Kitty! Brenda Ponnay / Книга С меки корици
common.buy 13.78 € 26.95 лв
Kuniyoshi Matthi Forrer / Книга С твърди корици
common.buy 122.85 € 240.28 лв
Gurdjieff and the Fourth Way Grant / Книга С твърди корици
common.buy 24.92 € 48.74 лв
What is to be done? Vladimir Ilyich Lenin / Книга С меки корици
common.buy 12.90 € 25.22 лв
Research Design and Statistical Analysis Caren M. Rotello / Книга С твърди корици
common.buy 209.49 € 409.74 лв
Anthony Bourdain's Hungry Ghosts Anthony Bourdain / Книга С твърди корици
common.buy 15.80 € 30.90 лв
Top
Indestructibles: Hello, Farm! Amy Pixton / Книга С меки корици
common.buy 5.49 € 10.73 лв
DNA: AQA GCSE 9-1 English Literature Text Guide Collins GCSE / Книга С меки корици
common.buy 7.97 € 15.60 лв
World of Warcraft: Book One Walter Simonson / Книга С твърди корици
common.buy 13.16 € 25.73 лв
Top
Tanned Leather Hand-Made Bags: Ultimate Techniques YOKO GANAHA / Книга С меки корици
common.buy 19.48 € 38.10 лв
Gedichte Gustav Schwab / Книга С меки корици
common.buy 30.77 € 60.19 лв
Top
Hilma af Klint Hilma af Klint / Книга С твърди корици
common.buy 48.96 € 95.76 лв
Homecoming Colin Grant / Книга С меки корици
common.buy 14.87 € 29.08 лв
Lost & Found: Based on a True Story / Книга С твърди корици
common.buy 15.07 € 29.48 лв
Netter's Physiology Coloring Book Susan Mulroney / Книга С меки корици
common.buy 21.76 € 42.56 лв
Top
ketoCONTINUUM Consistently Keto For Life Annette Bosworth / Книга С меки корици
common.buy 23.16 € 45.29 лв
Top
Anatomy for Artists: Drawing Form & Pose (TBC) Publishing / Книга С меки корици
common.buy 38.03 € 74.38 лв

Вход

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

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

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

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

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