Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИПМех РАН
Главная
Поиск
Статистика
О проекте
Помощь
IEEE 2019 Ivannikov Ispras Open Conference (ISPRAS)
журнал
Индексирование: нет
Период активности журнала: не указан
Добавил в систему:
Смирнов Илья Николаевич
Статьи, опубликованные в журнале
2019
SMT Solvers in Application to Static and Dynamic Symbolic Execution: A Case Study
Malyshev Nikita
,
Dudina Irina
,
Kutz Daniil
, Novikov Alexander,
Vartanov Sergey
в журнале
IEEE 2019 Ivannikov Ispras Open Conference (ISPRAS)
, с. 9-15
DOI
2018
Investigating the Problems of Ship Propulsion on a Supercomputer
Aksenov Andrey A.
,
Zhluktov Sergey V.
,
Silaev Dmitriy P.
,
Kharchenko Sergey A.
,
Ilyin V.A.
, Pechenyuk Andriy V.,
Ryabinkin Evgeny A.
,
Velikhov Vasily E.
в журнале
IEEE 2019 Ivannikov Ispras Open Conference (ISPRAS)
, том 1, с. 124-131