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