Видання

Наукові записки НаУКМА. Комп’ютерні науки


ID: 3975
Кількість показів: 289
дата змінення: 25.11.2015 18:06:34
Ким змінено (ім'я): (kyv) Юлія Кузь
Посилання на журнал, показники:  http://nz.ukma.edu.ua/
Журнал у переліку наукових фахових видань України:  Видання ДАК
Видано:  в Україні
Місце знаходження:  Київ

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


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





Тип
Назва документу
Автори
Рік видання
Джерело
1
Наукова стаття
Властивості квадратичної задачі для максимального k-плекса у неорієнтованому графі


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
Стецюк Петро Іванович
Ляшко Володимир Іванович
Бардадим Тамара Олексіївна
2017
Наукові записки НаУКМА. Комп’ютерні науки
т.198 c.8–13
2
Наукова стаття
Системи зберігання енергії: аспекти безпеки і оптимізації


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
Заславський Володимир Анатолійович
Пасічна Майа Володимирівна
2018
Наукові записки НаУКМА. Комп’ютерні науки
т.1 c.1-16
3
Праці конференції
Program-oriented logics of non-determonistic quasiary predicates


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2017
Наукові записки НаУКМА. Комп’ютерні науки
c.137-140
4
Наукова стаття
Першопорядкові логіки із квазіарними та n-арними предикатами


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2016
Наукові записки НаУКМА. Комп’ютерні науки
т.190 c.16-22
5
Наукова стаття
Транзиційні композиційно-номінативні модальні логіки та їх числення


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
НДЛ Високопродуктивних систем обробки інформації
Шкільняк Оксана Степанівна
2013
Наукові записки НаУКМА. Комп’ютерні науки
т.151 c.48–54
6
Наукова стаття
Аналіз застосування інтерполяційних процедур при реалізації методу характеристик.


Факультет комп'ютерних наук та кібернетики
Обчислювальної математики
Стеля Олег Борисович
Ляшко Володимир Іванович

2012
Наукові записки НаУКМА. Комп’ютерні науки
т.138 c.85-90
7
Наукова стаття
Кластеризація даних з використанням теорії можливостей


Факультет комп'ютерних наук та кібернетики
Теоретичної кібернетики
Касьянюк Веда Станіславівна
Малютенко Людмила Миколаївна
2013
Наукові записки НаУКМА. Комп’ютерні науки
т.151 c.56.0000
8
Наукова стаття
Особливості інтелектуальної обробки інформації у сучасних системах автоматизації міркувань


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

Лялецький Олександр Вадимович
2013
Наукові записки НаУКМА. Комп’ютерні науки
c.21-28
9
Наукова стаття
Числення секвенційного типу для чистих першопорядкових логік квазіарних предикатів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
2013
Наукові записки НаУКМА. Комп’ютерні науки
т.151 c.24-31
10
Наукова стаття
Kомпозиційно-номінативні логіки епістемічного типу


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
2011
Наукові записки НаУКМА. Комп’ютерні науки
т.125 c.4-7

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

Вгору