Проверка на състоянието на поръчката
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
Код Либристо: 20119732
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, юли 2018
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH...
? points 89 b
36.89 €
72.15  лв
Външен склад Изпращаме след 10-18 дни

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

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

Top
Ruční palné zbraně - 89 legendárních i zapomenutých konstrukcí Autor Fiktivní / Книга С твърди корици
common.buy 36.53 € 71.44 лв
Top
JOJOLION 1 - JOJO'S BIZARRE ADVENTURES PART8 (MANGA VO JAPONAIS) ARAKI / Книга С меки корици
common.buy 25.23 € 49.35 лв
Top
Coloriages mystères Pixar Jérémy Mariez / Книга С меки корици
common.buy 22.38 € 43.77 лв
Ganz schön clever! Einzelblock (Spiel-Zubehör) / Канцеларски материали Канцеларски материали
common.buy 6.73 € 13.17 лв
Bella Germania Daniel Speck / Книга С меки корици
common.buy 12.69 € 24.82 лв
Top
In altre parole Jhumpa Lahiri / Книга С меки корици
common.buy 20.00 € 39.11 лв
DaF Kompakt neu Birgit Braun / Книга С меки корици
common.buy 36.32 € 71.03 лв
Top
Harry Potter und der Stein der Weisen (Harry Potter 1) Joanne Kathleen Rowling / Книга С меки корици
common.buy 9.17 € 17.93 лв

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
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2018
Брой страници 356
Баркод 9783662570654
Код Либристо 20119732
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 580
Размери 233 x 156 x 24

Категории

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

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

Are You Listening? Tillie Walden / Книга С твърди корици
common.buy 29.38 € 57.45 лв
Family Consecration to Jesus Through Mary: 33-Days of Preparation with Saint Louis Marie de Montfort Donna-Maria Cooper O'Boyle / Книга С меки корици
common.buy 15.02 € 29.38 лв
No Time to Play Henry Farley / Книга С меки корици
common.buy 16.21 € 31.71 лв
Field Sketchbook A6 Inc Peter Pauper Press / Книга С твърди корици
common.buy 7.72 € 15.09 лв
Matty Matheson Quentin Bacon / Книга С твърди корици
common.buy 30.57 € 59.78 лв
Top
Komi Can't Communicate, Vol. 8 Tomohito Oda / Книга С меки корици
common.buy 9.32 € 18.23 лв
Top
Lonely Planet Epic Bike Rides of Europe Lonely Planet / Книга С твърди корици
common.buy 28.81 € 56.34 лв
A Narrative of the Principal Events of the Campaigns of 1809, 1810 and 1811 in Spain and Portugal William Stothert / Книга С твърди корици
common.buy 33.62 € 65.76 лв
RF Electronics for Electronic Warfare Richard A. Poisel / Книга С твърди корици
common.buy 148.19 € 289.84 лв
SOLA BUSCA TAROT / Печатни материали Карта
common.buy 51.50 € 100.73 лв
Opening the Akashic Records Maureen J. St Germain / Книга С меки корици
common.buy 12.90 € 25.22 лв
It Was Always You Lorhainne Eckhart / Книга С меки корици
common.buy 9.43 € 18.44 лв
Great Expectations Charles Dickens / Книга С твърди корици
common.buy 15.80 € 30.90 лв
Click and Boing: Almost go to the zoo Liam Lynch / Книга С меки корици
common.buy 16.68 € 32.62 лв
Explore Brazil: 12 Key Facts Todd Kortemeier / Книга С меки корици
common.buy 12.22 € 23.91 лв
God, Science, and Religious Diversity Robert T Lehe / Книга С меки корици
common.buy 20.93 € 40.93 лв
Bio-based Materials for Food Packaging Shakeel Ahmed / Книга С твърди корици
common.buy 195.56 € 382.47 лв
First Book of Jewish Jokes Elliott Oring / Книга С твърди корици
common.buy 75.23 € 147.15 лв
Buckingham Palace Ashley Hicks / Книга С твърди корици
common.buy 50.57 € 98.90 лв
Top
Short Stories in French for Beginners Olly Richards / Книга С меки корици
common.buy 10.05 € 19.65 лв
Snow Balls: A Pretending-to-Be-Macho MM Romance Tara Lain / Книга С меки корици
common.buy 10.62 € 20.77 лв
Rise and Divine Lana Harper / Книга С меки корици
common.buy 11.50 € 22.49 лв
Data Analytics and Artificial Intelligence for Earth Resource Management Deepak Kumar / Книга С меки корици
common.buy 170.48 € 333.42 лв
Narcoball David Arrowsmith / Книга С твърди корици
common.buy 21.71 € 42.45 лв

Вход

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

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

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

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

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