- Київ+380960830922
Ви є тут
Введіть ключові слова для пошуку дисертацій:
Анализ дискретных параллельных систем на основе графа условно-достижимых состояний F-сетевых моделей
Тип роботи:
Кандидатская
Рік:
1999
Артикул:
1000265746 179 грн
Рекомендовані дисертації
- Алгоритмы эффективного вычисления конъюнктивных регулярных путевых запросов в базах полуструктурированных данных
- Архитектура и методика реализации специализированных программных систем подбора персонала
- Методы программирования систем технического зрения реального времени
- Методы высокоуровневой оптимизации циклов
- Разработка и исследование программных средств обработки радиолокационных данных в автоматизированных системах контроля радиационной обстановки
- Инструментальное средство синтеза и исполнения транслирующих программ на основе позитивно-образованных формул
- Исследование и разработка интерактивной компьютерной системы поддержки принятия решений при управлении производством с неспециализированным оборудованием
- Программная система КВАНТ/1 для автоматического доказательства теорем
- Применение метода недоопределенных вычислений в математическом моделировании
- Тестирование на основе формальных спецификаций в процессах разработки программных комплексов