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

Кафедра: Програмних систем і технологій


ID: 7080
Кількість показів: 1268
дата змінення: 30.10.2017 11:28:10
Ким змінено (ім'я): (tnm) Ніна Твердохліб

Публікації:

A Formal Proof of Correctness of a Distributed Presentation Software System
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Кількість сторінок:  21
Рік видання:  2017
Звітний рік:  2017
Номери сторінок:  467-487
Галузь науки:  Інформатика
Опубліковано за рішенням Вченої ради:  ні
Кафедра / Відділ:  Програмних систем і технологій
Автори,співробітники Університету:  Іванов Євген В’ячеславович

An Approach To Formalization of an Extension of Floyd-Hoare Logic
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Кількість сторінок:  20
Рік видання:  2017
Звітний рік:  2017
Номери сторінок:  504-523
Галузь науки:  Інформатика
Опубліковано за рішенням Вченої ради:  ні
Кафедра / Відділ:  Програмних систем і технологій
Автори,співробітники Університету:  Іванов Євген В’ячеславович

Automation of Publication and Subscription in Emergency Control Wireless Networks
Вид роботи:  Наукова публікація
Тип роботи:  Тези
Кількість сторінок:  3
Рік видання:  2017
Звітний рік:  2017
Номери сторінок:  110-112
Галузь науки:  Інформатика
Опубліковано за рішенням Вченої ради:  ні
Кафедра / Відділ:  Програмних систем і технологій
Автори,співробітники Університету:  Шевченко Віктор Леонідович

Challenges in teaching " digital " generation in Bulgaria
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Кількість сторінок:  4
Рік видання:  2017
Звітний рік:  2017
Номери сторінок:  144-147
Галузь науки:  Інформатика
Опубліковано за рішенням Вченої ради:  ні
Кафедра / Відділ:  Програмних систем і технологій
Автори,співробітники Університету:  Бичков Олексій Сергійович

Combination of methods of time management in dynamic task scheduler
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Кількість сторінок:  6
Рік видання:  2016
Звітний рік:  2017
Номери сторінок:  85-90
Галузь науки:  Інформатика
Опубліковано за рішенням Вченої ради:  ні
Кафедра / Відділ:  Програмних систем і технологій
Автори,співробітники Університету:  Поперешняк Світлана Володимирівна


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

Вгору