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