22 records matched your query
01165cam a22003254a 4500 001 C5FC3E3A2B0A11DE9A033608A8D7520A 005 200904162346.0 008 050624s2005 ne a b 001 0 eng c 020 $a 9780387254531 020 $a 9780387254531 (hd.bd.) 020 $a 0387254536 (hd.bd.) 035 $a (OCoLC)60744503 040 $a OHX $c OHX $d SILO $d TXA $d ZCU $d IWA $d SILO 100 1 $a Ebendt, RuÌdiger. 245 1 $a Advanced BDD optimization / $c by RuÌdiger Ebendt, GoÌrschwin Fey and Rolf Drechsler. 246 3 $a Advanced binary decision diagram optimization 260 $a New York : $a New York : $b Springer, $c c2005. 300 $a x, 222 p. : $b ill. ; $c 25 cm. 504 $a Includes bibliographical references (p. [213]-220) and index. 650 0 $a Decision making $x Mathematical models. 650 0 $a Decision Trees. 650 0 $a Logic design $x Mathematics. 650 0 $a Algebra, Boolean. 700 1 $a Fey, GoÌrschwin. 700 1 $a Drechsler, Rolf. 939 $a 5502948 941 $a 1 952 $l USUX851 $d 20160823050702.0 956 $a http://locator.silo.lib.ia.us/search.cgi?index_0=id&term_0=C5FC3E3A2B0A11DE9A033608A8D7520A 994 $a 02 $b IWAInitiate Another SILO Locator Search