Структурні підрозділи

Кафедра: Інформаційних систем


ID: 6738
Кількість показів: 3370
дата змінення: 25.11.2014 12:26:53
Ким змінено (ім'я): (kya) Юлія Костюченко
Тип
Назва документу
Автори
Рік видання
Джерело
1
Тези
Algebras of General Non-Deterministic Predicates


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
2019
Logic and its Applications: The workshop [Електронний ресурс] - Режим доступу: http://logic.net.ua/sites/default/files/Book%20of%20Abstracts.pdf
c.11-12
2
Праці конференції
Algorithms for Runtime Generation of Homogeneous Classes of Objects


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
Терлецький Дмитро Олександрович
2018
Cyber Security and Computer Science: International Conference
c.160-164
3
Дисертаційна робота
Об'єктно-орієнтована динамічна модель подання знань в інтелектуальних програмних системах


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
Терлецький Дмитро Олександрович
2018
Київський національний університет імені Тараса Шевченка
4
Праці конференції
2d-Ellipsoid of optimal volume and its applications


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
Стецюк Петро Іванович
2017
Constructive Nonsmooth Analysis and Related Topics: Міжнародна конференція
c.303–306
5
Матеріали конференції
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
6
Матеріали конференції
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
7
Тези
AMPL-реалізація двоетапної транспортної задачі


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
Стецюк Петро Іванович
Мазютинець Габріела Василівна
Мілешовський Ботрис І.
2017
Математичне та програмне забез­печення інтелектуальних систем: Міжнародна науково-практична конференція
c.186–191
8
Наукова стаття
Composition-nominative logics as institutions


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Ченцов Олексій Ілліч
2018
Logica Universalis
c.221-238
9
Тези
Creating an automated system for trading on the stock exchange using technical analysis


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
Верес Максим Миколайович
Іляш Кароліна Андріївна
2018
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
c.56-57
10
Наукова стаття
Credibility of Fuzzy Knowledge


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
Провотар Олександр Іванович
2018
Advances in Intelligent Systems and Computing
c.192-203

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

Вгору