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

Кафедра: НДС Проблем програмування


ID: 6730
Кількість показів: 1214
дата змінення: 27.11.2014 12:11:01
Ким змінено (ім'я): (kya) Юлія Костюченко
Тип
Назва документу
Автори
Рік видання
Джерело
1
Праці конференції
A Formal Proof of Properties of a Presentation System using Isabelle


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
2017
CEUR Workshop Proceedings
c.1155-1160
2
Наукова стаття
Preface


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
НДС Проблем програмування
Нікітченко Микола Степанович
2017
Communications in Computer and Information Science
3
Дисертаційна робота
Методика формування інформатичних компетентностей у майбутніх правознавців


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
2016
Вид-во НПУ імені М. П. Драгоманова
4
Наукова стаття
Оценки сложности алгоритмов реализации теоретико-множественных операций в табличных алгебрах


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Канарська Ірина Сергіївна
2016
Доповіді Національної академії наук України
т.1 c.17-23
5
Наукова стаття
Складність алгоритмів перетину, обєднання та різниці в мультитаблицях


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Канарська Ірина Сергіївна
2016
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.6-11
6
Наукова стаття
Точные оценки временной сложности реализации алгоритмов теоретико-множественных операций в табличных алгебрах


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теоретичної кібернетики
Теорії та технології програмування
Буй Дмитро Борисович
Сенченко Олексій Сергійович
Редько Володимир Никифорович
Канарська Ірина Сергіївна
2017
Кібернетика і системний аналіз
т.53 c.3-15
7
Підручник
Технологія програмування інформаційних систем: Методи, засоби, інструменти


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
Омельчук Людмила Леонідівна
Нікітченко Микола Степанович

2015
ВПЦ "Київський університет"
8
Праці конференції
Analysis of Nominative Data Sets Structure


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
Нікітченко Микола Степанович
2015
Foundations of Informatics (FOI): International workshop
c.65-76
9
Наукова стаття
Axiomaticsformultivalueddependenciesintabledatabases:correctness,completeness, completeness criteria


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
Буй Дмитро Борисович
2015
Springer International Publishing Switzerland Brunów, Poland.
c.45-55
10
Тези
Composition-Nominative Logics as Institutions


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
Нікітченко Микола Степанович
2015
Handbook of the World Congress and School on Universal Logic
c.370-371

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

Вгору