- Киев+380960830922
Вы здесь
Введите ключевые слова для поиска диссертаций:
Алгоритм распознавания выполнимости формул логики ветвящегося времени и его применение
Тип работы:
диссертация кандидата физико-математических наук
Год:
2005
Количество страниц:
155
Артикул:
1180 179 грн
Рекомендуемые диссертации
- Методы негладкого анализа в задачах идентификации и диагностики
- Об условиях разрешимости автоматных уравнений
- Исследование максимального рода графов
- Неравенства колмогоровского типа на прямой, полупрямой, отрезке и окружности и задачи восстановления
- Неантагонистические дифференциальные игры с неограниченной продолжительностью
- Задачи оптимизации структуры многоуровневых иерархических систем
- Разработка и реализация численных методов решения оптимизационных задач большой размерности
- Задачи наилучшего выбора с разладкой
- Моделирование и анализ сетевых транспортных протоколов с помощью раскрашенных сетей Петри
- Автоматный анализ детерминированных графов