£37.58

Springer Decision Procedures - Algorithmic Computer Science Book

Name: Springer Decision Procedures - Algorithmic Computer Science Book
Brand: Springer
Price: 37.58 GBP
Availability: InStock

Architecture & Microprocessors

Got more expensive overnight. Up £3 in a week — the last 3 spikes settled within a month.

£38 today · was £35 last week · 30-day average £34

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 90 days · 90 data points

Historical

Generating forecast…

Price Distribution

Price distribution over 90 days • 5 price ranges

Days at Price

Current Price

Price Analysis

Most common range: £36-38 (35 days, 38.9%)

Price range: £28 - £38

Price levels: 5 price ranges over 90 days

Description

Master the fundamentals of algorithmic decision procedures with this specialized text from Springer. This book focuses on theories that are expressive enough to model real-world problems while remaining decidable. It provides a deep look into first-order theories used in critical technical areas such as automated verification, theorem-proving, and compiler optimization. By drawing from logic and graph theory, the authors present techniques that are used routinely in modern industry. This resource is designed to help readers understand the basic terminology and the mathematical frameworks required for operations research and automated reasoning. Whether you are working in computer science architecture or software verification, this text offers the algorithmic perspective needed to solve complex decision problems with correct yes/no answers.

Key Features

Focuses on decidable first-order theories used for modeling real-world problems.

Covers essential applications in automated verification, reasoning, and theorem-proving.

Provides technical insights for compiler optimization and operations research.

Integrates methods from graph theory and logic used in industrial settings.

Introduces foundational terminology for students and professionals in computer science.

Explores algorithmic approaches to solving complex decision problems.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3662570653
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 13 July 2018
Listed Since: 13 July 2018

Barcode

No barcode data available

Springer Decision Procedures - Algorithmic Computer Science Book

Got more expensive overnight. Up £3 in a week — the last 3 spikes settled within a month.

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

SAT 2005: Satisfiability Research in the Year 2005

SAT 2005: Satisfiability Research - Springer AI Computing

Logic Programming and Nonmonotonic Reasoning: 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings: 13416 (Lecture Notes in Computer Science, 13416)

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Mathematical Aspects of Logic Programming Semantics: 6 (Chapman & Hall/CRC Studies in Informatics Series)

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

The Classical Decision Problem - Mathematical Logic Universitext

Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, ... (Lecture Notes in Computer Science, 6397)

Theory and Applications of Satisfiability Testing – SAT 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings: 12831 (Lecture Notes in Computer Science, 12831)

Semantical Investigations in Heyting's Intuitionistic Logic: 148 (Synthese Library, 148)

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Logic for Applications (Texts in Computer Science)

Logic for Computer Science and Artificial Intelligence

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II: 12167 (Lecture Notes in Computer Science, 12167)

Modal Semirings and Applications (Trends in Logic, 72)

Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 (Logic in Asia: Studia Logica Library)

Fragments of First-Order Logic - Oxford Logic Guides

The Implementation of Prolog (Princeton Series in Computer Science)

Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I: 12166 (Lecture Notes in Computer Science, 12166)

Semantical Investigations in Heyting's Intuitionistic Logic