Разработка логических методов и инструментальных средств верификации офисных процедур
Матюнина, Ольга Евгеньевна, 1995, кандидатская диссертация
Москва
117 стр.
Другие работы по этой специальности
- Разработка теории и основных принципов принятия решений в САПР на основе методов, инспирированных природными системами
Сороколетов, Павел Валерьевич · Докт. наук · Южный федеральный университет
- Разработка методики расширенного поверочного расчета в САПР силовых трансформаторов на базе имитационных моделей
Снитько, Ирина Сергеевна · 2022 · Канд. наук · ФГБОУ ВО «Ивановский государственный энергетический университет имени В.И. Ленина»
- Методы и средства разработки специализированных гетерогенных конфигурируемых интегральных схем для вычислительной техники и систем управления
Эннс, Виктор Иванович · 2022 · Докт. наук · ФГБУН Институт проблем проектирования в микроэлектронике Российской академии наук
- Автоматизация исследовательского проектирования цепей с мемристивными элементами
Островский, Валерий Юрьевич · 2022 · Канд. наук · ФГАОУ ВО «Санкт-Петербургский государственный электротехнический университет «ЛЭТИ» им. В.И. Ульянова (Ленина)»
- Исследование и разработка моделей и алгоритмов автоматизации технологической подготовки авиастроительного производства на основе энтропийных временных рядов
Эгов, Евгений Николаевич · 2022 · Канд. наук · ФГБОУ ВО «Ульяновский государственный технический университет»