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

Ви є тут

Введіть ключові слова для пошуку дисертацій:

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