- Киев+380960830922
Вы здесь
Введите ключевые слова для поиска диссертаций:
Расширение предикатных формул линейными неравенствами и списками для спецификации программ
Тип работы:
Кандидатская
Год:
2006
Артикул:
337238 179 грн
Рекомендуемые диссертации
- Асимптотические свойства стационарных распределений телекоммуникационных сетей
- Методы распознавания образов в массивах взаимосвязанных данных
- Анализ и визуализация взаимосвязей нормативно-правовых документов
- Теоретические оценки времени работы алгоритмов для задачи выполнимости булевых формул
- Метод приближенной обработки запросов в системах оперативного анализа данных
- Методы адаптации и интеграции при эволюции больших информационных систем : на примере ЦЕРН
- Представление предметной области Анализ изображений в виде специализированного тезауруса
- Функциональное программирование и категорный подход в вычислительной алгебре
- Несобственные задачи линейной оптимизации и параметрическое программирование
- Принципы и логические средства интеллектуального анализа социологических данных