000 00621nam a2200193Ia 4500
008 161214s9999 xx 000 0 und d
020 _a9780792396529
_c(hbk)
082 _223
_a621.3815
_bMIN
100 _aMinato, Shin-ichi
245 0 _aBinary Decision Diagrams and Applications for VLSI CAD
260 _aLondon:
_bKluwer Academic Publishers,
_c1996
300 _a141 p.;
_bIllus. Index:
_c24 cm.
650 _aApplications for VLSI CAD
650 _aCommunication Systems
650 _aLogic Synthesis using ZBDDS
650 _aMulti-Valued Functions
650 _aTechniques of BDD Manipulation
942 _2ddc
_cBK
999 _c18839
_d18839