Репозиторий БГУИР: Browsing DSpace

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я
or enter first few letters:

Showing results 1 to 20 of 25 next >

Issue Date	Title	Author(s)
2022	Off-line верификация рукописной подписи с применением сверточной нейронной сети	Ахунджанов, У. Ю.; Старовойтов, В. В.
2011	Searching for Optmal Synchronizing Sequences for Testng Logic Circuits	Cheremisinova, L. D.; Черемисинова Л. Д.
2022	Биометрический замок	Кед, В. Ю.
2019	Верификация автоматных VHDL-моделей взаимодействующих цифровых систем	Щепанский, В. Е.
2014	Верификация и валидация баз знаний интеллектуальных систем	Титенков, П. В.
2020	Верификация логических КМОП схем, устойчивых к мягким отказам	Черемисинова, Л. Д.; Черемисинов, Д. И.
2021	Верификация прикладного программного обеспечения УСБ АЭС посредством САПР GET-R1	Селиверстов, Е. С.; Галицын, Ю. С.; Иванова, А. А.; Seliverstov, E. S.; Galitsyn, Y. S.; Ivanova, A. A.
2021	Верификация численных методов и математической модели, разработанных для моделирования миграции радионуклидов в природных дисперсных средах	Шалькевич, П. К.; Кундас, С. П.
2018	Возможности верификации метода определения внутреннего диаметра видимых сосудов бульбарной конъюнктивы глаза человека с помощью метода Монте-Карло	Смунев, Д. А.
2022	Выделение логической компоненты при декомпиляции транзисторной схемы	Черемисинова, Л. Д.; Черемисинов, Д. И.
2020	Глубокий анализ и декомпиляция КМОП-схемы на транзисторном уровне в иерархическую схему из логических элементов	Черемисинов, А. А.; Черемисинова, Л. Д.
2013	Задачи верификации логических описаний комбинационных устройств	Черемисинова, Л. Д.; Новиков, Д. Я.
2013	Использование продукционно-фреймовой модели представления знаний автоматизированном логическом проектировании заказных цифровых СБИС	Бибило, П. Н.; Романов, В. И.
2021	Квалификация, верификация и валидация	Агафонов, С. А.; Кузнецов, А. Н.; Останин, С. М.; Agafonov, S. A.; Kuznetsov, A. N.; Ostanin, S. M.
2016	О двух классах семантической корреляции, наблюдаемых в функциональных семантических сетях	Савкин, Л. В.
2015	Обзор теорий доказательства правильности программ	Власенко, В. А.
2015	Особенности верификации и валидации прикладного программного обеспечения программно-технических комплексов на аппаратуре ТПТС для систем безопасности АЭС	Маликова, Е. Ю.; Купцов, С. И.
2018	Программирование расширения интегрированной среды разработки VS2017	Марко, А. Ф.; Чеушев, К. В.
2022	Программное средство распознавания диктора по речи	Куницкий, Ю. О.; Лунь, Н. С.; Зайковский, В. С.
2022	Программный модуль биометрической верификации	Зельманский, О. Б.; Куницкий, Ю. О.

Showing results 1 to 20 of 25 next >

Browsing by Subject верификация