Общая информация
Общие сведения
Новости
Направления деятельности
Историческая справка
Схема проезда
Подразделения
Персональный состав
Поиск атрибутный
Организаций
Персон
Структура учреждений РАН
Федеральное государственное бюджетное учреждение науки Институт проблем проектирования в микроэлектронике Российской академии наук
Отдел проблем автоматизации проектирования
Сектор автоматизации функционально-логического проектирования
Методы и алгоритмы оптимизации схем для САПР заказных
цифровых КМОП СБИС, концептуальное проектирование,
проектирование управляющих систем
Ключевые слова
системы автоматизации проектирования, теория графов,
концептуальное проектирование, проектирование
управляющих систем, формальная логика
Последние изменения: 20.02.2001
Поиск ресурсов
119991 Москва, Ленинский просп., 14
Телефон: (495) 938-0309 (Справ. бюро); Факс: (495) 954-3320 (Лен.пр.14), (495) 938-1844 (Лен.пр,32а)
На главную страницу
В начало страницы
©
РАН
2007