Электронные ресурсы

Базы данных


Статьи из журналов: 2001-2014 - результаты поиска

Вид поиска
Электронный каталог
Статьи из журналов: 2001-2014
Труды ОмГУ
История ОмГУ
Сводный каталог периодических изданий вузовских библиотек г.Омска
Область поиска
в найденном
 Найдено в других БД:Электронный каталог (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>A=Малюгин, В. Д.$<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.
621.398
М 218

    Малюгин, В. Д. (д-р техн. наук).
    Синтез и верификация логических моделей [Текст] [Текст] / В. Д. Малюгин // Автоматика и телемеханика. - 2004. - N 6. - Библиогр.: с. 187 (8 назв. ) . - ISSN 0005-2310
УДК
621.398
ББК 32.96
Рубрики: Радиоэлектроника--Автоматика и телемеханика
Кл.слова (ненормированные):
арифметические полиномы -- логические модели -- верификация логических моделей
Аннотация: Рассматриваются методы проверки правильности реализации арифметических полиномов и обобщенных логических форм. Предложены методы проверки, при которых сложность проверки пропорциональна сложности исходного полинома.


Найти похожие
2.
621.398
Я 657

    Янушкевич, С.
    [Рецензия] [Текст] / С. Янушкевич // Автоматика и телемеханика. - 2005. - N 4. - Рец. на кн: Stankovic Radomir S. and Astola Jaakko T. Spectral Interpretation of Decision Diagrams.- Springer, 2003 . - ISSN 0005-2310
УДК
621.398
ББК 32.96
Рубрики: Радиоэлектроника--Автоматика и телемеханика
Кл.слова (ненормированные):
техника спектральных преобразований -- рецензии -- анализ Фурье -- спектральные преобразования -- Фурье анализ на группах


Доп.точки доступа:
Шмерко, В.; Малюгин, В. Д.; Stankovic, Radomir S.; Astola, Jaakko T.

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)