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