Resultados de procura - "верификация"

Программная инженерия. Тестирование и контроль качества программного обеспечения учебное пособие для вузов... por Турнецкая Е. Л.

Subjects: Ligazón do recurso
Ligazón do recurso

Проектирование СБИС пер. с япон.

Subjects:

Всережимное моделирование в реальном времени перенапряжений в электроэнергетических системах

Subjects:

Прикладные методы верификации программ por Непомнящий В. А. Валерий Александрович

Subjects:

Распознавание голоса в системах безопасности por Корнилов Н. Я.

Subjects: Ligazón do recurso

Принципы верификации и тестирования моделей искусственного интеллекта учебное пособие для вузов por Золкин А. Л.

Subjects: Ligazón do recurso
Ligazón do recurso

Введение в логическое программирование por Хоггер К. Дж. Кристофер Джон

Subjects:

Подход к автоматизации формальной верификации модулей системного обмена микропроцессоров por Стотланд И. А.

Subjects: Ligazón do recurso

Принцип интерсубъективности и значение верификации знания в неопозитивизме por Гончаренко М. В. Марк Васильевич

Subjects: Ligazón do recurso
Ligazón do recurso

Эффективная верификация цифровых компонентов физических систем с использованием мутационного тестирования... por Кушик Н. Г. Наталья Геннадьевна

Subjects: Ligazón do recurso

Альтернативный подход к верификации средств моделирования электроэнергетических систем

Subjects: Ligazón do recurso

Применение электронной цифровой подписи для защиты медицинских документов в формате XML por Семёнов А. С.

Subjects:

Кн. 3: Рабочие станции в проектировании БИС

Subjects:

Распознавание соответствия por Ковалев А. И.

Subjects:

Применение теории графов в программировании por Евстигнеев В. А. Владимир Анатольевич

Subjects:

Верификация и валидация средств построениятеселяции геометрических моделей в параметрическом представлении в препроцессоре ЛОГОС... por Тарасова Л. П.

Subjects: Ligazón do recurso

Проблемы верификации конституционных норм por Оглезнев В. В. Виталий Васильевич

Subjects: Ligazón do recurso

Верификация результатов расчетов динамической устойчивости в электроэнергетических системах por Грачев И. А. Илья Александрович

Subjects: Ligazón do recurso

Основные положения модели информационной безопасности иерархических распределенных систем por Филькин К. Н.

Subjects: Ligazón do recurso

Расчётно-экспериментальные иследования аварийных режимов в стандартных задачах на теплофизическом стенде ИСБ-ВВЭР...

Subjects: