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