Макаров, Евгений Маратович, Федеральное государственное автономное образовательное учреждение высшего образования "Национальный исследовательский Нижегородский государственный университет им. Н.И. Лобачевского" (ННГУ), Россия

• XIII Международная научно-практическая конференция «Современные информационные технологии и ИТ-образование» - ИТ-образование: методология, методическое обеспечение
  ОБЩИЕ СИСТЕМЫ КООРДИНАТ В КУРСЕ КОМПЬЮТЕРНОЙ ГЕОМЕТРИИ
  Реферат
• XIV Международная научно-практическая конференция «Современные информационные технологии и ИТ-образование» - Научное программное обеспечение в образовании и науке
  Знакомство с формальными методами с помощью изучения системы интерактивных доказательств Coq
  Реферат
• XV Международная научно-практическая конференция «Современные информационные технологии и ИТ-образование» - Исследования и разработки в области новых ИТ и их приложений
  Динамическая логика разделений и ее использование в образовании
  Реферат
• XVIII Международная научно-практическая конференция «Современные информационные технологии и ИТ-образование» - Научное программное обеспечение в образовании и науке
  Знакомство с формальными методами с помощью изучения системы интерактивных доказательств Coq
  Реферат