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