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

Кафедра: НДЛ Високопродуктивних систем обробки інформації


ID: 6726
Кількість показів: 1970
дата змінення: 27.11.2014 12:10:14
Ким змінено (ім'я): (kya) Юлія Костюченко
Тип
Назва документу
Автори
Рік видання
Джерело
21
Наукова стаття
Methodological Principles for Program Logic Construction


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
2018
Handbook of the World Congress and School on Universal Logic
c.511-512
22
Тези
Modernized dijkstra’s algorithm and mathematical model for geographic information system


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Осадчий Євген Олександрович
Скуратовський Руслан В.
2017
Conference on Applied and Industrial Mathematics (CAIM )
c.86-87
23
Тези
Modernized dijkstra’s algorithm and mathematical model for geographic information system


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Осадчий Євген Олександрович
Скуратовський Руслан В.
2018
Вимірювальна та обчислювальна техніка в технологічних процесах
c.207-208
24
Тези
Properties of Logics of General Non-Deterministic Quasiary Predicates


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Оксана Степанівна
Шкільняк Степан Степанович
2018
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
c.95-96
25
Праці конференції
Satisfiability Problems in Quasiary Program Logics


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
Тимофєєв Валентин Георгійович
2018
Advanced Computer Information Technologies (ACIT): Міжнародна конференція
c.175-178
26
Праці конференції
Towards Representation of Free Logic as Logic of Partial Quasiary Predicates


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2018
Conference on mathematical on Foundations of Informatics: Proceedings MFOI
c.180-189
27
Наукова стаття
Trusted Computing with Addition Machines. II


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Анісімов Анатолій Васильович
Новокшонов Андрій Костянтинович
2018
Cybernetics and Systems Analysis
т.54 c.1-10
28
Тези
Автоматичне виведення залежностей системи складання з вихідного коду програми


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Сакевич Руслан Дмитрович
2018
Шевченківська весна: Міжнародна науково-практична конференція студентів, аспірантів та молодих вчених
т.1 c.44
29
Наукова стаття
Алгебри загальних недетермінованих предикатів


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


Факультет комп'ютерних наук та кібернетики
Математичної інформатики
НДЛ Високопродуктивних систем обробки інформації
Коцур Дмитро Вікторович
2017
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.54-58

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

Вгору