We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£129.99
It has never been this cheap. We have no record of a lower price.
£130 today · cheaper than every other day in the last 3 months
Springer Advanced BDD Optimization - Springer Computer Science Book
We'll watch every seller, every day. One email when your price arrives.
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 73 days · 73 data points (no recent data)
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
when this has been cheap or pricey
where the price is heading next
all-time high & low, recent range
name your number, we'll email you
Price Distribution
Price distribution over 73 days • 1 price levels
Price Analysis
Most common price: £130 (73 days, 100.0%)
Price range: £130 - £130
Price levels: 1 different prices over 73 days
Description
Key Features
Springer publication offering in-depth coverage of Binary Decision Diagram theory and advanced optimization techniques for VLSI CAD applications.
Explores practical BDD implementations for logic synthesis, circuit verification, and design-for-testability across modern computing architectures.
Examines the integration of BDD and Boolean Satisfiability (SAT) concepts, reflecting the latest research trends in computer science.
Covers design space exploration methods using optimized BDDs with contemporary objective functions for improved circuit design.
Serves as a foundational resource for researchers and professionals in AI, machine learning, and computer-aided design.
Product Specifications
- Brand
- Springer
- Format
- hardcover
- ASIN
- 0387254536
- Domain
- Amazon UK
- Release Date
- 23 August 2005
- Listed Since
- 04 January 2007
Barcode
No barcode data available
Similar Products You Might Like
Advanced BDD Optimization - VLSI CAD Design Techniques
Springer
Binary Decision Diagrams and Applications for VLSI CAD
Springer
Springer - Advanced Techniques in Logic Synthesis Book
Springer
Binary Decision Diagrams: Theory and Implementation - Springer
Springer
Decision Diagram Techniques for Micro- and Nanoelectronic Design Handbook
CRC Press
Test Pattern Generation using Boolean Proof Engines
Springer
Reasoning in Boolean Networks - Logic Synthesis Verification
Springer
Computation Engineering: Applied Automata Theory and Logic
Springer
Boolean Circuit Rewiring: Bridging Logical and Physical Designs
Wiley
Decision Diagram Techniques for Micro- and Nanoelectronic Design Handbook
CRC Press
CAD of Circuits and Integrated Systems - Wiley Engineering
Wiley
Advanced Symbolic Analysis for VLSI Systems - Springer
Springer
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings: 9706 (Lecture Notes in Computer Science, 9706)
Springer
Logic Design of NanoICS (Nano- and Microscience, Engineering, Technology and Medicine)
CRC Press
Technology Mapping for LUT-Based FPGA: 713 (Lecture Notes in Electrical Engineering, 713)
Springer
Handbook of Algorithms for Physical Design Automation
CRC Press
Logic Programming and Nonmonotonic Reasoning: 16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings: 13416 (Lecture Notes in Computer Science, 13416)
Springer
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II: 12167 (Lecture Notes in Computer Science, 12167)
Springer
Automatic Programming Applied to VLSI CAD Software - Springer
Springer
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I: 12166 (Lecture Notes in Computer Science, 12166)
Springer
Boolean Reasoning: The Logic of Boolean Equations - Springer
Springer
Open Source TCAD/EDA for Compact Modeling: 59 (Springer Series in Advanced Microelectronics, 59)
Springer
VLSI-SoC: Research Trends in VLSI and Systems on Chip: Fourteenth International Conference on Very Large Scale Integration of System on Chip ... and Communication Technology, 249)
Springer
Assertion-Based Design
Springer