£107.43

Springer Reasoning in Boolean Networks - Logic Synthesis Book

Price data last checked 50 day(s) ago - refreshing...

View at Amazon

Price History & Forecast

Last 41 days • 41 data points (No recent data available)

Historical
Generating forecast...
£107.43 £106.48 £106.69 £106.90 £107.10 £107.31 £107.52 26 January 2026 05 February 2026 15 February 2026 25 February 2026 07 March 2026

Price Distribution

Price distribution over 41 days • 2 price levels

Days at Price
Current Price
15 days 26 days · current 0 7 13 20 26 £107 £107 Days at Price

Price Analysis

Most common price: £107 (26 days, 63.4%)

Price range: £107 - £107

Price levels: 2 different prices over 41 days

Description

Reasoning in Boolean Networks offers an in-depth look at recent research advances in algorithmic techniques for digital circuits. This volume from the Frontiers in Electronic Testing series provides a detailed treatment of logic synthesis, test generation, and formal verification. While Boolean reasoning has been a staple of two-level circuit theory for decades, this book introduces a basic reasoning methodology specifically for multi-level circuits. By approaching design automation problems through specific Boolean reasoning techniques, the text provides a unified view of both two-level and multi-level circuit structures. It is a technical resource for those studying the evolution of logic-level circuit automation and advanced testing methodologies.

Key Features

Covers recent research advances in algorithmic techniques for logic synthesis and formal verification of digital circuits.

Provides a detailed treatment of test generation methods used in electronic testing.

Introduces a basic reasoning methodology designed for multi-level circuits.

Offers a unified view of both two-level and multi-level circuit theory.

Part of the Frontiers in Electronic Testing series (Volume 9) published by Springer.

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
07 December 2010
Listed Since
01 October 2010

Barcode

No barcode data available

Similar Products You Might Like

Logic Synthesis and Verification Algorithms
93% match

Logic Synthesis and Verification Algorithms

Springer

£62.45 10 Feb 2026
Boolean Circuit Rewiring: Bridging Logical and Physical Designs
93% match

Boolean Circuit Rewiring: Bridging Logical and Physical Designs

Wiley

£75.06 05 Mar 2026
Springer - Advanced Techniques in Logic Synthesis Book
93% match

Springer - Advanced Techniques in Logic Synthesis Book

Springer

£111.36 09 Mar 2026
Scalable Hardware Verification with Symbolic Simulation
93% match

Scalable Hardware Verification with Symbolic Simulation

Springer

£57.40 23 Feb 2026
Wiley Digital Logic Testing and Simulation - Engineering Book
92% match

Wiley Digital Logic Testing and Simulation - Engineering Book

Wiley

£97.75 13 Apr 2026
Logic Synthesis for Genetic Diseases: Modeling Disease Behavior Using Boolean Networks
92% match

Logic Synthesis for Genetic Diseases: Modeling Disease Behavior Using Boolean Networks

Springer

£75.10 01 Mar 2026
Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis: 270 (The Springer International Series in Engineering and Computer Science, 270)
92% match

Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis: 270 (The Springer International Series in Engineering and Computer Science, 270)

Springer

£83.05 08 Mar 2026
Design of Logic Systems
92% match

Design of Logic Systems

Springer

£44.99 07 Mar 2026
Computation Engineering: Applied Automata Theory and Logic
92% match

Computation Engineering: Applied Automata Theory and Logic

Springer

£28.99 25 Feb 2026
Introduction to Logic Design
92% match

Introduction to Logic Design

CRC Press

£22.13 09 Dec 2025
Boolean Functions: With Engineering Applications and Computer Programs
92% match

Boolean Functions: With Engineering Applications and Computer Programs

Springer

£80.65 09 Mar 2026
Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems
92% match

Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems

Springer

£75.84 29 Mar 2026
Digital Logic Techniques: Principles and practice Third edition (Tutorial Guides in Electronic Engineering)
92% match

Digital Logic Techniques: Principles and practice Third edition (Tutorial Guides in Electronic Engineering)

CRC Press

£174.29 12 Feb 2026
Digital Logic Techniques: Principles and practice Third edition (Tutorial Guides in Electronic Engineering)
92% match

Digital Logic Techniques: Principles and practice Third edition (Tutorial Guides in Electronic Engineering)

CRC Press

£65.88 11 Jan 2026
From Boolean Logic to Switching Circuits and Automata: Towards Modern Information Technology: 335 (Studies in Computational Intelligence, 335)
92% match

From Boolean Logic to Switching Circuits and Automata: Towards Modern Information Technology: 335 (Studies in Computational Intelligence, 335)

Springer

£128.30 13 Apr 2026
An Artificial Intelligence Approach to VLSI Routing: 9 (The Springer International Series in Engineering and Computer Science, 9)
92% match

An Artificial Intelligence Approach to VLSI Routing: 9 (The Springer International Series in Engineering and Computer Science, 9)

Springer

£75.01 09 Mar 2026
Essentials of Electronic Testing for Digital, Memory and Mixed-Signal VLSI Circuits: 17 (Frontiers in Electronic Testing, 17)
92% match

Essentials of Electronic Testing for Digital, Memory and Mixed-Signal VLSI Circuits: 17 (Frontiers in Electronic Testing, 17)

Springer

£100.79 28 Feb 2026
Essentials of Electronic Testing for Digital, Memory and Mixed-Signal VLSI Circuits: 17 (Frontiers in Electronic Testing, 17)
92% match

Essentials of Electronic Testing for Digital, Memory and Mixed-Signal VLSI Circuits: 17 (Frontiers in Electronic Testing, 17)

Springer

£92.82 31 Jan 2026
Boolean Functions: Theory, Fundamentals & Engineering Applications (Mathematics Research Developments)
92% match

Boolean Functions: Theory, Fundamentals & Engineering Applications (Mathematics Research Developments)

£104.99 09 Mar 2026
Technology Mapping for LUT-Based FPGA: 713 (Lecture Notes in Electrical Engineering, 713)
92% match

Technology Mapping for LUT-Based FPGA: 713 (Lecture Notes in Electrical Engineering, 713)

Springer

£76.14 08 Apr 2026
Algorithms For Analysis, Inference, And Control Of Boolean Networks
92% match

Algorithms For Analysis, Inference, And Control Of Boolean Networks

Scientific Publishing

£54.48 11 Mar 2026
Design Systems for VLSI Circuits: Logic Synthesis and Silicon Compilation: 136 (NATO Science Series E:, 136)
92% match

Design Systems for VLSI Circuits: Logic Synthesis and Silicon Compilation: 136 (NATO Science Series E:, 136)

Springer

£160.63 10 Mar 2026
Introduction to Logic Circuits & Logic Design with Verilog
92% match

Introduction to Logic Circuits & Logic Design with Verilog

£57.01 13 Jan 2026
Digital System Test and Testable Design: Using HDL Models and Architectures
92% match

Digital System Test and Testable Design: Using HDL Models and Architectures

Springer

£99.99 01 Mar 2026