000 01035nam a2200289 a 4500
001 vtls000022168
003 KUKTEM
005 20251117144420.0
008 071109s2005 ne f 001 0 eng|d
020 _a0387254536
020 _a9780387254531
039 9 _a201107131938
_bVLOAD
_c200908141348
_dVLOAD
_c200908141320
_dVLOAD
_c200908131722
_dVLOAD
_y200711091524
_zkam
040 _aUMP
090 _aT57.95 .E24 2005
100 1 _aEbendt, Rudiger
245 1 0 _aAdvanced BDD optimization /
_cby Rudiger Ebendt, Gorschwin Fey and Rolf Drechsler
260 _aDordrecht :
_bSpringer,
_c2005
300 _a222 p. :
_bill. ;
_c25 cm.
650 0 _aDecision making
_xMathematical models
650 0 _aLogic design
_xMathematics
650 0 _aDecision trees
650 0 _aAlgebra, Boolean
700 1 _aFey, Gorschwin
700 1 _aDrechsler, Rolf
856 4 2 _ahttp://www.loc.gov/catdir/toc/fy0612/2006274978.html
999 _aVIRTUA40
_c35853
_d35859
999 _aVTLSSORT0080*0200*0201*0400*0900*1000*2450*2600*3000*6500*6501*6502*6503*7000*7001*8560*9991