Полное описание
> Ebendt, R. Advanced BDD optimization / R. Ebendt, R. Drechsler, G. Fey ; SpringerLink (Online service). - Boston, Ma : Springer, 2005. - on-line. - 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
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): 519.85/E14-443549)>
Шифр в сводном ЭК: ca3a013e8bb9b3abdd73aa0734c93407
Просмотр издания