Kód: 20119732
Decision Procedures
Autor Daniel Kroening, Ofer Strichman
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 ... celý popis
- Jazyk:
Angličtina - Väzba: Brožovaná
- Počet strán: 356
Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2018
- Viac informácií o knihe
31.95 €
Bežne: 32 €
Ušetríte 0.05 €
Skladom u dodávateľa
Odosielame za 14 - 21 dní
Mohlo by sa vám tiež páčiť
-
Moon Knight: The Complete Collection
26.12 € -25 % -
Short Stories in French for Beginners
13.46 € -12 % -
Game of Thrones: The Catspaw Dagger
10.64 € -29 % -
Lonely Planet Epic Bike Rides of Europe
26.32 € -24 % -
Field Sketchbook A6
7.33 € -25 % -
The BFG
8.63 € -10 % -
How to Invent Everything
27.03 € -22 % -
Coloriages mystères Pixar
20.49 € -
Peerless (Novel) Vol. 1
14.87 € -29 % -
Hero of Ages
27.03 € -25 % -
My Hero Academia, Vol. 28
8.03 € -25 % -
Komi Can't Communicate, Vol. 8
8.03 € -25 % -
Garden Sounds
15.17 € -17 % -
Ultimate Book of Cities
18.38 € -25 % -
My Neighbor Totoro: 30 Postcards
12.25 € -10 % -
DaF Kompakt neu
35.17 € -
Harry Potter und der Stein der Weisen (Harry Potter 1)
9.34 € -7 % -
No Matter How I Look at It, It's You Guys' Fault I'm Not Popular!, Vol. 9
10.14 € -25 % -
Sexy Underwear and Hot Pussy
53.06 € -14 % -
Buckingham Palace
47.03 € -24 % -
Jungle Book
10.74 € -24 % -
Reading and Rhyme Ages 3-5
5.12 € -14 % -
Not for the Faint of Heart
10.95 € -10 % -
Opening the Akashic Records
12.25 € -25 % -
Atlas of Dermoscopy
254.39 € -
Rise of the Robots
14.06 € -29 % -
How to Speak Cat
10.14 € -25 % -
Matty Matheson
32.36 € -16 % -
Hippo and Friends 1 Pupil's Book
32.15 € -
The Lupus Diet Plan: Meal Plans & Recipes to Soothe Inflammation, Treat Flares, and Send Lupus Into Remission
15.07 € -25 % -
Customer Experience Manual, The
18.08 € -28 % -
Rise and Divine
13.76 € -8 % -
Carole King - Tapestry
18.59 € -25 % -
Witchcraft and the Shamanic Journey
19.89 € -21 % -
Agenda 21
10.55 € -9 % -
Microservices in .NET
56.48 € -2 % -
In the Lost Lands
18.79 € -
Vitreoretinal Surgery: Strategies and Tactics
199.91 € -9 % -
Clivias
51.05 € -18 % -
Reborn
19.59 € -23 % -
As Always, Julia
16.47 € -18 % -
Modernized Modern Benoni
28.33 € -23 % -
RF Electronics for Electronic Warfare
140.61 € -4 % -
Introduction to Game Design, Prototyping, and Development
85.26 € -
Family Consecration to Jesus Through Mary: 33-Days of Preparation with Saint Louis Marie de Montfort
14.36 € -24 % -
Abel
12.86 € -6 % -
Sea Monkeys & Brine Shrimp
9.04 € -7 % -
DESTINED FOR GREATNESS
6.22 € -27 % -
Constitution of Finland
45.02 € -
Data Analytics and Artificial Intelligence for Earth Resource Management
155.99 € -
Snow Balls: A Pretending-to-Be-Macho MM Romance
10.14 € -7 % -
History of Paris in Painting
196.59 € -14 % -
Narcoball
20.70 € -25 % -
American Lions: The 332nd Infantry Regiment in Italy in World War I
50.15 € -25 % -
GCSE 9-1 Geography AQA Complete Revision & Practice (w/ Online Ed)
17.18 € -10 % -
Fra Filippo Lippi
170.56 € -9 % -
Obsolete
25.62 € -25 % -
First Book of Jewish Jokes
73.57 € -
Murach's MySQL (4th Edition)
42.91 € -24 % -
Chatham Naval Dockyard and Barracks
15.87 € -25 % -
Twelve Twenty-Five: The Life and Times of a Steam Locomotive
38.19 € -21 % -
Great Expectations
15.07 € -25 % -
The Cider Makers Hand Book: A Complete Guide for Making and Keeping Pure Cider (1896)
36.28 € -1 % -
Cognitive Psychology
28.64 € -10 % -
It Was Always You
9.14 € -6 % -
Six Saints from Allegany
12.96 € -
A Narrative of the Principal Events of the Campaigns of 1809, 1810 and 1811 in Spain and Portugal
32.56 € -1 % -
No Time to Play
15.67 € -6 % -
Somaclonal Variation in Crop Improvement I
299.82 € -9 % -
Hot, Shot, and Bothered
16.47 € -18 % -
God, Science, and Religious Diversity
19.99 € -25 % -
Explore Brazil: 12 Key Facts
11.45 € -10 % -
Active Middleware Services
112.57 € -
PREPAK-DOING TESHUVAH-12 PK-12
8.03 € -25 % -
Glimmer of a New Leviathan
156.59 € -
Lil. by the Author of "Tip-Cat," Etc. [I.E. Evelyn Whittaker.]
20.49 € -25 % -
Elegies
14.26 € -9 % -
Thriving and Surviving on Campus
86.63 € -
Supercomputer Algorithms for Reactivity, Dynamics and Kinetics of Small Molecules
97.99 € -
Research Handbook on Shareholder Power
393.20 € -
Bio-based Materials for Food Packaging
183.93 € -7 % -
Out of the Frame
89.45 € -20 % -
Shadows of Yesterday
16.88 € -6 % -
Maldita Droga
12.35 €
Darujte túto knihu ešte dnes
- Objednajte knihu a vyberte Zaslať ako darček.
- Obratom obdržíte darovací poukaz na knihu, ktorý môžete ihneď odovzdať obdarovanému.
- Knihu zašleme na adresu obdarovaného, o nič sa nestaráte.
Viac informácií o knihe Decision Procedures
Nákupom získate 78 bodov
Anotácia knihy
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.
Parametre knihy
31.95 €
- Celý názov: Decision Procedures
- Podnázov: An Algorithmic Point of View
- Autor: Daniel Kroening, Ofer Strichman
- Jazyk: Angličtina
- Väzba: Brožovaná
- Počet strán: 356
- EAN: 9783662570654
- ID: 20119732
- Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Hmotnosť: 580 g
- Rozmery: 156 × 233 × 24 mm
- Dátum vydania: 13. July 2018
Obľúbené z iného súdka
-
Threshing Day (Limited Deluxe Edition)
19.39 € -34 % -
Court of Thorns and Roses 6
16.78 € -29 % -
Murdoku
14.97 € -21 % -
The Mirror of Infinite Endings
14.66 € -31 % -
Cozy Countdown: An Advent Coloring Book Bundle
22.10 € -25 % -
The Long-Lived King: An Original The Owl House Graphic Novel
19.69 € -29 % -
White Nights
4.51 € -14 % -
I'll Believe in Anything. The Making of Heated Rivalry Season 1
18.69 € -30 % -
Trust Fall
10.04 € -18 % -
Jojo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 9
19.19 € -22 % -
21 Days of Fear
16.68 € -27 % -
The Art of Gravity Falls
37.68 € -28 % -
The Mirror of Infinite Endings
21.80 € -29 % -
Berserk Deluxe Volume 1
38.99 € -27 % -
Fourth Wing
23.91 € -27 % -
Lord of Mysteries, Vol. 4: The Faceless, Part I
16.98 € -15 % -
Iron Flame
24.92 € -24 % -
Once Upon a Broken Heart Collector's Edition
26.73 € -29 % -
Witch Hat Atelier: Grimoire Edition 2
35.17 € -30 % -
Berserk Deluxe Volume 3
55.47 € -
Murdoku Volume 2: Back in Time
14.97 € -21 % -
East of Eden
12.76 € -26 % -
Penguin Readers Level 4: The Adventures of Sherlock Holmes (ELT Graded Reader)
10.95 € -2 % -
The Count of Monte Cristo
13.76 € -9 % -
Berserk Deluxe Volume 2
36.88 € -31 % -
Escape Me Deluxe Limited Edition
21 € -20 % -
Jojo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 2
19.19 € -22 % -
Protocols
16.47 € -
Chainsaw Man, Vol. 22
9.44 € -25 % -
Witch Hat Atelier: Grimoire Edition 1
34.26 € -32 % -
How to Win at Chess, Next Level
26.42 € -11 % -
Jojo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 1
19.19 € -22 % -
Protocols
14.77 € -29 % -
Protocols
29.44 € -27 % -
The Courage To Be Disliked
10.64 € -13 % -
Jojo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 8
18.18 € -26 % -
Murdle: Volume 1
12.96 € -29 % -
Pokémon Deluxe Character Guide
41 € -28 % -
Berserk Deluxe Volume 4
43.51 € -18 % -
Yesteryear
16.07 € -12 % -
What Happened Yesterday
15.97 € -27 % -
Absolute Batman Vol. 3
19.29 € -8 % -
JoJo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 3
19.19 € -22 % -
Fruit Fly
16.68 € -27 % -
Dungeon Crawler Carl
11.65 € -28 % -
The Guy She Was Interested in Wasn't a Guy at All, Vol. 1
13.56 € -31 % -
Ready for C1 Advanced 4th Edition
27.23 € -7 % -
Kid's Box New Generation Level 2 Activity Book with Digital Pack British English
10.74 € -9 % -
Restitution
9.84 € -27 %
O tomto obchode
Nákupný poradca
Prehľady
Knihy podľa jazyka
Osobný odber Bratislava a 13505 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
25 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)