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