Ви є тут

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

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