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