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

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

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

Rolf Drechsler, Bernd Becker · 2012

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה: 2012
הוצאה: Vieweg+Teubner Verlag
מהדורות: 1
עמודים: 200
ISBN: 9783519021490

מקור הנתונים: Wikidata

עוד של Rolf Drechsler

Towards One-Pass SynthesisRolf Drechsler

Towards One-Pass Synthesis

Rolf Drechsler · 2002

Formal Verification of CircuitsRolf Drechsler

Formal Verification of Circuits

Rolf Drechsler · 2000

Binary Decision DiagramsRolf Drechsler

Binary Decision Diagrams

Rolf Drechsler · 1998

Evolutionary Algorithms for VLSI CADRolf Drechsler

Evolutionary Algorithms for VLSI CAD

Rolf Drechsler · 1998

Advanced Boolean TechniquesRolf Drechsler

Advanced Boolean Techniques

Rolf Drechsler · 2023

Formal System VerificationRolf Drechsler

Formal System Verification

Rolf Drechsler · 2017

Formal Modeling and Verification of Cyber-Physical SystemsRolf Drechsler

Formal Modeling and Verification of Cyber-Physical Systems

Rolf Drechsler · 2015

Test pattern generation using Boolean proof enginesRolf Drechsler

Test pattern generation using Boolean proof engines

Rolf Drechsler · 2009

Advanced Formal VerificationRolf Drechsler

Advanced Formal Verification

Rolf Drechsler · 2004

Evolutionary Algorithms for Embedded System DesignRolf Drechsler

Evolutionary Algorithms for Embedded System Design

Rolf Drechsler · 2003