Полное описание
>
Ebendt, R. Advanced BDD optimization / R. Ebendt, R. Drechsler, G. Fey. - Electronic text data. - Boston, Ma : Springer, 2005. - URL: http://dx.doi.org/10.1007/b107399. - ISBN 978-0-387-25454-8.
ГРНТИ | УДК | |
27.47.19 | 519.85 |
Рубрики:
Оптимизация
Доп. точки доступа:
Drechsler, R.
Fey, G.
SpringerLink (Online service)
>
http://dx.doi.org/10.1007/b107399
Просмотр издания