> Главная> Конференции
RUSENG

  • О кафедре
  • Абитуриенту
  • Наши достижения
  • Проекты
  • Учебная работа
  • Научная работа
  • Конференции
    • • Конкурсы
    • • Computer Aided Verification
    • • КОМОД-2012
    • • КОМОД-2013
    • • КОМОД-2014
    • • КОМОД-2015
    • • КОМОД-2016
    • • КОМОД-2017
    • • WSEAS
  • Сотрудничество
  • Инновации в образовании
  • Книги
  • Интранет

mailto: webmaster@dcn.ftk.spbstu.ru