Видання

TAAPSD 2012


ID: 1589
Кількість показів: 293
дата змінення: 19.08.2014 19:28:57
Ким змінено (ім'я): (admin) Адміністратор НДЧ
Видано:  закордоном


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





Тип
Назва документу
Автори
Рік видання
Джерело
1
Тези
Kомпозиційно-номінативні модальні логіки


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
Шкільняк Оксана Степанівна
2012
TAAPSD 2012
c.289-294
2
Наукова стаття
Дослідження та оптимізація архітектури еластичної нейронної мережі для розв’язання задачі комівояжера. Праці дев’ятої міжнародної конференції „Теоретичні та прикладні аспекти побудови програмних систем”


Факультет радіофізики, електроніки та комп'ютерних систем
Комп'ютерної інженерії
Погорілий Сергій Дем'янович

2012
TAAPSD 2012
c.236.0000
3
Наукова стаття
Система алгоритмічних алгебр Глушкова як формалізований підхід до шаблонів проектування. Київ


Факультет радіофізики, електроніки та комп'ютерних систем
Комп'ютерної інженерії
Погорілий Сергій Дем'янович

2012
TAAPSD 2012
т.1 c.1.0000
4
Наукова стаття
Система алгоритмічних алгебр Глушкова як формалізований підхід до шаблонів проектування. Праці дев’ятої міжнародної конференції „Теоретичні та прикладні аспекти побудови програмних систем”


Факультет радіофізики, електроніки та комп'ютерних систем
Комп'ютерної інженерії
Погорілий Сергій Дем'янович

2012
TAAPSD 2012
c.218.0000
5
Наукова стаття
Створення та дослідження паралельних схем алгоритму Пріма


Факультет радіофізики, електроніки та комп'ютерних систем
Комп'ютерної інженерії

Погорілий Сергій Дем'янович

2012
TAAPSD 2012
т.1 c.223.0000
6
Наукова стаття
Створення та дослідження паралельних схем алгоритму Пріма. Праці дев’ятої міжнародної конференції „Теоретичні та прикладні аспекти побудови програмних систем”


Факультет радіофізики, електроніки та комп'ютерних систем
Комп'ютерної інженерії
Погорілий Сергій Дем'янович


2012
TAAPSD 2012
c.223.0000
7
Наукова стаття
Трансформація шаблонів потоків робіт мереж Петрі до САА-М схем


Факультет радіофізики, електроніки та комп'ютерних систем
Комп'ютерної інженерії
Погорілий Сергій Дем'янович

2012
TAAPSD 2012
т.1 c.209.0000
8
Наукова стаття
Трансформація шаблонів потоків робіт мереж Петрі до САА-М-схем. Праці дев’ятої міжнародної конференції „Теоретичні та прикладні аспекти побудови програмних систем”


Факультет радіофізики, електроніки та комп'ютерних систем
Комп'ютерної інженерії
Погорілий Сергій Дем'янович

2012
TAAPSD 2012
c.209.0000
9
Формальные методы верфикикации на основе сетей Петри.


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

Кривий Сергій Лук'янович
2013
TAAPSD 2012
т.1 c.75.0000
10
Матеріали конференції
Cеквенційні числення першопорядкових логік квазіарних предикатів


Факультет комп'ютерних наук та кібернетики
Теорії та технології програмування
Шкільняк Степан Степанович
2012
TAAPSD 2012
c.305-332

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

Вгору