booktheque

Graphenbasierte Funktionsdarstellung: Boolesche und Pseudo-Boolesche Funktionen (XLeitfäden der Informatik) (German Edition)

Rolf Drechsler, Bernd Becker · 2012

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year
2012
Publisher
Vieweg+Teubner Verlag
Editions
1
Pages
200
ISBN
9783519021490

Data source: Wikidata

More by Rolf Drechsler

Towards One-Pass Synthesis
Rolf Drechsler · 2002
Formal Verification of Circuits
Rolf Drechsler · 2000
Binary Decision Diagrams
Rolf Drechsler · 1998
Evolutionary Algorithms for VLSI CAD
Rolf Drechsler · 1998
Advanced Boolean Techniques
Rolf Drechsler · 2023
Formal System Verification
Rolf Drechsler · 2017
Formal Modeling and Verification of Cyber-Physical Systems
Rolf Drechsler · 2015
Test pattern generation using Boolean proof engines
Rolf Drechsler · 2009
Advanced Formal Verification
Rolf Drechsler · 2004
Evolutionary Algorithms for Embedded System Design
Rolf Drechsler · 2003