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