Видання

Communications in Computer and Information Science


ID: 133539
Кількість показів: 187
дата змінення: 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
Наукова стаття
Extended Floyd-Hoare logic over relational nominative data


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


Факультет інформаційних технологій
НДЛ "Імовірнісно-статистичних методів"
Прикладної статистики
Лівінська Ганна Володимирівна
Лебєдєв Євген Олександрович
2018
Communications in Computer and Information Science
т.912 c.27-38
3
Праці конференції
Using choreography of actors and rewriting rules to adapt legacy Fortran programs to cloud computing


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
Жереб Костянтин Анатолійович
Дорошенко Анатолій Юхимович
Туліка Євгеній Мирославович
2017
Communications in Computer and Information Science
т.783 c.76–96
4
Наукова стаття
Object-Oriented Knowledge Representation and Data Storage Using Inhomogeneous Classes


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
Терлецький Дмитро Олександрович
2017
Communications in Computer and Information Science
т.756 c.48-61
5
Наукова стаття
On Steady-State Analysis of [M|M|m|m+n] -Type Retrial Queueing Systems


Факультет комп'ютерних наук та кібернетики
НДЛ "Імовірнісно-статистичних методів"
Прикладної статистики
Лебєдєв Євген Олександрович
Макушенко Ігор Анатолійович
Лівінська Ганна Володимирівна
Усар Ірина Ярославівна
2017
Communications in Computer and Information Science
т.800 c.133-146
6
Наукова стаття
Preface


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


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
Терлецький Дмитро Олександрович
2015
Communications in Computer and Information Science
т.538 c. 293-305
8
Наукова стаття
On a Decidable Formal Theory for Abstract Continuous-Time Dynamical Systems


Факультет інформаційних технологій
Програмних систем і технологій
Іванов Євген В’ячеславович
Нікітченко Микола Степанович
2014
Communications in Computer and Information Science
т.469 c.78-99
9
Наукова стаття
On Algebraic Properties of Nominative Data and Functions


Факультет інформаційних технологій
Програмних систем і технологій
Іванов Євген В’ячеславович
Нікітченко Микола Степанович

2014
Communications in Computer and Information Science
т.469 c.117-138
10
Праці конференції
Extending Floyd-Hoare Logic for Partial Pre- and Postconditions


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Криволап Андрій Володимирович
Нікітченко Микола Степанович
2013
Communications in Computer and Information Science
т.412 c.355-378

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

Вгору