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