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