We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£129.99
Springer Advanced BDD Optimization - VLSI CAD Computer Science
Price data last checked 44 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
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
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 History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 47 days • 47 data points (No recent data available)
Price Distribution
Price distribution over 47 days • 1 price levels
Price Analysis
Most common price: £130 (47 days, 100.0%)
Price range: £130 - £130
Price levels: 1 different prices over 47 days
Description
Key Features
Covers modern BDD optimization techniques used to improve design space exploration through new objective functions.
Provides a detailed look at the fusion of BDD and SAT concepts for advanced problem solving.
Explains the application of BDDs and clausal representation in logic synthesis and verification processes.
Discusses practical uses in design-for-testability within the VLSI CAD field.
Offers a modern presentation of both established mathematical concepts and recent research results.
Serves as a technical resource for computer science professionals focusing on AI and machine learning applications.
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
Springer Advanced BDD Optimization - VLSI CAD Engineering Book
Springer
Springer Binary Decision Diagrams and Applications for VLSI CAD
Springer
Springer - Advanced Techniques in Logic Synthesis Book
Springer
Springer - Binary Decision Diagrams: Theory and Implementation
Springer
Decision Diagram Techniques for Micro- and Nanoelectronic Design Handbook
CRC Press
Test Pattern Generation using Boolean Proof Engines
Springer
Springer Reasoning in Boolean Networks - Logic Synthesis Book
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
Wiley CAD of Circuits and Integrated Systems - Engineering Book
Wiley
Springer Advanced Symbolic Analysis for VLSI Systems Book
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
Springer Automatic Programming Applied to VLSI CAD Software
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
Springer - Boolean Reasoning: The Logic of Boolean Equations
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