booktheque

Graphenbasierte Funktionsdarstellung

Rolf Drechsler, Bernd Becker · 1998

איפה לקנות

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

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

פרטי הספר

שנה
1998
שפה
German
סדרה
Leitfäden der Informatik
הוצאה
Vieweg+Teubner Verlag
מהדורות
1
ISBN
9783663014423

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

עוד של 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