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

Кафедра: НДЛ Високопродуктивних систем обробки інформації


ID: 6726
Кількість показів: 2085
дата змінення: 27.11.2014 12:10:14
Ким змінено (ім'я): (kya) Юлія Костюченко
Тип
Назва документу
Автори
Рік видання
Джерело
261
Наукова стаття
Разработка и обоснование алгоритмов на основе семантических свойств


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
НДЛ Високопродуктивних систем обробки інформації
Кривий Сергій Лук'янович

2014
Проблеми програмування
т.2 c.151-159
262
Тези
Розробка системи мобільного навчання для студентів природничих спеціальностей


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
НДЛ Високопродуктивних систем обробки інформації
Шабелюк Олександр Володимирович
2013
Матеріали ХІ Міжнародної наукової конференції студентів та молодих науковців «Шевченківська весна 2013: 21 березня 2013р. м. Київ ч.1. КНУ імені Тараса Шевченка Інститут міжнародних відносин
т.1 c.79-81
263
Наукова стаття
Секвенційні числення логік часткових предикатів з розширеними реномінаціями


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
НДЛ Високопродуктивних систем обробки інформації
Шкільняк Оксана Степанівна
2013
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
c.199–204
264
Наукова стаття
Система мобільного навчання фізичним дисциплінам (на прикладі лабораторного практикуму з Оптики)


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
НДЛ Високопродуктивних систем обробки інформації
Шабелюк Олександр Володимирович
2014
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.2 c.1-6
265
Навчальний посібник
Стислі нотатки з дискретної математики. Числа, множини, функції, відношення


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
НДЛ Високопродуктивних систем обробки інформації
Лялецький Олександр Олександрович

2014
Наукові записки НаУКМА
c.1-56
266
Тези
Субградієнтний алгоритм з розтягом простору для задачі розділення двох поліедрів


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
НДЛ Високопродуктивних систем обробки інформації
Стецюк Петро Іванович
2014
Теорія прийняття рішень: міжнародна школа-семінар
c.244–245
267
Навчальний посібник
Теорія прийняття рішень (Частина 1). Методичні вказівки до виконання самостійної роботи для студентів усіх форм навчання напряму 050101 «Комп’ютерні науки»


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
НДЛ Високопродуктивних систем обробки інформації
Демківський Євген Олександрович


2013
К.: КНУТД
c.1-64
268
Тези
Транзиційні композиційно-номінативні модальні логіки


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
НДЛ Високопродуктивних систем обробки інформації
Шкільняк Оксана Степанівна
2013
Штучний інтелект. Інтелектуальні системи: матеріали Міжнародної науково-технічної конференції (Кацивелі, Крим, 2013)
c.37–39
269
Наукова стаття
Транзиційні композиційно-номінативні модальні логіки та їх числення


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
НДЛ Високопродуктивних систем обробки інформації
Шкільняк Оксана Степанівна
2013
Наукові записки НаУКМА. Комп’ютерні науки
т.151 c.48–54
270
Наукова стаття
Prethick subsets and partitions of metric spaces


Факультет комп'ютерних наук та кібернетики
Інформаційних систем
НДЛ Високопродуктивних систем обробки інформації
Протасова Ксенія Дмитрівна
2012
Математичні студії
т.38 c.115-117

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

Вгору