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