Пошуковий запит: (<.>U=З972-07-5-05$<.>) |
Загальна кількість знайдених документів : 75
Представлено документи з 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. |
РА372699
Хінді, Шукрі Насрі Алі.
Ієрархічні еволюційні методи генерації тестів цифрових систем [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 / Шуркі Насрі Алі Хінді ; ДВНЗ "Донец. нац. техн. ун-т". - Донецьк, 2010. - 20 с. : табл., рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
"Донецький національний технічний університет" , державний вищий навчальний заклад
Видання зберігається у :
Основний фонд
|
| 3. |
РА431952
Савран, Віталій Олександрович.
Інформаційні технології для автоматизованих систем технічного діагностування цифрових пристроїв на основі аналізу спектру сигналу [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Савран Віталій Олександрович ; Держ. ун-т телекомунікацій. - Київ, 2017. - 20 с. : рис.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Державний університет телекомунікацій (Київ)
Видання зберігається у :
Основний фонд
|
| 4. |
РА386096
Нгене, Кристофер Умерах.
Інфраструктура убудованого діагностування HDL-моделей цифрових систем на кристалах [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 / Нгене Кристофер Умерах ; Харк. нац. ун-т радіоелектрон. - Х., 2011. - 20 с. : рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харківський національний університет радіоелектроніки
Видання зберігається у :
Основний фонд
|
| 5. |
РА370876
 Литвинова, Євгенія Іванівна.
Інфраструктури верифікації та убудованого діагностування цифрових систем на кристалах [Текст] : автореф. дис. ... д-ра техн. наук : 05.13.05 / Литвинова Євгенія Іванівна ; Харк. нац. ун-т радіоелектроніки. - Х., 2010. - 36 с. : рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харківський національний університет радіоелектроніки
Видання зберігається у :
Основний фонд
|
| 6. |
РА388331
Тієкура, Ів.
Векторно-логічна інфраструктура вбудованого тестування цифрових систем на кристалах [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 / Тієкура Ів ; Харк. нац. ун-т радіоелектрон. - Х., 2012. - 20 с. : рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харківський національний університет радіоелектроніки
Видання зберігається у :
Основний фонд
|
| 7. |
ДС133082
Тиекура, Ив.
Векторно-логическая инфраструктура встроенного тестирования цифровых систем на кристаллах [Текст] : дис. ... канд. техн. наук : 05.13.05 / Тиекура Ив ; Харьк. нац. ун-т радиоэлектроники. - Х., 2011. - 182 л. - Бібліогр.: арк. 150-162.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харьковский национальный университет радиоэлектроники
Видання зберігається у :
|
| 8. |
РА353579
Сиревич, Євгенія Юхимівна.
Верифікація моделей цифрових пристроїв, які подано мовами опису апаратури [Текст] : автореф. дис... канд. техн. наук: 05.13.12 / Сиревич Євгенія Юхимівна ; Харківський національний ун-т радіоелектроніки. - Х., 2007. - 20 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харківський національний університет радіоелектроніки
Видання зберігається у :
Основний фонд
|
| 9. |
ВА821040
Верифікація та валідація цифрових систем управління [Текст] : навч. посіб. / Г. В. Табунщик [та ін.] ; Co-funded by the Tempus programme of the European Union, DesIRE. - Запоріжжя : Дике поле, 2017. - 145, [2] с. : рис. - Бібліогр.: с. 144-145. - 300 прим. - ISBN 978-617-7433-22-3Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Табунщик, Галина Володимирівна; Каплієнко, Тетяна Ігорівна; Каплієнко, Олександр Олегович; Ван Мероде, Дірк; Co-funded by the Tempus programme of the European Union; "Розробка курсів з вбудованих систем використанням інноваційних віртуальних підходів для інтеграції науки, освіти та промисловості в Україні, Грузії, Вірменії", проект "Tempus 544091-Tempus -1-2013-1-BE-Tempus-JPCR"
Видання зберігається у :
Основний фонд
|
| 10. |
ДС107308
Сыревич, Евгения Ефимовна.
Верификация моделей цифровых устройств, представленных на языках описания аппаратуры [Текст] : дис... канд. техн. наук: 05.13.12 / Сыревич Евгения Ефимовна ; Харьковский национальный ун-т радиоэлектроники. - Х., 2007. - 178 л. - Библиогр.: л. 141-152Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харьковский национальный университет радиоэлектроники
Видання зберігається у :
Основний фонд
|
| 11. |
РА328354
Колесніков, Костянтин Васильович.
Дедуктивний метод моделювання несправностей для синтезу тестів цифрових систем, що реалізовані у програмувальній логіці [Текст] : автореф. дис... канд. техн. наук: 05.13.12 / Колесніков Костянтин Васильович ; Харківський національний ун-т радіоелектроніки. - Х., 2003. - 20 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харківський національний університет радіоелектроніки
Видання зберігається у :
Основний фонд
|
| 12. |
РА321094
Сисенко, Ірина Юріївна.
Дедуктивно-паралельне моделювання несправностей на моделях цифрових систем, що реконфугуруються [Текст] : автореф. дис... канд. техн. наук: 05.13.13 / Сисенко Ірина Юріївна ; Харківський національний ун-т радіоелектроніки. - Х., 2002. - 19 c.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харківський національний університет радіоелектроніки
Видання зберігається у :
Основний фонд
|
| 13. |
ДС75853
Сысенко, Ирина Юрьевна.
Дедуктивно-параллельное моделирование неисправностей на реконфигурируемых моделях цифровых систем [Текст] : дис... канд. техн. наук: 05.13.13 / Сысенко Ирина Юрьевна ; Харьковский национальный ун-т радиоэлектроники. - Х., 2002. - 146 л. - Библиогр.: л. 123-135Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харьковский национальный университет радиоэлектроники
Видання зберігається у :
Основний фонд
|
| 14. |
ДС83198
Колесников, Константин Васильевич.
Дедуктивный метод моделирования неисправностей для синтеза тестов цифровых систем, реализуемых в программируемой логике [Текст] : дис... канд. техн. наук: 05.13.12 / Колесников Константин Васильевич ; Харьковский национальный ун-т радиоэлектроники. - Х., 2003. - 171. - Библиогр.: л. 136-150Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харьковский национальный университет радиоэлектроники
Видання зберігається у :
Основний фонд
|
| 15. |
РА402027
Нассер, Іяд К. М..
Еволюційні методи генерації тестів для неконстантних несправностей [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 / Нассер Іяд К. М. ; Держ. вищ. навч. закл. "Донец. нац. техн. ун-т". - Донецьк, 2013. - 20 с. : табл., рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
"Донецький національний технічний університет", державний вищий навчальний заклад
Видання зберігається у :
Основний фонд
|
| 16. |
РА352815
Ель-Хатіб, Аднан Ібрагім Ісса.
Еволюційні методи побудови перевіряючих тестів цифрових систем [Текст] : автореф. дис... канд. техн. наук: 05.13.13 / Ель-Хатіб Аднан Ібрагім Ісса ; Державний вищий навчальний заклад "Донецький національний технічний ун-т". - Донецьк, 2007. - 20 с.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Державний вищий навчальний заклад "Донецький національний технічний університет"
Видання зберігається у :
Основний фонд
|
| 17. |
ДС78972
Чорненький, Віталій Іванович.
Засоби тестового діагностування цифрових пристроїв на базі штучних нейронних мереж [Текст] : дис... канд. техн. наук: 05.13.05 / Чорненький Віталій Іванович ; Технологічний ун-т Поділля. - Хмельницький, 2002. - 230 арк. - арк. 184-198Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Технологічний університет Поділля
Видання зберігається у :
Основний фонд
|
| 18. |
РА324700
Чорненький, Віталій Іванович.
Засоби тестового діагностування цифрових пристроїв на базі штучних нейронних мереж [Текст] : автореф. дис... канд. техн. наук: 05.13.05 / Чорненький Віталій Іванович ; Тернопільська академія народного господарства. - Т., 2003. - 20 с.: рис.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Тернопільська академія народного господарства
Видання зберігається у :
Основний фонд
|
| 19. |
ДС122143
Хинди, Шукри Насри Али.
Иерархические эволюционные методы генерации тестов цифровых систем [Текст] : дис. ... канд. техн. наук : 05.13.05 / Шукри Насри Али Хинди (Иордания) ; ГВУЗ "Донец. нац. техн. ун-т". - Донецк, 2010. - 141 л. : рис., табл. - Бібліогр.: арк. 131-139.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
"Донецкий национальный технический университет", государственное высшее учебное заведение
Видання зберігається у :
Основний фонд
|
| 20. |
ДС127287
Нгене, Кристофер Умерах.
Инфраструктура встроенного диагностирования HDL-моделей цифровых систем на кристаллах [Текст] : дис. ... канд. техн. наук : 05.13.05 / Нгене Кристофер Умерах ; Харьк. нац. ун-т радиоэлектроники. - Х., 2011. - 150 л. : рис. - Бібліогр.: арк. 136-150.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Харьковский национальный университет радиоэлектроники
Видання зберігається у :
Основний фонд
|
| | |
Простий
Розширений
Книжкові видання та компакт-диски
Пам`ятка користувача