Видання

ICT in Education, Research and Industrial Applications: Integration, Harmonization, and Knowledge Transfer (ICTERI): Міжнародна конференція


ID: 130334
Кількість показів: 211
дата змінення: 08.11.2019 23:14:34
Ким змінено (ім'я): (cyb6) Людмила Малютенко
Видано:  закордоном
Місце знаходження:  Німеччина

Значення SNIP видання в Scopus
SNIP: 0,23 | 2015

Значення SJR видання в Scopus
SJR: 0,246 | 2015


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





Тип
Назва документу
Автори
Рік видання
Джерело
1
Праці конференції
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
2
Праці конференції
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
3
Праці конференції
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
4
Праці конференції
Program Logics of Renominative Level with the Composition of Predicate Complement


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
Нікітченко Микола Степанович
2019
ICT in Education, Research and Industrial Applications: Integration, Harmonization, and Knowledge Transfer (ICTERI): Міжнародна конференція
т.2 c.603-616
5
Наукова стаття
Software Packages for Econometrics: Financial Time Series Modeling


Економічний факультет
Економічної кібернетики
Ляшенко Олена Ігорівна
Кравець Тетяна Вікторівна
Крицун Катерина Ігорівна
2018
ICT in Education, Research and Industrial Applications: Integration, Harmonization, and Knowledge Transfer (ICTERI): Міжнародна конференція
c.188-208
6
Наукова стаття
A Formal Proof of Correctness of a Distributed Presentation Software System


Факультет інформаційних технологій
Програмних систем і технологій
Іванов Євген В’ячеславович
2017
ICT in Education, Research and Industrial Applications: Integration, Harmonization, and Knowledge Transfer (ICTERI): Міжнародна конференція
c.467-487
7
Праці конференції
An Approach To Formalization of an Extension of Floyd-Hoare Logic


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
Теорії та технології програмування
Нікітченко Микола Степанович
Криволап Андрій Володимирович
2017
ICT in Education, Research and Industrial Applications: Integration, Harmonization, and Knowledge Transfer (ICTERI): Міжнародна конференція
c.504-523
8
Праці конференції
Models of Class Specification Intersection of Object-Oriented Programming


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


2013
ICT in Education, Research and Industrial Applications: Integration, Harmonization, and Knowledge Transfer (ICTERI): Міжнародна конференція
т.9 c.590-594

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

Вгору