Поисковый запрос: (<.>U=004.3'12(043)<.>) |
Общее количество найденных документов : 22
Показаны документы с 1 по 20 |
|
>1. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар10-25562
Гришин, Р. А. Автоматизация ранних этапов проектирования цифровых устройств на ПЛИС на основе двухуровневого макромоделирования [Текст] : автореф. дис. ... канд. техн. наук : 05.13.12 / Р. А. Гришин. - М., 2010. - 24 с. : ил. - Библиогр.: с. 23-24 (5 назв.)
Кл.слова (ненормированные): цифровые устройства -- логические интегральные схемы -- структурный синтез -- сапр -- программное обеспечение -- двухуровневое макромоделирование
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>2. ![](/irbis64r_simplesite/images/printer.jpg)
| АР00-4411
Пышкин, Е. В. Автоматизация синтеза многоуровневых схем дискретных преобразователей информации на задаваемом избыточном элементном базисе [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.05 / Е. В. Пышкин. - СПб., 2000. - 16 с. : ил. Библиогр.:с. 16(5 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>3. ![](/irbis64r_simplesite/images/printer.jpg)
| АР95-024
Чижухин, Г. Н. Анализ и синтез элементов и устройств дискретной техники с использованием тензорно-множественных методов [Текст] : автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.05 / Г. Н. Чижухин. - Самара, 1995. - 43 с. : ил В надзаг.:Самар.гос.аэрокосм.ун-т им.С.П.Королева.Библиогр.:с.39-43(39 назв.)
Экземпляры всего 1: сф (1)
Свободны: сф (1)
Найти похожие
|
>4. ![](/irbis64r_simplesite/images/printer.jpg)
| АР92-9453
Бибило, П. Н. Декомпозиционные методы логического синтеза дискретных устройств на программируемых матричных структурах [Текст] : автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.05;05.13.12 / П. Н. Бибило. - Минск, 1992. - 31 с. : ил В надзаг.: АН Беларуси,Ин-т техн.кибернетики. Библиогр.: с. 28-31(45назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>5. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар12-9175
Чупилко, М. М. Динамическая верификации цифровой аппаратуры на основе формальных спецификаци [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.11 / М. М. Чупилко. - М., 2012. - 24 с. : ил. - Библиогр.: с. 23-24 (11 назв.) В надзаг.: Ин-т системного программирования Рос. АН
Кл.слова (ненормированные): цифровая аппаратура -- проектирование -- динамическая верификация -- автоматизация
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>6. ![](/irbis64r_simplesite/images/printer.jpg)
| АР91-5090
Микаэль Фуад Адам Исследование и разработка методов автоматизированного проектирования библиотечных моделей цифровых устройств [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / Микаэль Фуад Адам. - СПб, 1992. - 16 с. : ил В надзаг.: Санкт-Петербург.электротехн.ин-т им.В.И.Ульянова(Ленина). Библиогр.: с. 16(5назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>7. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар06-1983
Волков, А. В. Конструкторский синтез спецвычислителей на базе ПЛИС методом функциональной декомпозиции [Текст] : автореф. дис. ... канд. техн. наук : 05.27.01 / А.В. Волков. - М., 2005. - 18 с : ил. - Библиогр.: с. 18(3 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>8. ![](/irbis64r_simplesite/images/printer.jpg)
| АР96-2296
Тимошкин, А. И. Математические модели и методы построения контролепригодных схем для ранних стадий проектирования цифровых систем [Текст] : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. И. Тимошкин. - Саратов, 1996. - 16 с. Библиогр.:с. 16(6 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>9. ![](/irbis64r_simplesite/images/printer.jpg)
| АР95-2677
Долинский, М. С. Метод и средства комплексной автоматизации высокоуровневого проектирования цифровых систем [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / М. С. Долинский. - Гомель, 1994. - 23 с. : ил В надзаг.: Гомел.гос.ун-т им.Ф.Скорини. Библиогр.: с.21-23 (18 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>10. ![](/irbis64r_simplesite/images/printer.jpg)
| АР02-6580
Соловьев, В. В. Методы и алгоритмы проектирования цифровых систем на основе программируемых логических интегральных схем [Текст] : автореферат диссертации на соискание ученой степени д-ра техн. наук :05.13.05 / В. В. Соловьев. - Минск, 2001. - 31 с. : ил. Библиогр.: с. 27-31(56 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>11. ![](/irbis64r_simplesite/images/printer.jpg)
| АР95-2729
Гольдберг, Е. И. Методы оптимальной реализации на ПЛМ цифровых устройств, описываемых многозначными функциями [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12 / Е. И. Гольдберг. - Минск, 1994. - 22 с. В надзаг.: АН Беларуси,Ин-т техн.кибернетики. Библиогр.: с.21-22(15 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>12. ![](/irbis64r_simplesite/images/printer.jpg)
| АР01-1882
Останин, С. А. Методы синтеза контролепригодных дискретных устройств [Текст] : автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.01 / С. А. Останин. - Томск, 2000. - 23 с. : ил. В надзаг. : Том. гос. ун-т. Библиогр.:с. 22-23 (13 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>13. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар06-14260
Веселов, А. А. Модели и методы анализа проектных решений цифровой электронной техники на основе сетей Петри [Текст] : автореф. дис. ... д-ра техн. наук : 05.13.12 / А. А. Веселов. - Тверь, 2006. - 38 с. : ил. - Библиогр.: с. 34-38(42 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>14. ![](/irbis64r_simplesite/images/printer.jpg)
| АР97-3574
Харитонов, М. Ю. Параллельные алгоритмы и методы верификации аппаратных средств вычислительной техники [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / М. Ю. Харитонов. - СПб, 1997. - 16 с. Библиогр.:с. 16(5 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>15. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар03-6906
Иванов, А. Г. Программная имитация многопроцессорных схем, входящих в состав цифровых устройств [Текст] : автореф. дис. ... канд. техн. наук : 05.13.11 / А. Г. Иванов. - СПб., 2002. - 12 с. В надзаг.: С.-Петерб. гос. ун-т. Библиогр.: с. 12 (2 назв.).
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>16. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар07-13688
Уваров, С. С. Проектирование реконфигурируемых отказоустойчивых систем на ПЛИС с резервированием на уровне ячеек [Текст] : автореф. дис. ... канд. техн. наук : 05.13.15 / С. С. Уваров. - М., 2007. - 28 с. : ил. - Библиогр.: с. 27(2 назв.) В надзаг.: Рос. АН, Ин-т проблем управления им. В.А.Трапезников
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>17. ![](/irbis64r_simplesite/images/printer.jpg)
| АР94-998
Вишняков, Ю. М. Разработка и исследование методов проектирования дискретных устойств для интегрированных инструментальных систем со сквозным циклом проектирования [Текст] : автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.12:05.13.14 / Ю. М. Вишняков. - Таганрог, 1993. - 36 с В надзаг.: Таганрог.радиотехн.ин-т. Библиогр.: с.31-36 (57 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>18. ![](/irbis64r_simplesite/images/printer.jpg)
| АР99-849
Денисова, Э. В. Разработка и исследование системы автоматизированного проектирования ЦУ на функционально-логическом уровне [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.12 / Э. В. Денисова. - СПб, 1998. - 16 с. : ил. В надзаг. : С.-Петерб.гос.ин-т точной механики и оптики(техн.ун-т).Библиогр.:с. 16(3 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>19. ![](/irbis64r_simplesite/images/printer.jpg)
| АР94-5162
Сидоров, М. П. Разработка методики для автоматизации синтеза цифровых устройств на наборе приборов ПМЛ [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / М. П. Сидоров. - М., 1994. - 18 с. : ил В надзаг.: Моск.энерг.ин-т (техн. ун-т)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
>20. ![](/irbis64r_simplesite/images/printer.jpg)
| Ар04-12376
Гончаров, Д. А. Разработка методов проектирования цифровых устройств на программируемых логических схемах [Текст] : автореф. дис. ... канд. техн. наук : 05.13.12 / Д. А. Гончаров. - СПб., 2004. - 18 с. : ил. - Библиогр.: с. 18(8 назв.)
Экземпляры всего 1: ХР (1)
Свободны: ХР (1)
Найти похожие
|
|
|
|