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