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

Add to Quick Collection   All 7 Results

Showing items 1 - 7 of 7.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Применение бинарного графа для верификации программного кода
Authors: Картавых, Георгий Владимирович | Андреева, Валентина Валерьевна
Source: Материалы IX-й Международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-28 мая 2022 г.. Томск, 2022. С. 92-99
Type: статьи в сборниках
Date: 2022
Add   Валидация и верификация: понятия, сходства и различия
Authors: Старцева, Юлиана Андреевна
Source: Инноватика - 2020 : сборник материалов XVI Международной школы-конференции студентов, аспирантов и молодых ученых, 23-25 апреля 2020 г., г. Томск, Россия. Томск, 2020. С. 273-276
Type: статьи в сборниках
Date: 2020
Description: Affordable explanations of similarities and differences in the terms of verification
Add   Верификация модели промерзания и оттаивания грунта с использованием данных метеостанций
Authors: Алипова, Ксения Александровна
Source: Всероссийская молодежная научная конференция "Все грани математики и механики", 25-28 апреля 2017 : сборник тезисов докладов. Томск, 2017. С. 60
Type: статьи в сборниках
Date: 2017
Add   Верификация оценок влияния естественного электромагнитного фона КНЧ-диапазона на человека
Authors: Тужилкин, Дмитрий Алексеевич | Зубрилкина, Виктория Ивановна | Бородин, Александр Семенович
Source: Актуальные проблемы радиофизики : труды Международной молодежной научной школы, Томск, 25-26 сентября 2017 г.. Томск, 2017. С. 114-117
Type: статьи в сборниках
Date: 2017
Add   Верификация оценок влияния электромагнитных полей шумановского диапазона частот на сердечно-сосудистую систему организма человека
Authors: Тужилкин, Дмитрий Алексеевич | Бородин, Александр Семенович
Source: Оптика атмосферы и океана. Физика атмосферы : XXIII международный симпозиум, 3-7 июля 2017 года, Иркутск : тезисы докладов. Томск, 2017. С. 157
Type: статьи в сборниках
Date: 2017
Add   К построению тестов для последовательностных схем с использованием системы АВС
Authors: Кидярова, Галина Владимировна
Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.. Томск, 2016. С. 52-53
Type: статьи в сборниках
Date: 2016
Add   Истина и ее граничные понятия
Authors: Сухотин, Анатолий Константинович
Source: Проблема истины в философии и науке : сборник Всероссийского семинара молодых ученых им. П. В. Копнина. Томск, 2008. С. 3-6
Type: статьи в сборниках
Date: 2008
  • «
  • ←
  • 1
  • →
  • »
^