Видання

Проблеми програмування


ID: 4386
Кількість показів: 673
дата змінення: 10.11.2014 01:15:46
Ким змінено (ім'я): (cyb6) Людмила Малютенко
Журнал у переліку наукових фахових видань України:  Видання ДАК
Видано:  в Україні
Місце знаходження:  Київ

Значення SNIP видання в Scopus
SNIP: |


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





Тип
Назва документу
Автори
Рік видання
Джерело
1
Наукова стаття
On Two Representations of Concurrent Programs


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Панченко Тарас Володимирович
2017
Проблеми програмування
т.6 c.192-199
2
Наукова стаття
Алгебри загальних недетермінованих предикатів


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2018
Проблеми програмування
c.5-21
3
Наукова стаття
Інформаційна технологія експертно-аналітичного оцінювання витрат на розроблення та використання програмного забезпечення комп’ютерних систем


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
Слабоспицька Ольга Олександрівна
Андон Пилип Іларіонович
Сініцин Ігор Петрович
Ігнатенко Петро Петрович
2018
Проблеми програмування
c.31-45
4
Наукова стаття
Логіки загальних недетермінованих предикатів: семантичні аспекти


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2018
Проблеми програмування
c.31-45
5
Наукова стаття
Онтологоподібні системи аналізу природномовних текстів


Факультет комп'ютерних наук та кібернетики
Інститут філології

Української мови та прикладної лінгвістики
Інформаційних систем
Кривий Сергій Лук'янович
Дарчук Наталія Петрівна
Провотар Олександр Іванович
2018
Проблеми програмування
c.132-139
6
Наукова стаття
Практична реалізація інформаційної технології автоматизованого визначення множини семантичних термінів в контенті навчальних матеріалів


Факультет комп'ютерних наук та кібернетики
Теоретичної кібернетики
Крак Юрій Васильович
Бармак Олександр Володимирович
Мазурець Олександр Вікторович
2018
Проблеми програмування
c.245-254
7
Наукова стаття
Семантичні властивості п’ятизначних логік


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шишацька Олена Володимирівна
2018
Проблеми програмування
т.1 c.22-35
8
Наукова стаття
Уніфікований процес композиції адаптивного сервісу в семантичному Веб-середовищі


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
Слабоспицька Ольга Олександрівна
2018
Проблеми програмування
c.65–76
9
Наукова стаття
Формалізований метод проектування застосувань в технології GPGPU


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

Інформаційних систем
Ком'ютерної інженерії
Кривий Сергій Лук'янович
Погорілий Сергій Дем'янович
Слинько Максим
2018
Проблеми програмування
т.2 c.12-20
10
Наукова стаття
Відношення логічного наслідку в логіках монотонних предикатів тa логіках антитонних предикатів


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
Шкільняк Оксана Степанівна
2017
Проблеми програмування
c.21-29

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

Вгору