ISSN 0021-3454 (печатная версия)
ISSN 2500-0381 (онлайн версия)
Меню
Автор
int(1492)

Поляков Владимир Иванович

Место работы: Университет ИТМО, Санкт-Петербург, 197101, Российская Федерация
Должность: ординарный доцент
Ученая степень: кандидат технических наук, доцент
E-mail: v_i_polyakov@mail.ru
Немолочнов О. Ф., Зыков А. Г., Кулагин В. С., Осовецкий Л. Г., Поляков В. И., Суханов А. В. МЕТОД ОБНАРУЖЕНИЯ НЕДЕКЛАРИРОВАННЫХ ВОЗМОЖНОСТЕЙ И ЗНАЧЕНИЙ DON’T CARE ВЫЧИСЛИТЕЛЬНОГО ПРОЦЕССА
Статья опубликована в выпуске 12(52) за 2009
Поляков В. И., Скорубский В. И. ПРЕОБРАЗОВАНИЕ МОДЕЛЕЙ АЛГОРИТМОВ
Статья опубликована в выпуске 10(55) за 2012
Поляков В. И., Скорубский В. И. ИСПОЛЬЗОВАНИЕ МНОГОЗНАЧНОЙ ЛОГИКИ ПРИ ПРОЕКТИРОВАНИИ ФУНКЦИОНАЛЬНЫХ СХЕМ
Статья опубликована в выпуске 4(57) за 2014
Кормилицын А. Ю., Поляков В. И. МЕТОДЫ И СРЕДСТВА МОНИТОРИНГА ДЫХАНИЯ
Статья опубликована в выпуске 4(57) за 2014
Гедич А. А., Зыков А. Г., Лаздин А. В., Поляков В. И. ПОИСК ПРОЦЕДУР ПО ГРАФУ ПЕРЕХОДОВ ФУНКЦИОНАЛЬНОЙ ПРОГРАММЫ ПРИ ВЕРИФИКАЦИИ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ
Статья опубликована в выпуске 4(57) за 2014
Поляков В. И., Скорубский В. И., Экало Ю. В. ПРИМЕНЕНИЕ ФАКТОРИАЛЬНОЙ СИСТЕМЫ ДЛЯ РЕШЕНИЯ КОМБИНАТОРНЫХ ЗАДАЧ
Статья опубликована в выпуске 6(58) за 2015
Коробейников А. Г., Федосовский М. Е., Гришенцев А. Ю., Поляков В. И. МЕТОД ИНФОЛОГИЧЕСКОГО МОДЕЛИРОВАНИЯ В ИНЖЕНЕРИИ ЗНАНИЙ ДЛЯ РЕШЕНИЯ ЗАДАЧ АВТОМАТИЗИРОВАННОГО ПРОЕКТИРОВАНИЯ
Статья опубликована в выпуске 10(60) за 2017
Поляков В. И., Зиннатулин Ф. Ф. ВЕРИФИКАЦИЯ ВЫЧИСЛИТЕЛЬНОГО ПРОЦЕССА ИНФОРМАЦИОННОЙ СИСТЕМЫ
Статья опубликована в выпуске 8(65) за 2022
Поляков В. И., Зиннатулин Ф. Ф. МОДЕЛИ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ ИНФОРМАЦИОННОЙ СИСТЕМЫ
Статья опубликована в выпуске 3(66) за 2023