Электронная библиотека (репозиторий) Томского государственного университета
2018

Add to Quick Collection   All 3 Results

Showing items 1 - 3 of 3.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Исследование и разработка алгоритмов упрощения КНФ при решении проблемы выполнимости
Authors: Пашкова, Наталья Николаевна | Андреева, Валентина Валерьевна
Source: Материалы VI Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 24-26 мая 2018 г.. Томск, 2018. С. 17-21
Type: статьи в сборниках
Date: 2018
Add   Обнаружение робастно тестируемых неисправностей задержек путей
Authors: Матросова, Анжела Юрьевна | Андреева, Валентина Валерьевна
Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.. Томск, 2018. С. 93-94
Type: статьи в сборниках
Date: 2018
Add   Статическое тестирование динамических структур данных
Authors: Петренко, Екатерина Андреевна | Андреева, Валентина Валерьевна
Source: Материалы VI Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 24-26 мая 2018 г.. Томск, 2018. С. 22-34
Type: статьи в сборниках
Date: 2018
  • «
  • ←
  • 1
  • →
  • »
^