Поиск :
Личный кабинет :
Электронный каталог: Книги в рубрике:
Рубрики
--> ВЕРИФИКАЦИЯ
Печать списка
--> ВЕРИФИКАЦИЯ
Рубрика
- Название:
- ВЕРИФИКАЦИЯ
Печать списка
Связанные описания:
Статья
Резник, С.А.
Методы и средства верификации для комбинированного анализа протоколов безопасности
2009 г.
ISBN отсутствует
Резник, С.А.
Методы и средства верификации для комбинированного анализа протоколов безопасности
2009 г.
ISBN отсутствует
На полку
Статья
Методы цифровой верификации для моделирования смешанных СНК в Synopsys VCS и CustomSim
2014 г.
ISBN отсутствует
Методы цифровой верификации для моделирования смешанных СНК в Synopsys VCS и CustomSim
2014 г.
ISBN отсутствует
Статья
Сафиуллин, М.Р.
Механизмы и методы статистического анализа и учета фазовых сдвигов циклического развития экономик...
2016 г.
ISBN отсутствует
Сафиуллин, М.Р.
Механизмы и методы статистического анализа и учета фазовых сдвигов циклического развития экономик...
2016 г.
ISBN отсутствует
Статья
Козачок, В.И.
Многоуровневая модель политики безопасности управления доступом операционных систем семейства Win...
2021 г.
ISBN отсутствует
Козачок, В.И.
Многоуровневая модель политики безопасности управления доступом операционных систем семейства Win...
2021 г.
ISBN отсутствует
Книга
Моделирование процессов разрушения ледяного покрова на газопроницаемых деформируемых поверхностях...: монография
Изд-во ПНИПУ, 2023 г.
ISBN 978-5-398-03063-1
Моделирование процессов разрушения ледяного покрова на газопроницаемых деформируемых поверхностях...: монография
Изд-во ПНИПУ, 2023 г.
ISBN 978-5-398-03063-1
Заказать
Статья
Заргарян, П.
Моделирование социально-экономического развития регионов России с учётом межрегионального товарно...
2008 г.
ISBN отсутствует
Заргарян, П.
Моделирование социально-экономического развития регионов России с учётом межрегионального товарно...
2008 г.
ISBN отсутствует
Статья
Проскура, Н.В.
Моделирование эффекта масштабирования при использовании муниципальными образованиями экономически...
2021 г.
ISBN отсутствует
Проскура, Н.В.
Моделирование эффекта масштабирования при использовании муниципальными образованиями экономически...
2021 г.
ISBN отсутствует
Статья
Бакли, А.
Мы стремимся стать ключевым технологическим партнёром трансформации электронной отрасли России
2020 г.
ISBN отсутствует
Бакли, А.
Мы стремимся стать ключевым технологическим партнёром трансформации электронной отрасли России
2020 г.
ISBN отсутствует
Статья
Потапцева, Е.В.
Национальный проект "Производительность труда": от заявленных целей к реальным результатам
2023 г.
ISBN отсутствует
Потапцева, Е.В.
Национальный проект "Производительность труда": от заявленных целей к реальным результатам
2023 г.
ISBN отсутствует
Статья
Ерохин, В.В.
Недостатки в протоколе разрешений Android при ограниченной верификации
2021 г.
ISBN отсутствует
Ерохин, В.В.
Недостатки в протоколе разрешений Android при ограниченной верификации
2021 г.
ISBN отсутствует
Статья
Косоруков, А.А.
Нейроинтерфейсы в государственном управлении: возможности и ограничения
2023 г.
ISBN отсутствует
Косоруков, А.А.
Нейроинтерфейсы в государственном управлении: возможности и ограничения
2023 г.
ISBN отсутствует
Статья
Лисица, М.
Неравновесие эффективных рынков капитала, модифицированная модель оценки финансовых активов и инт...
2008 г.
ISBN отсутствует
Лисица, М.
Неравновесие эффективных рынков капитала, модифицированная модель оценки финансовых активов и инт...
2008 г.
ISBN отсутствует
Статья
Сафронова, В.В.
Несовместимость трансграничного углеродного регулирования ЕС с правом ВТО: каким должен стать отв...
2024 г.
ISBN отсутствует
Сафронова, В.В.
Несовместимость трансграничного углеродного регулирования ЕС с правом ВТО: каким должен стать отв...
2024 г.
ISBN отсутствует
Статья
Чалдаева, Л.А.
Нефинансовая отчетность в России: проблемы становления и развития
2015 г.
ISBN отсутствует
Чалдаева, Л.А.
Нефинансовая отчетность в России: проблемы становления и развития
2015 г.
ISBN отсутствует
Статья
Парамонов, Р.М.
Новости международной стандартизации. По страницам журнала ISO Focus (сентябрь 2009 г.)
2009 г.
ISBN отсутствует
Парамонов, Р.М.
Новости международной стандартизации. По страницам журнала ISO Focus (сентябрь 2009 г.)
2009 г.
ISBN отсутствует
Статья
О верификации категории потенциальной опасности опасного производственного объекта
2024 г.
ISBN отсутствует
О верификации категории потенциальной опасности опасного производственного объекта
2024 г.
ISBN отсутствует
Статья
Венедиктов, А.А.
О создании системы верификации документов в сфере аттестации научных кадров
2018 г.
ISBN отсутствует
Венедиктов, А.А.
О создании системы верификации документов в сфере аттестации научных кадров
2018 г.
ISBN отсутствует
Статья
Лепявко, А.П.
О терминологической корректности в российской метрологии
2013 г.
ISBN отсутствует
Лепявко, А.П.
О терминологической корректности в российской метрологии
2013 г.
ISBN отсутствует
Статья
Булатицкий, К.К.
О фиксированной и гибкой областях аккредитации испытательных лабораторий
2017 г.
ISBN отсутствует
Булатицкий, К.К.
О фиксированной и гибкой областях аккредитации испытательных лабораторий
2017 г.
ISBN отсутствует
Статья
Тузин, А.М.
Обеспечение конвенциальной безопасности в Европе: прошлое, настоящее, будущее
2011 г.
ISBN отсутствует
Тузин, А.М.
Обеспечение конвенциальной безопасности в Европе: прошлое, настоящее, будущее
2011 г.
ISBN отсутствует
Статья
Балабин, А.А.
Облигации для финансирования зеленой экономики - верификация и специфические особенности
2025 г.
ISBN отсутствует
Балабин, А.А.
Облигации для финансирования зеленой экономики - верификация и специфические особенности
2025 г.
ISBN отсутствует