>
>
Весенняя школа по верификации и ИИ (24-25 апреля)
Весенняя школа по верификации и ИИ (24-25 апреля)
23.04.18На базе Харьковского национального университета радиоэлектроники 24-25 апреля пройдёт весенняя школа по верификации и искусственному интеллекту, с расписанием докладов можно ознакомиться по ссылке.
- Кафедра компьютерных систем, сетей и кибербезопасности
- Абитуриентам
- Кафедра
- Специальности
- Специальности
- Специальность 123 - Компьютерная инженерия
- Комп'ютерні системи та мережі (випускникам шкіл)
- Системне програмування (випускникам шкіл)
- Комп'ютерні системи та мережі (молодшим спеціалістам)
- Системне програмування (молодшим спеціалістам)
- Системное программирование (магистрам)
- Специальность 125 - Кибербезопасность
- Безпека інформаційних і комунікаційних систем (випускникам шкіл)
- Безпека інформаційних і комунікаційних систем (молодшим спеціалістам)
- Безопасность информационных и коммуникационных систем (магистрам)
- Computer Engineering and Cyber Security (Education in English)
- Освітні програми
- Робочі матеріали для аспірантів
- Короткий опис, структура і компоненти освітньо-професійної програми "Комп'ютерні системи і мережі"
- Короткий опис, структура і компоненти освітньо-професійної програми "Системне програмування"
- Наука и проекты
- Украинские бизнес-партнеры
- Международные бизнес-партнеры
- Международные проекты
- Мероприятия
- Научно-технический семинар «КриКТехС»
- Факультатив «Спортивное программирование и Алгоритмы»
- DESSERT Conference
- Meeting of International Student Safety&Security Club
- Науково-технічний семінар «Гарантоздатні Інформаційні Технології»
- Засідання і доповіді Науково-технічного семінару «Гарантоздатні Інформаційні Технології»
- Студенческие конференции
- Медиапартнеры
- Кооперация с ИТ-компаниями
- Карьера студентов
- Анонс
- Новости
- Контакты