• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Книга
ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction

Под науч. редакцией: Vitaly Semenov, R. J. Scherer.

CRC Press, 2021.

Статья
Optimization of ProVerif Programs for AKE Protocols

Vinarskii E., Демаков А. В.

Programming and Computer Software. 2022. Vol. 48. No. 8. P. 781-787.

Глава в книге
Adaptive Homing Sequences for Partial Weakly-initialized Observable FSMs

Vinarskii E., Твардовский А. С., Evtushenko N. V.

In bk.: Proceedings 2021 IEEE East-West Design & Test Symposium (EWDTS). IEEE, 2021.

Препринт
Preventive Model-based Verification and Repairing for SDN Requests

Burdonov I., Kossachev A., Nina Yevtushenko et al.

arxiv.org. Computer Science. Cornell University, 2020

Поступающим – Новости

Прошла Зимняя школа по компьютерным наукам для поступающих в магистратуру

Прошла Зимняя школа по компьютерным наукам для поступающих в магистратуру
С 1 по 5 февраля 2023 года в учебном центре «Вороново» состоялась традиционная Зимняя школа по компьютерным наукам для поступающих в магистратуру.

Состоялся осенний день открытых дверей ФКН 2022

Состоялся осенний день открытых дверей ФКН 2022
19–20 ноября на факультете компьютерных наук прошел день открытых дверей для абитуриентов бакалавриата и магистратуры. Мероприятие прошло в Центре культур на Покровском бульваре.