00402nam a2200157Ia 4500003000400000005001700004008004100021020001800062040000600080041001200086082002200098100005400120245003000174260002900204300001100233OSt20250208111513.0231217s9999    xx            000 0 und d  a9780387254531  c0  aEnglish  a519.542  EBE;1  R  aEbendt, Rudiger. Fey, Gorschwin. Drechsler, Rolf. 0aAdvanced BDD Optimization  c2005bSpringeraNew York  ax, 222