Resultats de la cerca - "верификация"

Matèries dins de la cerca
Refinar resultats
  1. 1
    Программная инженерия. Тестирование и контроль качества программного обеспечения учебное пособие для вузов

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

    Publicat Санкт-Петербург, Лань, 2025
    Matèries: Obtenir text complet
    Obtenir text complet
    Electrònic Llibre
  2. 2
    Проектирование СБИС пер. с япон.

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

    Publicat Москва, Мир, 1988
    Matèries:
    Llibre
  3. 3
    Всережимное моделирование в реальном времени перенапряжений в электроэнергетических системах

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

    Publicat 2014
    Matèries:
    Capítol de llibre
  4. 4
    Прикладные методы верификации программ

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

    Publicat Москва, Радио и связь, 1988
    Matèries:
    Llibre
  5. 5
    Распознавание голоса в системах безопасности

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

    Publicat 2017
    Matèries: Obtenir text complet
    Electrònic Capítol de llibre
  6. 6
    Принципы верификации и тестирования моделей искусственного интеллекта учебное пособие для вузов

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

    Publicat Санкт-Петербург, Лань, 2025
    Matèries: Obtenir text complet
    Obtenir text complet
    Electrònic Llibre
  7. 7
    Введение в логическое программирование

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

    Publicat Москва, Мир, 1988
    Matèries:
    Llibre
  8. 8
    Подход к автоматизации формальной верификации модулей системного обмена микропроцессоров

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

    Publicat 2012
    Matèries: Obtenir text complet
    Electrònic Capítol de llibre
  9. 9
    Жемчужины программирования пер. с англ.

    Жемчужины программирования пер. с англ. per Бентли Д. Джон

    Publicat СПб., Питер, 2002
    Matèries:
    Llibre
  10. 10
    Принцип интерсубъективности и значение верификации знания в неопозитивизме

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

    Publicat 2014
    Matèries: Obtenir text complet
    Obtenir text complet
    Electrònic Capítol de llibre
  11. 11
    Эффективная верификация цифровых компонентов физических систем с использованием мутационного тестирования

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

    Publicat 2015
    Matèries: Obtenir text complet
    Electrònic Capítol de llibre
  12. 12
    Альтернативный подход к верификации средств моделирования электроэнергетических систем

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

    Publicat 2019
    Matèries: Obtenir text complet
    Electrònic Capítol de llibre
  13. 13
    Применение электронной цифровой подписи для защиты медицинских документов в формате XML

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

    Publicat 2010
    Matèries:
    Capítol de llibre
  14. 14
    Кн. 3: Рабочие станции в проектировании БИС

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

    Publicat 1990
    Matèries:
    Llibre
  15. 15
    Распознавание соответствия

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

    Publicat 2003
    Matèries:
    Capítol de llibre
  16. 16
    Применение теории графов в программировании

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

    Publicat Москва, Наука, 1985
    Matèries:
    Llibre
  17. 17
    Верификация и валидация средств построениятеселяции геометрических моделей в параметрическом представлении в препроцессоре ЛОГОС

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

    Publicat 2016
    Matèries: Obtenir text complet
    Electrònic Capítol de llibre
  18. 18
    Проблемы верификации конституционных норм

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

    Publicat 2014
    Matèries: Obtenir text complet
    Electrònic Capítol de llibre
  19. 19
    Верификация результатов расчетов динамической устойчивости в электроэнергетических системах

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

    Publicat 2018
    Matèries: Obtenir text complet
    Electrònic Capítol de llibre
  20. 20
    Основные положения модели информационной безопасности иерархических распределенных систем

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

    Publicat 2006
    Matèries: Obtenir text complet
    Electrònic Capítol de llibre

Eines de cerca: