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