Мунерман, Даниил Викторович, ФГБОУ ВО "Смоленский государственный университет", Россия

• VIII Международная научная конференция «Конвергентные когнитивно-информационные технологии» - Параллельное и распределенное программирование, грид-технологии, программирование на графических процессорах
  Аксиоматический метод доказательства соответствия формализованных в различных моделях данных запросов
  Реферат