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

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


ID: 6730
Кількість показів: 1623
дата змінення: 27.11.2014 12:11:01
Ким змінено (ім'я): (kya) Юлія Костюченко
Тип
Назва документу
Автори
Рік видання
Джерело
21
Наукова стаття
Axiomaticsformultivalueddependenciesintabledatabases:correctness,completeness, completeness criteria


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


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


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

Донченко Володимир Степанович
Зінько Петро Миколайович
2015
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.2 c.30
24
Праці конференції
Institution for Pure First-Order Composition-Nominative Logic


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
Нікітченко Микола Степанович
2015
Foundations of Informatics (FOI): International workshop
c.180-197
25
Наукова стаття
Linearization algorithms CLOS and LOOPS of the classes in programming languages: the formal definitions


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


Поляков Сергій Анатолійович
2015
International Scientific Conference on Informatics . INFORMATICS'2015, November 18th – 20h, 2015 in Poprad , Slovakia
c.176-185
26
Наукова стаття
Linearization algoritmhms CLOS and LOOPS of the classes in programming languages: the formal definitions


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


Поляков Сергій Анатолійович
2015
International Scientific Conference on Informatics . INFORMATICS'2015, November 18th – 20h, 2015 in Poprad , Slovakia
c.63-66
27
Тези
Philosophical Aspects of Programming Theory Development


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


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

Нікітченко Микола Степанович
2015
Computer Science Journal of Moldova
т.23 c.270-288
29
Наукова стаття
Аксiоматика багатозначних залежностей табличних баз даних


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


2015
Доповіді НАН України
т.6 c.24-29
30
Тези
Аксіоматика багатозначних залежностей табличних баз даних: повнота та її критерії


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


2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.35-43

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

Вгору