Вы здесь

01.05.03 - Математичне та програмне забезпечення обчислювальних машин і систем

Название диссертациисортировать по убыванию Автор Год Цена Добавить в корзину
Інтелектуалізація розв'язування наукових і прикладних задач на основі методів комп'ютерної алгебри Ляхов Олександр Логвинович 2004 99 грн
(320 руб)
Добавить в корзину
Інтелектуалізація та впорядкування інтерфейсів систем електронного документообігу Гречко Анастасія Валеріївна 2006 99 грн
(320 руб)
Добавить в корзину
Автоматизована система розпаралелювання послідовних програм для паралельних обчислювачів з розподіленою пам'яттю Борисов Євген Сергійович 2006 99 грн
(320 руб)
Добавить в корзину
Адаптивна технологія автоматизованого виробництва програмних систем: моделі, алгоритми і засоби Амонс Олександр Анатолійович 2006 99 грн
(320 руб)
Добавить в корзину
Алгебраїчні методи верифікації асинхронних паралельних систем Потієнко Степан Валерійович 2009 99 грн
(320 руб)
Добавить в корзину
Аналіз та верифікація MSC-систем за допомогою мереж Петрі Матвєєва Людмила Євгенівна 2005 99 грн
(320 руб)
Добавить в корзину
Верифікація та тестування інтерактивних систем, специфікованих за допомогою базових протоколів Летичевський Олександр Олександрович 2005 99 грн
(320 руб)
Добавить в корзину
Високопаралельні алгоритми та засоби для розв'язання задач масових арифметичних і логічних обчислень Яджак Михайло Степанович 2009 99 грн
(320 руб)
Добавить в корзину
Дослідження властивостей цифрових дерев з адаптивним гілкуванням Резнік Юрій Олександрович 2005 99 грн
(320 руб)
Добавить в корзину
Дослідження методів захисту інформації в динамічних рівноправних групових середовищах Іванов Інокентій Юрійович 2009 99 грн
(320 руб)
Добавить в корзину