Code: 02981250
Decision Procedures
by 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 ... more
- Language:
English - Binding: Hardback
- Number of pages: 356
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2017
- More about this
45.15 €
RRP: 45.18 €
You save 0.03 €
In stock at our supplier
Shipping in 14 - 21 days
You might also like
-
Moonwalk: A Memoir
22.22 € -29 % -
A Conspiracy of Charming Monsters
14.88 € -14 % -
Unlearn Your Pain
18.19 € -29 % -
Adversary to the Villain
10.45 € -26 % -
Stalking the Wild Pendulum
12.16 € -32 % -
Barbie: Dreamscape
17.79 € -22 % -
Superman for All Seasons
14.98 € -28 % -
Creating a Forest Garden
20.31 € -32 % -
The Art of Manipulating Fabric
22.82 € -25 % -
Indestructibles: Hello, Farm!
5.72 € -18 % -
Naruto (3-in-1 Edition), Vol. 1
14.07 € -22 % -
Why Raeliana Ended Up at the Duke's Mansion, Vol. 1
20.61 € -
Six Scorched Roses
15.38 € -24 % -
Convoluted Universe: Book Five
15.08 € -25 % -
X-Men by Jed MacKay Vol. 4: Age of Revelation Aftermath
12.26 € -25 % -
Netter's Physiology Coloring Book
21.51 € -5 % -
Panzer Tracts No.16-1: Bergepanther
20.81 € -29 % -
Homo Ludens
11.66 € -
CompTIA CySA+ Certification Kit
78.14 € -25 % -
Thriving with ADHD Workbook for Kids: 60 Fun Activities to Help Children Self-Regulate, Focus, and Succeed
10.75 € -24 % -
Dark Sun
17.89 € -25 % -
Smart but Scattered Teens
15.08 € -25 % -
The Minimalist Photographer
16.58 € -27 % -
Pornland
16.08 € -23 % -
Basic and Clinical Pharmacology 16th Edition
76.53 € -
MiG-29: Russia's Legendary Air Superiority and Multirole Fighter, 1977 to the Present
32.78 € -26 % -
Earthsea
15.68 € -23 % -
CENTRAL EUROPEAN WARS 1918-21
14.77 € -19 % -
World of Warcraft: Book One
13.57 € -13 % -
High School Debut (3-in-1 Edition), Vol. 1
11.56 € -25 % -
Hilma af Klint
46.46 € -25 % -
Critical Role: The Mighty Nein Origins -- Mollymauk Tealeaf
14.47 € -23 % -
Last Exit to Brooklyn
9.95 € -34 % -
Anatomy for Artists: Drawing Form & Pose (TBC)
36.30 € -24 % -
William Shakespeare: Famous Loving Words
9.65 € -25 % -
Creativity
8.94 € -20 % -
8 Keys to Recovery from an Eating Disorder
29.56 € -5 % -
Co-Regulation Handbook
8.04 € -25 % -
National Geographic The Old West
36.20 € -25 % -
Human Body Book
21.92 € -43 % -
The New York Times Mini Crosswords, Volume 2: 150 Easy Fun-Sized Puzzles
9.44 € -25 % -
Tanned Leather Hand-Made Bags: Ultimate Techniques
18.60 € -25 % -
Anthony Bourdain's Hungry Ghosts
15.08 € -25 % -
National Socialism - Its Principles and Philosophy
23.12 € -
Psychopathology of the Situation in Gestalt Therapy
45.85 € -
The Solution Focused Brief Therapy Diamond: A New Approach to Sfbt That Will Empower Both Practitioner and Client to Achieve the Best Outcomes
13.97 € -32 % -
Kuniyoshi
117.06 € -9 % -
Mini Thai Dictionary
6.23 € -21 % -
What is to be done?
12.26 € -25 % -
Real Life Global Elementary Test Book & Test Audio CD Pack
12.16 € -
ketoCONTINUUM Consistently Keto For Life
22.12 € -25 % -
Catcher in the Rye
9.34 € -34 % -
Hero of Ages
9.24 € -30 % -
Assassin & Cinderella 03
10.15 € -25 % -
Remote Team Interactions Workbook
11.25 € -25 % -
Eat Right 4 Your Type
22.82 € -25 % -
Fushigi Y?gi: Byakko Senki, Vol. 2
9.44 € -25 % -
The Complete Guide to Flags of the World, 4th Edition
13.87 € -24 % -
Fundamentals of Transfer Pricing
174.09 € -
Big Purple Book of Beginner Books
12.96 € -29 % -
Quiet Your Mind and Get to Sleep
19.30 € -25 % -
Family Force V
12.96 € -25 % -
Criminal Law: The Basics
30.26 € -9 % -
Microeconomic Theory
178.61 € -
The Queue
15.48 € -23 % -
Large Language Models
14.37 € -24 % -
Design Thinking Methodology Book
9.75 € -6 % -
Stranger Things Tarot Deck and Guidebook
20.71 € -25 % -
Aromatherapy for Health Professionals Revised Reprint
55.51 € -5 % -
Beginner's Guide To Procreate: Characters
26.34 € -25 % -
![Dorfromantik - Das Brettspiel: Wetterau [Mini-Erweiterung]](https://media.libris.to/jacket/46304554t.jpg "Dorfromantik - Das Brettspiel: Wetterau [Mini-Erweiterung]")
Dorfromantik - Das Brettspiel: Wetterau [Mini-Erweiterung]
5.82 € -
How Women Rise
22.12 € -25 % -
Lost & Found: Based on a True Story
14.37 € -25 % -
Forgiveness and Letting Go in Emotion-Focused Therapy
65.46 € -4 % -
Sour Cherry
15.08 € -29 % -
Everything I Want to Eat
33.78 € -31 % -
Stress Less
12.66 € -4 % -
Toyota Talent (Pb)
32.68 € -17 % -
Architecting Data and Machine Learning Platforms
46.15 € -25 % -
Crossing the Chasm
20 € -25 % -
Suppose A Kid From The Last Dungeon Boonies Moved To A Starter Town 2 (manga)
9.14 € -26 % -
Hamilton by Lin-Manuel Miranda
14.67 € -25 % -
Lebanese Cuisine
26.34 € -24 % -
Gurdjieff and the Fourth Way
22.32 € -26 % -
Hole
11.56 € -25 % -
The City of Stardust
20.91 € -24 % -
Best Bondage Erotica Of The Year, Vol. 2
17.50 € -10 % -
Tibet Wild
48.06 € -5 % -
Understanding Psychology for Nursing Students
24.03 € -10 % -
Rites of Conquest
19.90 € -22 % -
All the little lights, 2 Audio-CD (Anniversary Edition, Deluxe Edition)
15.68 € -3 %
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Decision Procedures
You get 110 loyalty points
Book synopsis
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.§
Book details
Book category Books in English Computing & information technology Computer programming / software development Algorithms & data structures
45.15 €
- Full title: Decision Procedures
- Subtitle: An Algorithmic Point of View
- Author: Daniel Kroening, Ofer Strichman
- Language: English
- Binding: Hardback
- Number of pages: 356
- EAN: 9783662504963
- ISBN: 3662504960
- ID: 02981250
- Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Weight: 722 g
- Dimensions: 244 × 165 × 26 mm
- Date of publishing: 27. January 2017
Trending among others
-
Via Ferratas of the Italian Dolomites: Vol 2
22.82 € -22 % -
Algorithms
72.10 € -14 % -
Alpine Ski Mountaineering Vol 1 - Western Alps
25.23 € -
Quantum Computing for Developers
47.36 € -1 % -
Only in Budapest
16.79 € -
Mull and Iona
8.64 € -14 % -
Algorithms for Global Positioning
84.17 € -14 % -
Walks Moray and the Speyside Way
4.62 € -12 % -
Introduction to Data Compression
103.38 € -10 % -
Computer Science Distilled
23.63 € -2 % -
From Mathematics to Generic Programming
32.48 € -14 % -
Blue Guide Sicily
24.04 € -9 % -
Computer Graphics From Scratch
35.49 € -29 % -
Walking in the Alps
26.34 € -24 % -
Network Science
63.96 € -5 % -
Algorithmic Puzzles
51.69 € -
Chamonix Mountain Adventures
18.90 € -25 % -
Algorithms Unlocked
35.69 € -12 % -
Purely Functional Data Structures
64.46 € -
C++ Data Structures and Algorithms
46.96 € -2 % -
Oxford City Guide - English
8.14 € -25 % -
Logic of Categorial Grammars
71.70 € -7 % -
Introduction to Algorithms
63.86 € -
Walk in the Woods
8.04 € -25 % -
Deep Learning with PyTorch
57.62 € -10 % -
Trekking in the Alps
23.52 € -22 % -
West Highland Way
22.12 € -5 % -
Isle of Skye
8.14 € -19 % -
Mountains of Andorra
20.51 € -
Computer Science Distilled
30.87 € -1 % -
Corsica 85 walks walking guide
20.91 € -
Dive the Red Sea
18.50 € -9 % -
Walking on Samos
15.88 € -8 % -
MMIX Supplement
28.96 € -1 % -
Problem Solving with Algorithms and Data Structures Using Python
40.62 € -
Walking in Italy's Stelvio National Park
26.24 € -
Walking in the Caucasus, Georgia
17.09 € -7 % -
Manaslu
20.51 € -
Blue Guide Central Italy with Rome and Florence
25.33 € -9 % -
Probabilistic Data Structures and Algorithms for Big Data Applications
33.78 € -14 % -
Blue Guide Greece
30.87 € -2 % -
Blue Guide Greece
22.72 € -10 % -
Wild Swimming Italy
17.99 € -24 % -
Algorithms in a Nutshell, 2e
57.82 € -
Practical AI for Business Leaders, Product Managers, and Entrepreneurs
40.72 € -25 % -
Kackar
20.41 € -14 % -
Aragon Cataluna - Michelin Regional Map 574
7.43 € -15 % -
Wild
25.64 € -25 % -
Graph Algorithms
57.32 € -25 %
Shopping guide
Books by language
Collection points Bratislava a 13562 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
27128 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)