- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Инструментальное средство синтеза и исполнения транслирующих программ на основе позитивно-образованных формул
Тип роботи:
Кандидатская
Рік:
2011
Артикул:
1005435052 179 грн
Рекомендовані дисертації
- Разработка инструментария переноса и оптимизации приложений в многоплатформенной среде
- Математическое и программное обеспечение оптимизации проведения профилактических восстановлений при эксплуатации информационно-вычислительных систем
- Исследование возможности применения Constraint - Пролога с вероятностью для решения прикладных задач
- Разработка алгоритмов построения, анализа и визуализации сверхбольших моделей поверхностей на основе мультитриангуляции
- Исследование и разработка синмакропроцессорного метода автоматизированного проектирования языковых конверторов
- Модели, методы и программное обеспечение для управления взаимодействием с поставщиками и заказчиками на основе агентно-ориентированного подхода и диалоговых логик
- Современные методы статического и динамического анализа программ для автоматизации процессов повышения качества программного обеспечения
- Внешнее тестирование интерфейсных библиотек : На примере интерфейса ASIS
- Моделирование мониторинга информационного поля Internet
- Математическое и программное обеспечение синхронизации баз данных мобильных устройств с корпоративными системами