00421nam a2200109Ia 4500008004100000020002200041041001200063100005400075245003000129260003200159650012000191231221s9999    xx            000 0 und d  a978-0-387-25454-8  aEnglish  aRüdiger Ebendt, Görschwin Fey, Rolf Drechsler 0aAdvanced BDD Optimization  c2005bSpringer USaNew York  aCircuits and Systems; Electrical Engineering; Engineering Design; Electronics and Microelectronics, Instrumentation