Ви є тут

Разработка методов синтеза проверяющих тестов для сетей из конечных автоматов

Автор: 

Тренькаев Вадим Николаевич

Тип роботи: 

кандидатская

Рік: 

2000

Кількість сторінок: 

189

Артикул:

1000272801

179 грн

Додати в кошик

• 
• 
• 

Рекомендовані дисертації

• Анализ и управление производством автомобильных стекол
• Исследование, рациональное управление процессом диагностики и лечения хронических болезней органов пищеварения на основе моделирования и прогнозирования
• Многомерное представление и обработка данных в информационной системе анкетирования
• Многокритериальная оптимизация контролепригодности объектов диагностирования
• Методы управления трафиком в наземно-воздушных сетях связи
• Оптимизация управления здоровьем детей-школьников
• ТЕХНОЛОГИЯ ОБРАБОТКИ АНАЛИТИЧЕСКОЙ ИНФОРМАЦИИ ПРИ ИДЕНТИФИКАЦИИ ТОВАРНЫХ НЕФТЕПРОДУКТОВ В СЛОЖНЫХ ОРГАНИЧЕСКИХ МАТРИЦАХ
• Теоретические основы и практическое применение методов исследования робастной абсолютной устойчивости многомерных нелинейных импульсных автоматических систем
• Системный анализ параметров сердечно-сосудистой системы учащихся Югры
• Мониторинг конкурентоспособности наукоемкой машиностроительной продукции как основа оценки конкурентоспособности предприятия : На примере ООО ПО Юрмаш