000 | 00591pam a2200193a 44500 | ||
---|---|---|---|
008 | 160408b2005 xxu||||| |||| 00| 0 eng d | ||
020 | _a9780387254531 | ||
040 | _aP K Kelkar Library, IIT Kanpur | ||
082 |
_a511.8 _bEb34a |
||
100 | _aEbendt, Rudiger | ||
245 | 0 |
_aAdvanced BDD optimization _cRudiger Ebendt, Gorschwin Fey and Rolf Drechsler |
|
260 |
_aDordrecht _bSpringer _c2005 |
||
300 | _avii, 222p | ||
650 | _aDecision making -- Mathematical models | ||
650 | _aDecision trees | ||
650 | _aLogic design | ||
700 | _aFey, Gorschwin | ||
997 | _aA174830 C | ||
999 |
_c371499 _d371499 |