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

Кафедра: Теорії та технології програмування


ID: 6739
Кількість показів: 3895
дата змінення: 25.11.2014 12:26:25
Ким змінено (ім'я): (kya) Юлія Костюченко
Тип
Назва документу
Автори
Рік видання
Джерело
21
Праці конференції
Development of the ICT-standard of Higher Education in Ukraine within the Framework of European Requirements


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Омельчук Людмила Леонідівна
Русіна Наталія Геннадіївна
Шишацька Олена Володимирівна
2019
ICT in Education, Research and Industrial Applications: Integration, Harmonization, and Knowledge Transfer (ICTERI): Міжнародна конференція
т.1 c.262-273
22
Праці конференції
Extending the SMT-Lib Standard with Theory of Nominative


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Омельчук Людмила Леонідівна
Шишацька Олена Володимирівна
2019
ICT in Education, Research and Industrial Applications: Integration, Harmonization, and Knowledge Transfer (ICTERI): Міжнародна конференція
т.2 c.522-533
23
Тези
First-order logics of partial predicates with composition of predicate complement


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
Нікітченко Микола Степанович
2019
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
c.77-78
24
Розділ монографії
Inference Rules for the Partial Floyd-Hoare Logic Based on Composition of Predicate Complement


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

Програмних систем і технологій
Теорії та технології програмування
Нікітченко Микола Степанович
Іванов Євген В’ячеславович
2019
Communications in Computer and Information Science
т.1007 c.71-88
25
Тези
Many-Valued Logics in the UML/OCL Model


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шишацька Олена Володимирівна
2019
Logic and its Applications: The workshop [Електронний ресурс] - Режим доступу: http://logic.net.ua/sites/default/files/Book%20of%20Abstracts.pdf
c.12-13
26
Тези
Non-stationary time-series distance clustering for a similarity analysis


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Круковець Дмитро Юрійович
2019
Логіка та її застосування (UCLA): Українська наукова конференція
c.117-119
27
Праці конференції
On the Kleene algebra of partial predicates with predicate complement


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

Програмних систем і технологій
НДС Теоретичної кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Іванов Євген В’ячеславович
2019
ICT in Education, Research and Industrial Applications: Integration, Harmonization, and Knowledge Transfer (ICTERI): Міжнародна конференція
т.2 c.542-551
28
Наукова стаття
Preface


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Ermolayev V.
Yakovyna V.
Kharchenko V. P.
Spivakovsky A.
2019
29
Наукова стаття
Preface


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Нікітченко Микола Степанович
Ermolayev V.
Suárez-Figueroa M.C.
Yakovyna V.
Mayr H.C.
Spivakovsky A.
2019
Communications in Computer and Information Science
c.5-8
30
Праці конференції
Program Logics Based on Algebras with the Composition of Predicate Complement


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
Нікітченко Микола Степанович
2019
Advanced Computer Information Technologies (ACIT): Міжнародна конференція
c.285-288

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

Вгору