Гигиенические и психофизиологические аспекты информационной экологии
Касьянов Сергей,
Алешина Лариса Ивановна,
Федосеева Светлана Юрьевна
Информационная система «Конференция»
Хабитуев Баир Викторович,
Хандаров Федор Владимирович,
Балакшиев Эльдар Гюльмамедович,
Нимаев Сергей Андреевич
Имитационное моделирование как инструмент снижения риска
Антохина Юлия Анатольевна,
Баранов Александр Валерьевич
Негативные аспекты информатизации общества
Медведева Елена Ильинична,
Крошилин Сергей Викторович
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