Технические науки

Технические науки - 67-0-0
Метод и машина логического вывода для формальной верификации параллельных алгоритмов
Метод и машина логического вывода для формальной верификации параллельных алгоритмов
99 000 UZS
Автор
Чистяков Геннадий Андреевич
Количество страниц
Год
2014
Алгоритмы распознавания жестов на видеопоследовательностях
Алгоритмы распознавания жестов на видеопоследовательностях
99 000 UZS
Автор
Нгуен Тханг Тоан
Количество страниц
Год
2014
Алгоритмическое и программное обеспечение системы сжатия видеопоследовательностей, созданной в рамках стандарта H.265/HEVC
Алгоритмическое и программное обеспечение системы сжатия видеопоследовательностей, созданной в рамках стандарта H.265/HEVC
99 000 UZS
Автор
Шарабайко Максим Павлович
Количество страниц
Год
2014
Методы и программные средства когнитивной графики для интеллектуальных систем поддержки принятия решений
Методы и программные средства когнитивной графики для интеллектуальных систем поддержки принятия решений
99 000 UZS
Автор
Новоселов, Юрий Владимирович
Количество страниц
Год
2013
Математическое и программное обеспечение распределения данных в проблемно-ориентированных параллельных программах
Математическое и программное обеспечение распределения данных в проблемно-ориентированных параллельных программах
99 000 UZS
Автор
Палагин Владимир Владимирович
Количество страниц
Год
2014
Разработка и применение метода верификации драйверов операционной системы Linux на основе процессной семантики
Разработка и применение метода верификации драйверов операционной системы Linux на основе процессной семантики
99 000 UZS
Автор
Павлов, Евгений Геннадьевич
Количество страниц
Год
2013
Исследование и разработка методов и программных средств обеспечения интероперабельности в области электронного обучения (на примере Магнитогорского государственного технического университета имени Г.И. Носова)
Исследование и разработка методов и программных средств обеспечения интероперабельности в области электронного обучения (на примере Магнитогорского государственного технического университета имени Г.И. Носова)
99 000 UZS
Автор
Рубан Константин Алексеевич
Количество страниц
Год
2014
Модели и программные средства интерактивного взаимодействия с подвижным информационно-навигационным комплексом самообслуживания
Модели и программные средства интерактивного взаимодействия с подвижным информационно-навигационным комплексом самообслуживания
99 000 UZS
Автор
Прищепа, Мария Викторовна
Количество страниц
Год
2013
Отладка и верификация функционально-потоковых параллельных программ
Отладка и верификация функционально-потоковых параллельных программ
99 000 UZS
Автор
Удалова Юлия Васильевна
Количество страниц
Год
2014
Отображение DVMH-программ на кластеры с графическими процессорами
Отображение DVMH-программ на кластеры с графическими процессорами
99 000 UZS
Автор
Притула Михаил Николаевич
Количество страниц
Год
2013
Символьное решение линейных обыкновенных дифференциальных уравнений с помощью степенных рядов
Символьное решение линейных обыкновенных дифференциальных уравнений с помощью степенных рядов
99 000 UZS
Автор
Рябенко, Анна Андреевна
Количество страниц
Год
2013
Методы управления ресурсами в проблемно-ориентированных распределенных вычислительных средах
Методы управления ресурсами в проблемно-ориентированных распределенных вычислительных средах
99 000 UZS
Автор
Шамакина Анастасия Валерьевна
Количество страниц
Год
2014
Восстановление алгоритма по набору бинарных трасс
Восстановление алгоритма по набору бинарных трасс
99 000 UZS
Автор
Соловьев, Михаил Александрович
Количество страниц
Год
2013
Методы автоматизации построения поведенческой модели программного продукта на основе UCM-спецификаций
Методы автоматизации построения поведенческой модели программного продукта на основе UCM-спецификаций
99 000 UZS
Автор
Никифоров, Игорь Валерьевич
Количество страниц
Год
2013
Метод обнаружения ошибок при работе с памятью на статическом этапе отладки программного обеспечения
Метод обнаружения ошибок при работе с памятью на статическом этапе отладки программного обеспечения
99 000 UZS
Автор
Тетерев, Михаил Александрович
Количество страниц
Год
2013
Модули для Opencart 2, Опенкарт 3