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