Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ЦЭМИ РАН
Главная
Поиск
Статистика
О проекте
Помощь
Труды IV Международной конференции "Дискретные модели в теории управляющих систем"
сборник
Год издания:
2000
Место издания:
МАКС-Пресс Москва
Добавил в систему:
Захаров Владимир Анатольевич
Статьи, опубликованные в сборнике
2000
О проблеме эквивалентности для схем программ с операторами засылки констант
Захаров В.А.
в сборнике
Труды IV Международной конференции "Дискретные модели в теории управляющих систем"
, место издания
МАКС-Пресс Москва
, с. 153-154
2000
О разрешимости проблемы эквивалентности в одном классе металинейных унарных рекурсивных программ
Захаров В.А.
, Соколова К.А.
в сборнике
Труды IV Международной конференции "Дискретные модели в теории управляющих систем"
, место издания
МАКС-Пресс Москва
, с. 29-31
2000
О числе независимых множеств в двудольных графах с большой степенью вершин
Сапоженко А.А.
в сборнике
Труды IV Международной конференции "Дискретные модели в теории управляющих систем"
, место издания
МАКС-Пресс Москва
, с. 116-119
2000
Общие методы построения разрешающих алгоритмов эквивалентности пропозициональных операторных программ
Захаров В.А.
в сборнике
Труды IV Международной конференции "Дискретные модели в теории управляющих систем"
, место издания
МАКС-Пресс Москва
, с. 25-29
2000
Принципы построения генетических алгоритмов и их использование для решения задач оптимизации
Костенко В.А.
в сборнике
Труды IV Международной конференции "Дискретные модели в теории управляющих систем"
, место издания
МАКС-Пресс Москва
, с. 49-55