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

Вы здесь

Введите ключевые слова для поиска диссертаций:

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