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

Кафедра: НДС Проблем програмування


ID: 6730
Кількість показів: 1124
дата змінення: 27.11.2014 12:11:01
Ким змінено (ім'я): (kya) Юлія Костюченко

Публікації:

A Formal Proof of Properties of a Presentation System using Isabelle
Вид роботи:  Наукова публікація
Тип роботи:  Праці конференції
Рік видання:  2017
Звітний рік:  2017
Номери сторінок:  1155-1160
Галузь науки:  Інформатика
Опубліковано за рішенням Вченої ради:  ні
Кафедра / Відділ:  НДС Проблем програмування

Preface
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Рік видання:  2017
Звітний рік:  2017
Галузь науки:  Інформатика
Опубліковано за рішенням Вченої ради:  ні
Кафедра / Відділ:  НДЛ Високопродуктивних систем обробки інформації / НДС Проблем програмування
№ теми:  16БФ015-04 / 16КФ015-02
Автори,співробітники Університету:  Нікітченко Микола Степанович

Методика формування інформатичних компетентностей у майбутніх правознавців
Вид роботи:  Наукова публікація
Тип роботи:  Дисертаційна робота
Рік видання:  2016
Звітний рік:  2017
Галузь науки:  Інформатика
Опубліковано за рішенням Вченої ради:  ні
Кафедра / Відділ:  НДС Проблем програмування
№ теми:  16КФ015-02

Оценки сложности алгоритмов реализации теоретико-множественных операций в табличных алгебрах
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Кількість сторінок:  7
Рік видання:  2016
Звітний рік:  2017
Том:  1
Номери сторінок:  17-23
Галузь науки:  Інформатика
Опубліковано за рішенням Вченої ради:  ні
Кафедра / Відділ:  НДС Проблем програмування
№ теми:  16БФ015-04

Складність алгоритмів перетину, обєднання та різниці в мультитаблицях
Вид роботи:  Наукова публікація
Тип роботи:  Наукова стаття
Кількість сторінок:  6
Рік видання:  2016
Звітний рік:  2017
Том:  1
Номери сторінок:  6-11
Галузь науки:  Інформатика
Опубліковано за рішенням Вченої ради:  ні
Кафедра / Відділ:  НДС Проблем програмування
№ теми:  16БФ015-04


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

Вгору