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