Контент с Докладчики Жолткевич Г.Н. .

КриКТехС 2009-6

Очередное заседание семинара состоится 20 октября 2009 г. в 15.00 в ауд. 238 радиокорпуса ХАИ. Тема заседания : Квантовый компьютинг: от теории к практике. Доклады: Квантовая информатика - состояние и перспективы (Жолткевич Г.Н.); Квантовые компьютеры и квантовая криптология (Лысенко И.В.). Семинар в семинаре: История кибернетики и компьютерной...

КриКТехС 2007-2

Очередное заседание семинара состоится 1 мая 2007 г. в 14.30 в ауд. 123 радиокорпуса ХАИ. Тема заседания: Математические методы в задачах верификации и оценки надежности программного обеспечения. Доклады: Задачи и методы формальной верификации на различных этапах разработки критического программного обеспечения (Жолткевич Г.Н.); Методы моделирования и оценки...

Навигация по категориям

Докладчики