Вибіркова компонента з переліку 1 (Екосистеми програмного забезпечення)

Інженерія систем та програмних засобів

Обробка та аналіз результатів наукових досліджень з використанням ІТ

Формальні методи розробки та верифікації програмних систем

ПЗ Інтернету речей