Пошуковий запит: (<.>U=З972-07$<.>) |
Загальна кількість знайдених документів : 132
Представлено документи з 1 до 20
|
| |
|
| | |
|
1. | ІВ192936
1970-1994, 25th anniversary compendium of papers from international test conference [Text] : proceedings / ed. P. H. Bardell ; IEEE computer soc. - Los Alamitos, California[etc.] : IEEE computer soc. press, 1994. - XV,794 p.:ill. - ISBN 0-8186-6617-X
Рубрики:
Географічні рубрики:
Видання зберігається у :
| |
|
| | |
|
2. | ІВ192913
Malaiya, Yaswant K.. Bridging faults and IDDQ testing [Text] / Y. K. Malaiya, R. Rajsuman ; IEEE computer soc. techn. comm. on test technology. - Los Alamitos, California[etc.] : IEEE computer soc.press, 1992. - VI,311 p.:ill. - (IEEE computer soc. press technology ser.). - Бібліогр.: v kinci tekstu. - ISBN 0-8186-3215-1
Рубрики:
Видання зберігається у :
| |
|
| | |
|
3. | ІВ192781
IEEE VLSI test symposium (11 ; 1993 ; Atlantic City). Digest of papers eleventh annual 1993 IEEE VLSI test symposium, April 6-8, 1993, Atlantic City, New Jersey [Text] / IEEE computer soc. a.o. - Los Alamitos, California[etc.] : IEEE computer soc. press, 1993. - XIII, 365 p.: fig. - ISBN 0-8186-3830-3
Рубрики:
Географічні рубрики:
Видання зберігається у :
| |
|
| | |
|
4. | ІВ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
Рубрики:
Видання зберігається у :
| |
|
| | |
|
5. | ІВ192819
European test conference (3 ; 1993 ; Rotterdam). Third European test conference, April 19-22, 1993, Rotterdam, The Netherlands [Text] : proceedings / IEEE computer soc. - Los Alamitos, California[etc.] : IEEE computer soc. press, 1993. - XVI, 548 p.:ill. - Альтернативное название : ETC93. - ISBN 0-8186-3360-3
Рубрики:
Видання зберігається у :
| |
|
| | |
|
6. | РА372699
Хінді, Шукрі Насрі Алі. Ієрархічні еволюційні методи генерації тестів цифрових систем [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 / Шуркі Насрі Алі Хінді ; ДВНЗ "Донец. нац. техн. ун-т". - Донецьк, 2010. - 20 с. : табл., рис.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
7. | РА431952
Савран, Віталій Олександрович. Інформаційні технології для автоматизованих систем технічного діагностування цифрових пристроїв на основі аналізу спектру сигналу [Текст] : автореф. дис. ... канд. техн. наук : 05.13.06 / Савран Віталій Олександрович ; Держ. ун-т телекомунікацій. - Київ, 2017. - 20 с. : рис.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
8. | РА386096
Нгене, Кристофер Умерах. Інфраструктура убудованого діагностування HDL-моделей цифрових систем на кристалах [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 / Нгене Кристофер Умерах ; Харк. нац. ун-т радіоелектрон. - Х., 2011. - 20 с. : рис.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
9. | РА370876
Литвинова, Євгенія Іванівна. Інфраструктури верифікації та убудованого діагностування цифрових систем на кристалах [Текст] : автореф. дис. ... д-ра техн. наук : 05.13.05 / Литвинова Євгенія Іванівна ; Харк. нац. ун-т радіоелектроніки. - Х., 2010. - 36 с. : рис.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
10. | РА388331
Тієкура, Ів. Векторно-логічна інфраструктура вбудованого тестування цифрових систем на кристалах [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 / Тієкура Ів ; Харк. нац. ун-т радіоелектрон. - Х., 2012. - 20 с. : рис.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
11. | ДС133082
Тиекура, Ив. Векторно-логическая инфраструктура встроенного тестирования цифровых систем на кристаллах [Текст] : дис. ... канд. техн. наук : 05.13.05 / Тиекура Ив ; Харьк. нац. ун-т радиоэлектроники. - Х., 2011. - 182 л. - Бібліогр.: арк. 150-162.
Рубрики:
Видання зберігається у :
| |
|
| | |
|
12. | РА353579
Сиревич, Євгенія Юхимівна. Верифікація моделей цифрових пристроїв, які подано мовами опису апаратури [Текст] : автореф. дис... канд. техн. наук: 05.13.12 / Сиревич Євгенія Юхимівна ; Харківський національний ун-т радіоелектроніки. - Х., 2007. - 20 с.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
13. | ВА821040
Верифікація та валідація цифрових систем управління [Текст] : навч. посіб. / Г. В. Табунщик [та ін.] ; Co-funded by the Tempus programme of the European Union, DesIRE. - Запоріжжя : Дике поле, 2017. - 145, [2] с. : рис. - Бібліогр.: с. 144-145. - 300 прим. - ISBN 978-617-7433-22-3
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
14. | ДС107308
Сыревич, Евгения Ефимовна. Верификация моделей цифровых устройств, представленных на языках описания аппаратуры [Текст] : дис... канд. техн. наук: 05.13.12 / Сыревич Евгения Ефимовна ; Харьковский национальный ун-т радиоэлектроники. - Х., 2007. - 178 л. - Библиогр.: л. 141-152
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
15. | ВА713533
Діагностування цифрових пристроїв [Текст] : навч. посіб. для студ. вищ. навч. закл., які навч. за напрямами "Комп'ютерна інженерія" / О. Д. Азаров [и др.] ; Вінницький національний технічний ун-т. - Вінниця : УНІВЕРСУМ-Вінниця, 2009. - 74 с. - Бібліогр.: с. 71. - ISBN 978-966-641-301-0
Рубрики:
Видання зберігається у :
Основний фонд Філія №2
| |
|
| | |
|
16. | РА399127
Іванов, Дмитро Євгенійович. Діагностування цифрових пристроїв на базі еволюційного підходу [Текст] : автореф. дис. ... д-ра техн. наук : 05.13.05 / Іванов Дмитро Євгенійович ; Держ. вищ. навч. закл. "Донец. нац. техн. ун-т". - Донецьк, 2013. - 36 с. : рис.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
17. | РА328354
Колесніков, Костянтин Васильович. Дедуктивний метод моделювання несправностей для синтезу тестів цифрових систем, що реалізовані у програмувальній логіці [Текст] : автореф. дис... канд. техн. наук: 05.13.12 / Колесніков Костянтин Васильович ; Харківський національний ун-т радіоелектроніки. - Х., 2003. - 20 с.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
18. | РА321094
Сисенко, Ірина Юріївна. Дедуктивно-паралельне моделювання несправностей на моделях цифрових систем, що реконфугуруються [Текст] : автореф. дис... канд. техн. наук: 05.13.13 / Сисенко Ірина Юріївна ; Харківський національний ун-т радіоелектроніки. - Х., 2002. - 19 c.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
19. | ДС75853
Сысенко, Ирина Юрьевна. Дедуктивно-параллельное моделирование неисправностей на реконфигурируемых моделях цифровых систем [Текст] : дис... канд. техн. наук: 05.13.13 / Сысенко Ирина Юрьевна ; Харьковский национальный ун-т радиоэлектроники. - Х., 2002. - 146 л. - Библиогр.: л. 123-135
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
20. | ДС83198
Колесников, Константин Васильевич. Дедуктивный метод моделирования неисправностей для синтеза тестов цифровых систем, реализуемых в программируемой логике [Текст] : дис... канд. техн. наук: 05.13.12 / Колесников Константин Васильевич ; Харьковский национальный ун-т радиоэлектроники. - Х., 2003. - 171. - Библиогр.: л. 136-150
Рубрики:
Видання зберігається у :
Основний фонд
| |
| |