TY  - BOOK
A1  - / by Rudiger Ebendt, Gorschwin Fey and Rolf Drechsler., Ebendt, Rudiger.
TI  - Advanced BDD optimization
PB  - كتابخانه پردیس علوم (دانشگاه تهران)
SN  - 101002936
UR  /book/101002936/Advanced-BDD-optimization/
ER  -