Видання

Communications in Computer and Information Science


ID: 133539
Кількість показів: 313
дата змінення: 22.11.2018 13:20:46
Ким змінено (ім'я): (privet_tm) Сергій Вінтоняк
Посилання на журнал, показники:  https://www.scopus.com/sourceid/17700155007?origin=sbrowse
Видано:  закордоном
Місце знаходження:  Берлін

Значення SNIP видання в Scopus
SNIP: 0.317 | 2016

Значення SJR видання в Scopus
SJR: 0.162 | 2016


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





Тип
Назва документу
Автори
Рік видання
Джерело
1
Наукова стаття
Expressibility in the Kleene Algebra of Partial Predicates with the Complement Composition


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

Програмних систем і технологій
Теорії та технології програмування
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2020
Communications in Computer and Information Science
т.1175 c.50-67
2
Наукова стаття
Program-Oriented Logics of Renominative Level with Extended Renomination and Equality


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
2020
Communications in Computer and Information Science
т.1175 c.68-88
3
Наукова стаття
SMT-LIB Theory of Nominative Data


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Омельчук Людмила Леонідівна
Шишацька Олена Володимирівна
2020
Communications in Computer and Information Science
т.1175 c.89-110
4
Наукова стаття
Computer technologies for gestures communication systems construction


Факультет комп'ютерних наук та кібернетики
Теоретичної кібернетики
Крак Юрій Васильович
2019
Communications in Computer and Information Science
т.998 c.135-144
5
Наукова стаття
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
6
Наукова стаття
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
7
Матеріали конференції
Run-Time Class Generation: Algorithms for Union of Homogeneous and Inhomogeneous Classes


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Терлецький Дмитро Олександрович
2019
Communications in Computer and Information Science
c.148-160
8
Наукова стаття
Special retrial queues with state-dependent input rate


Факультет комп'ютерних наук та кібернетики
Прикладної статистики
Лебєдєв Євген Олександрович
Пономарьов Вадим Дмитрович
Лівінська Ганна Володимирівна
2019
Communications in Computer and Information Science
т.1109 c.73-85
9
Наукова стаття
Extended Floyd-Hoare logic over relational nominative data


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

Програмних систем і технологій
Теорії та технології програмування
Нікітченко Микола Степанович
Іванов Євген В’ячеславович
Криволап Андрій Володимирович
Artur Korniłowicz
2018
Communications in Computer and Information Science
c.41-64
10
Наукова стаття
On Gaussian Approximation of Queueing Networks with Different Starting Load


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

Прикладної статистики
Лівінська Ганна Володимирівна
Лебєдєв Євген Олександрович
2018
Communications in Computer and Information Science
т.912 c.27-38

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

Вгору