Технология формирования и анализа данных здоровья населения Азиатского Севера
Парамонов Вячеслав Владимирович,
Фдоров Роман Константинович,
Ружников Геннадий Михайлович,
Ефимова Наталья Васильевна
Инновационный взгляд на сферу услуг: онтологии сервиса
Каныгин Геннадий Викторович,
Хорева Любовь Викторовна
Цифровые платформы как ресурс повышения конкурентоспособности цепей поставок
Григорьев Михаил Николаевич,
Максимцев Игорь Анатольевич,
Уваров Сергей Алексеевич
Информационные риски в банкинге
Спильниченко Владимир Кириллович
Usability of AutoProof: a case study of software verification
Khazeev Mansur,
Rivera Victor,
Mazzara Manuel,
Tchitchigin Alexander
Refinement types in Jolie
Tchitchigin Alexander,
Safina Larisa,
Elwakil Mohamed,
Mazzara Manuel,
Montesi Fabrizio,
Rivera Victor