Видання

Proceedings of the 6th International Conference on Control and Optimization with Industrial Applications, Volume 1, July 11-13, 2018, Baku, Azerbaijan


ID: 217493
Кількість показів: 36
дата змінення: 05.11.2018 14:06:24
Ким змінено (ім'я): (rff12) Ірина Левицька
Видано:  в Україні


Публікації у виданні





Тип
Назва документу
Автори
Рік видання
Джерело
1
Матеріали конференції
A Formalized Approach to Verify GPGPU Applications. Part 1


Факультет радіофізики, електроніки та комп'ютерних систем
Факультет комп'ютерних наук та кібернетики

Інформаційних систем
Ком'ютерної інженерії
Погорілий Сергій Дем'янович
Кривий Сергій Лук'янович
Слинько Максим
2018
Proceedings of the 6th International Conference on Control and Optimization with Industrial Applications, Volume 1, July 11-13, 2018, Baku, Azerbaijan
т.1 c.303-305
2
Матеріали конференції
A Formalized Approach to Verify GPGPU Applications. Part 2


Факультет радіофізики, електроніки та комп'ютерних систем
Факультет комп'ютерних наук та кібернетики

Інформаційних систем
Ком'ютерної інженерії
Погорілий Сергій Дем'янович
Кривий Сергій Лук'янович
Слинько Максим
2018
Proceedings of the 6th International Conference on Control and Optimization with Industrial Applications, Volume 1, July 11-13, 2018, Baku, Azerbaijan
т.1 c.306-308

Повернення до списку

Вгору