|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Новые информационные технологии в исследовании сложных структур: материалы Двенадцатой конференции с международным участиемсборник
- Год издания: 2018
- Место издания: Издательский Дом Томского государственного университета Томск
- Сборник тезисов
- Добавил в систему: Корныхин Евгений Валерьевич
Статьи, опубликованные в сборнике
-
- 2018 Формальная проверка эквивалентности описаний цифровой аппаратуры
- Смолов С.А., Камкин А.С., Лебедев М.С.
- в сборнике Новые информационные технологии в исследовании сложных структур: материалы Двенадцатой конференции с международным участием, место издания Издательский Дом Томского государственного университета Томск, тезисы, с. 83-84