£92.66

About as cheap as it gets — within 5% of the all-time low it hit 1 month ago.

£93 today · all-time low £92 (Oct 2026) · usually £93

Springer Polynomial Formal Verification of Approximate Functions (BestMasters)

View at Amazon

Price History & Forecast

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

Last 72 days · 72 data points (no recent data)

Historical
Generating forecast…
£95.73 £92.09 £92.88 £93.68 £94.47 £95.27 £96.06 11 August 2026 28 August 2026 15 September 2026 03 October 2026 21 October 2026
View at Amazon ↗

Price data last checked 19 day(s) ago - will refresh soon

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 Distribution

Price distribution over 72 days • 4 price levels

Days at Price
Current Price
11 days · current 31 days 16 days 14 days 0 8 16 23 31 £92 £93 £94 £96 Days at Price

Price Analysis

Most common price: £93 (31 days, 43.1%)

Price range: £92 - £96

Price levels: 4 different prices over 72 days

Description

During the development of digital circuits, their functional correctness has to be ensured, for which formal verification methods have been established. However, the verification process using formal methods can have an exponential time or space complexity, causing the verification to fail. While exponential in general, recently it has been proven that the verification complexity of several circuits is polynomially bounded. Martha Schnieber proves the polynomial verifiability of several approximate circuits, which are beneficial in error-tolerant applications, where the circuit approximates the exact function in some cases, while having a lower delay or being more area-efficient. Here, upper bounds for the BDD size and the time and space complexity are provided for the verification of general approximate functions and several state-of-the-art approximate adders.

Product Specifications

Barcode

No barcode data available

Similar Products You Might Like

Vector Variational Inequalities and Vector Optimization: Theory and Applications
87% match

Vector Variational Inequalities and Vector Optimization: Theory and Applications

Springer

£114.66 21 Oct 2026
Functional Metagenomics: Tools and Applications
86% match

Functional Metagenomics: Tools and Applications

Springer

£84.52 05 Nov 2026
Multiscale, Nonlinear and Adaptive Approximation II
86% match

Multiscale, Nonlinear and Adaptive Approximation II

Springer

£131.12 03 Sep 2026
Flexible Nonparametric Curve Estimation
86% match

Flexible Nonparametric Curve Estimation

Springer

£141.13 20 Oct 2026
Weakest Bound Electron Theory and Applications
86% match

Weakest Bound Electron Theory and Applications

Springer

£135.12 25 Oct 2026
Fault Estimation for Network Systems via Intermediate Estimator
86% match

Fault Estimation for Network Systems via Intermediate Estimator

Springer

£92.22 27 Oct 2026
Two-Dimensional Constant and Product Polynomial Systems
86% match

Two-Dimensional Constant and Product Polynomial Systems

Springer

£149.97 23 Oct 2026
Analytic Combinatorics for Multiple Object Tracking
86% match

Analytic Combinatorics for Multiple Object Tracking

Springer

£92.22 27 Oct 2026
Molecular Science of Fluctuations Toward Biological Functions
86% match

Molecular Science of Fluctuations Toward Biological Functions

Springer

£76.42 21 Oct 2026
Approximation Theory, Sequence Spaces and Applications (Industrial and Applied Mathematics)
86% match

Approximation Theory, Sequence Spaces and Applications (Industrial and Applied Mathematics)

Springer

£92.22 31 Oct 2026
Advanced Statistical Methods
86% match

Advanced Statistical Methods

Springer

£67.88 23 Oct 2026
Mathematical Foundation of the Boundary Integro-Differential Equation Method
86% match

Mathematical Foundation of the Boundary Integro-Differential Equation Method

Springer

£93.30 22 Oct 2026
Foundations of Soft Logic
86% match

Foundations of Soft Logic

Springer

£120.48 21 Oct 2026
Conceptual Modeling Perspectives
86% match

Conceptual Modeling Perspectives

Springer

£73.85 24 Oct 2026
Fundamentals of Queueing-Game Models
86% match

Fundamentals of Queueing-Game Models

Springer

£134.99 22 Oct 2026
Advances in Metric Fixed Point Theory and Applications
86% match

Advances in Metric Fixed Point Theory and Applications

Springer

£93.36 22 Oct 2026
Functional Soft Matter II: Analytical Methods and Topics
86% match

Functional Soft Matter II: Analytical Methods and Topics

Springer

£60.77 21 Oct 2026
Combinatorial Set Theory of C*-Algebras (Springer Monographs in Mathematics)
86% match

Combinatorial Set Theory of C*-Algebras (Springer Monographs in Mathematics)

Springer

£147.12 22 Oct 2026
Foundations of Biostatistics
86% match

Foundations of Biostatistics

Springer

£62.91 24 Oct 2026
Mathematics of Particle-Wave Mechanical Systems
86% match

Mathematics of Particle-Wave Mechanical Systems

Springer

£92.22 24 Oct 2026
Multi-Level Bayesian Models for Environment Perception
86% match

Multi-Level Bayesian Models for Environment Perception

Springer

£92.22 21 Oct 2026
Fredholm Theory in Topological Vector Spaces (Springer Monographs in Mathematics)
85% match

Fredholm Theory in Topological Vector Spaces (Springer Monographs in Mathematics)

Springer

£114.90 20 Oct 2026
Bayesian Compendium
85% match

Bayesian Compendium

Springer

£69.99 20 Oct 2026
A Mastery Approach to Complex Esophageal Diseases
85% match

A Mastery Approach to Complex Esophageal Diseases

Springer

£65.61 21 Oct 2026