Пошуковий запит: (<.>U=З972-07-5-05<.>) |
Загальна кількість знайдених документів : 71
Представлено документи з 1 до 20
|
| | |
1.  |
ІВ212905
Freibothe, Martin.
Ein Ansatz für die verifikationsgerechte Verhaltensmodellierung für die semi-formale Verifikation von Mixed-Signal-Schaltungen [Text] : Diss / M. Freibothe ; Technischen Universität Dresden. Fak. Informatik. - Dresden : [б.в.], 2008. - 122 S.: Abb. - Бібліогр.: S.114-121Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Technischen Universität Dresden. Fak. Informatik
Видання зберігається у :
|
| 2. |
ДС151517
Ємельянов, Ігор Валерійович.
Моделі та методи кубітного тестування цифрових пристроїв на основі memory-driven структур даних [Текст] : дис. ... канд. техн. наук : 05.13.05 / Ємельянов Ігор Валерійович ; Харків. нац. ун-т радіоелектроніки. - Харків, 2018. - 197 арк. : рис., табл. - Бібліогр.: арк. 149-171.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Харківський національний університет радіоелектроніки
Видання зберігається у :
Основний фонд
|
| 3. |
РА437459
Ємельянов, Ігор Валерійович.
Моделі та методи кубітного тестування цифрових пристроїв на основі memory-driven структур даних [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 / Ємельянов Ігор Валерійович ; Харків. нац. ун-т радіоелектроніки. - Харків, 2018. - 23 с. : рис., табл.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Харківський національний університет радіоелектроніки
Видання зберігається у :
Основний фонд
|
| 4. |
РА394894
Абас, Мурад Алі.
Квантові моделі обчислювальних процесів для тестування цифрових систем на кристалах [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 / Мурад Алі Абас ; Харк. нац. ун-т радіоелектрон. - Х., 2012. - 20 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харківський національний університет радіоелектроніки
Видання зберігається у :
Основний фонд
|
| 5. |
ДС130990
Абас, Мурад Али.
Квантовые модели вычислительных процессов для тестирования цифровых систем на кристаллах [Текст] : дис. ... канд. техн. наук : 05.13.05 / Мурад Али Абас ; Харьк. нац. ун-т радиоэлектроники. - Х., 2012. - 229, [3] л. : рис. - Бібліогр.: арк. 164-177.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харьковский национальный университет радиоэлектроники
Видання зберігається у :
|
| 6. |
РА374036
Аветисян, Амазасп Суренович.
Построение эффективных алгоритмов для тестирования некоторых классов неисправностей в схемах памяти [Text] : автореф. дис. ... канд. техн. наук : 05.13.04 / Аветисян Амазасп Суренович ; Ин-т пробл. информатики и автоматизации НАН РА. - Ереван, 2010. - 15 с. - На арм. яз.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Национальная академия наук Республики Армения; Институт проблем информатики и автоматизации НАН Республики Армения
Видання зберігається у :
Основний фонд
|
| 7. |
РА402808
Альмадхоун, Самер Мохамед Махмуд.
Методи пошуку помилок проектування в моделях цифрових пристроїв на мовах опису апаратури [Текст] : автореф. дис. ... канд. техн. наук : 05.13.12 / Альмадхоун Самер Мохамед Махмуд ; Харк. нац. ун-т радіоелектрон. - Х., 2013. - 20 с. : рис., табл.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харківський національний університет радіоелектроніки
Видання зберігається у :
Основний фонд
|
| 8. |
РА305574
Арапова, Олена Михайлівна.
Розробка методів і засобів тестування цифрових пристроїв в системах покомпонентного діагностування [Текст] : автореф. дис... канд. техн. наук: 05.11.16 / Арапова Олена Михайлівна ; Вінницький держ. технічний ун-т. - Вінниця, 1999. - 19 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Вінницький державний технічний університет
Видання зберігається у :
Основний фонд
|
| 9. |
ДС62594
Арапова, Олена Михайлівна.
Розробка методів і засобів тестування цифрових пристроїв в системах покомпонентного діагностування [Текст] : дис... канд. техн. наук: 05.11.16 / Арапова Олена Михайлівна ; Вінницький держ. технічний ун-т. - Вінниця, 1999. - 224 л. - л.156-164Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Вінницький державний технічний університет
Видання зберігається у :
Основний фонд
|
| 10. |
РА357594
Арутюнян, Гурген Эдикович.
Эффективные алгоритмы для тестирования нанометровых устройств статической памяти [Текст] : автореф. дис... канд. техн. наук: 05.13.04 / Арутюнян Гурген Эдикович ; Институт проблем информатики и автоматизации НАН РА. - Ереван, 2008. - 18 с.
Текст на арм. яз.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Институт проблем информатики и автоматизации НАН РА
Видання зберігається у :
Основний фонд
|
| 11. |
РА414122
Багхдаді, Аммар Авні Аббас.
Кубітні моделі та методи аналізу і діагностування цифрових пристроїв [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 / Багхдаді Аммар Авні Аббас ; Харків. нац. ун-т радіоелектроніки. - Харків, 2015. - 21 с. : рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харківський національний університет радіоелектроніки
Видання зберігається у :
Основний фонд
|
| 12. |
РА429572
Бані-Амер, Тамер Абдельмаджід Салех.
Хмарний сервіс-комп'ютинг для тестування і моделювання SoC-компонентів [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 / Тамер Абдельмаджід Салех Бані-Амер ; Харків. нац. ун-т радіоелектроніки. - Харків, 2017. - 23 с. : рис.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Харківський національний університет радіоелектроніки
Видання зберігається у :
Основний фонд
|
| 13. |
ДС141871
Борисевич, Алексей Валерьевич.
Методы синтеза тестов для цифровых синхронных схем на основе реконфигурируемых аппаратных средств [Текст] : дис. ... канд. техн. наук : 05.13.05 / Борисевич Алексей Валерьевич ; Севастоп. нац. техн. ун-т. - Севастополь, 2008. - 220, [7] л. : рис., табл. - Бібліогр.: арк. 178-190.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Севастопольский национальный технический университет
Видання зберігається у :
Основний фонд
|
| 14. |
РА361717
Борисевич, Олексій Валерійович.
Методи синтезу структурних тестів для цифрових синхронних схем на основі апаратних засобів, що реконфігуруються [Текст] : автореф. дис... канд. техн. наук: 05.13.05 / Борисевич Олексій Валерійович ; Одеський національний політехнічний ун-т. - О., 2008. - 19 с.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Одеський національний політехнічний університет
Видання зберігається у :
Основний фонд
|
| 15. |
ДС55535
Гроль, Владимир Васильевич.
Методы и средства организации псевдослучайного тестирования цифровых схем [Текст] : дис... д-ра техн. наук: 05.13.08 / Гроль Владимир Васильевич ; Киевский политехнический ин-т. - К., 1995. - 353 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Киевский политехнический институт
Видання зберігається у :
Основний фонд
|
| 16. |
РА293133
 Гроль, Володимир Васильович.
Методи та засоби організації псевдовипадкового тестування цифрових схем [Текст] : автореф. дис... д-ра технічний наук: 05.13.08 / Гроль Володимир Васильович ; Національний технічний ун-т України "Київський політехнічний ін-т". - К., 1995. - 31 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Національний технічний університет України "Київський політехнічний інститут" (Київ)
Видання зберігається у :
Основний фонд
|
| 17. |
РА300126
Джулій, Володимир Миколайович.
Розробка об'єктно-орієнтованих методів і засобів програмної підтримки діагностування цифрових та аналого-цифрових структур [Текст] : автореф. дис... канд. техн. наук: 05.13.06 / Джулій Володимир Миколайович ; Науково-виробнича корпорація "Київський ін-т автоматики". - К., 1998. - 16 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
"Київський інститут автоматики", науково-виробнича корпорація (Київ)
Видання зберігається у :
Основний фонд
|
| 18. |
ДС58484
Джулий, Владимир Николаевич.
Разработка объектно-ориентированных методов и средств программной поддержки диагностирования цифровых и аналого-цифровых структур [Текст] : дис... канд. техн. наук: 05.13.06 / Джулий Владимир Николаевич ; Технологический ун-т Подолья. - Хмельницкий, 1998. - 217 л. - л. 160-174Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Технологический университет Подолья (Хмельницкий)
Видання зберігається у :
Основний фонд
|
| 19. |
РА352815
Ель-Хатіб, Аднан Ібрагім Ісса.
Еволюційні методи побудови перевіряючих тестів цифрових систем [Текст] : автореф. дис... канд. техн. наук: 05.13.13 / Ель-Хатіб Аднан Ібрагім Ісса ; Державний вищий навчальний заклад "Донецький національний технічний ун-т". - Донецьк, 2007. - 20 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Державний вищий навчальний заклад "Донецький національний технічний університет"
Видання зберігається у :
Основний фонд
|
| 20. |
РА380315
Зайченко, Сергій Олександрович.
Моделі й методи функціональної верифікації цифрових систем на основі темпоральних асерцій [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 / Зайченко Сергій Олександрович ; Харк. нац. ун-т радіоелектрон. - Х., 2011. - 20 с. : рис., табл.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харківський національний університет радіоелектроніки
Видання зберігається у :
Основний фонд
|
| | |
Простий
Розширений
Книжкові видання та компакт-диски
Пам`ятка користувача