1. Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen
پدیدآورنده : von Paul Molitor, Christoph Scholl.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.
2. Equivalence checking of digital circuits :
پدیدآورنده : Paul Molitor and Janett Mohnke.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Digital electronics-- Testing.
رده :
TK7868
.
D5
M617
2004eb
3. Equivalence checking of digital circuits: fundamentals, principles, methods
پدیدآورنده : Molitor, Paul.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Digital electronics-- Testing
رده :
TK
7868
.
D5
.
M617
2004
