Приложение
для AndroidПолное описание
Али А.Мохаммад.. Верификация проектов аппаратных средств ЭВМ на основе модели взаимодействующих последовательных процессов : автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Али А.Мохаммад. - СПб, 1994. - 16 с. - Текст : непосредственный.
В надзаг.: С.-Петербург.гос.электротехн.ун-т им.В.И.Ульянова (Ленина). Библиогр.: с.16 (3 назв.)
| ГРНТИ | УДК | |
| 50.33.14 | 004.38'12(043) |
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): АР94-4938)
Шифр в сводном ЭК: 4b4657e0df243e9cf215b0b63163189d
Штейн М.Е. Методы машинного проектирования цифровой аппаратуры, 1973. - 294 с. - Текст : непосредственный.Филимонов А.В. Разработка и реализация многоуровневых алгоритмов декомпозиции гиперграфовых моделей / А. В. Филимонов, 2008. - 23 с. - Текст : непосредственный.Correct hardware design and verification methods / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.Human centered design / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Пыхтин В.Я. Создание совместимых на различных уровнях персональных, мобильных и стационарных ЭВМ общего назначения для использования в вычислительных системах народного хозяйства и обороны страны : специальность 05.13.13 "" : автореферат диссертации на соискание ученой степени д-ра техн. наук / В. Я. Пыхтин, 1990. - 52 с. - Текст : непосредственный.Хородов В.С. Разработка методов и средств многоагентного распределенного автоматизированного проектирования структурно-функциональных лингвистических моделей вычислительных устройств / В. С. Хородов, 2015. - 23 с. - Текст : непосредственный.Разработка и производство микроЭВМ в странах-членах соглашения по сотрудничеству в области вычислительной техники : сборник / Межправительственная комис. по сотрудничеству в обл. вычислительной техники (Москва), 1990. - 92 л. - Текст : непосредственный.Проектирование средств вычислительной техники.Проектирование цифровых устройств РТС : сборник научных трудовЧ. 2 / Ред. В. Б. Смолов, 1973. - 270 c. - Текст : непосредственный.Кузнецов А.Л. Перспективы применения экспертных систем в проектировании и производстве электронно-вычислительной аппаратуры / А. Л. Кузнецов, 1990. - 19 c. - Текст : непосредственный.Тонкий Л.В. Теория и практика применения САПР при проектировании электронно-вычислительных средств : выставочные материалы / Л. В. Тонкий, 2012. - 125 с. - Текст : непосредственный.Tutorial:gallium arsende computer design / Ed.: V. M. Milutinovi@wc, D. A. Fura, 1988. - VI,354 p. p. - Текст : непосредственный.Использование системы диалогового проектирования на ПЭВМ IBM PC / Белорусский НИИ науч.-технической информации и технико-экономических исслед. (Минск), 1991. - 6 c. - Текст : непосредственный.Волгин В.Г. Системы автоматизированного проектирования средств вычислительной техники (САПР средств ВТ) / В. Г. Волгин, 1998. - 135 с. - Текст : непосредственный.Прогнозирование качества ЭВС при проектировании : учебное пособие / В. В. Жаднов, С. Н. Полесский, С. Э. Якубов, Е. М. Гамилова, 2009. - 190 с. - Текст : непосредственный.Управляющие вычислительные комплексы ПС 1001. Вторая очередь : методический материал, 1989. - 200 с. - Текст : непосредственный.Mano M.M. Computer engineering hardware design / M. M. Mano, 1988. - XI,434 p. p. - Текст : непосредственный.Хвощ С.Т. Технология проектирования микропроцессорных БИС / С. Т. Хвощ, 1990. - 22 c. - Текст : непосредственный.Рябец Л.В. Сложность и алгоритмы построения проверяюших тестов и некоторых классов полиномиальных форм булевых функций : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : диссертация на соискание ученой степени канд. физ.-мат. наук / Л. В. Рябец, 2007. - 18 с. - Текст : непосредственный.Филиппов В.А. Разработка методов синтеза программно-аппаратных комплексов с использованием высокоуровневых языков описания : специальность 05.13.05 "Элементы и устройства вычислительной техники и систем управления" : автореферат диссертации на соискание ученой степени канд. техн. наук / В. А. Филиппов, 2001. - 16 с. - Текст : непосредственный.Чуканов В.О. Разработка и исследование методов и средств надежностного проектирования специализированных ЭВМ с комбинированным резервированием : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей", 05.13.13 "" : автореферат диссертации на соискание ученой степени д-ра техн.наук / В. О. Чуканов, 1994. - 32 с. - Текст : непосредственный.
Показать все результатыРыбальченко М.В. Разработка и исследование алгоритмов и аппаратных средств для поддержки процедуры размещения элементов вычислительных устройств : специальность 05.13.12 "Системы автоматизации проектирования (по отраслям)", 05.13.05 "Элементы и устройства вычислительной техники и систем управления" : автореферат диссертации на соискание ученой степени канд.техн.наук / М. В. Рыбальченко, 1994. - 16 с. - Текст : непосредственный.
Гамбарян А.С. Разработка методов анализа конструкций ЭВМ на ранних этапах проектирования : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.12 / А. С. Гамбарян, 1989. - 16 с. - Текст : непосредственный.Кузьмин Ю.М. Исследование и разработка методов и средств моделирования многоуровневой оперативной памяти для проектирования высокопроизводительной ЭВМ на системном этапе : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Ю. М. Кузьмин, 1998. - 16 с. - Текст : непосредственный.Сороколетов П.В. Разработка и исследование композитных алгоритмов компоновки блоков ЭВА : автореф. дис. .. канд. техн. наук: 05.13.12 / П. В. Сороколетов, 2004. - 16 с. - Текст : непосредственный.Горянкин А.В. Верификация проектов аппаратных средств ЭВМ на основе параллельных описаний : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / А. В. Горянкин, 1992. - 16 с. - Текст : непосредственный.Никифоров А.М. Разработка параллельного генетического алгоритма размещения блоков электронной вычислительной аппаратуры : Автореферат диссертации на соискание ученой степени канд. техн. наук :05.13.12 / А. М. Никифоров, 2002. - 15 с. - Текст : непосредственный.Попов А.Ю. Модели и алгоритмы автоматизированной декомпозиции схем ЭВМ : автореф. дис. .. канд. техн. наук: 05.13.12 / А. Ю. Попов, 2003. - 16 с. - Текст : непосредственный.Алиев Ш.С. Методы и алгоритмы системного проектирования ЭВМ и сетей передачи данных с неоднородной нагрузкой : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Ш. С. Алиев, 1993. - 20 с. - Текст : непосредственный.Чевычелов Ю.А. Разработка подсистем функционально-логического моделирования САПР средств вычислительной техники на основе мини- и микроЭВМ : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.12 / Ю. А. Чевычелов, 1990. - 17 с. - Текст : непосредственный.Марчук А.Г. Методы и средства экспериментального проектирования архитектуры ЭВМ и микропроцессоров : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук в форме науч.докл.:05.13.11 / А. Г. Марчук, 1993. - 43 с. - Текст : непосредственный.Бакало М.А. Разработка и исследование интегрированной инструментальной подсистемы генетического поиска проектных решений : автореф. дис. .. канд. техн. наук: 05.13.12, 05.13.17 / М. А. Бакало, 2007. - 16 с. - Текст : непосредственный.Белоусова И.В. Исследование, разработка и применение методов расчета количественных оценок контролепригодности в САПР цифровых устройств : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.13.12 / И. В. Белоусова, 1993. - 16 с. - Текст : непосредственный.Мищенко М.Н. Исследование и разработка бионических методов размещения коммутационных схем ЭВА : автореф. дис. .. канд. техн. наук: 05.13.12 / М. Н. Мищенко, 2005. - 16 с. - Текст : непосредственный.Смирнова О.В. Разработка и исследование генетических алгоритмов компоновки блоков ЭВА : автореф. дис. .. канд. техн. наук: 05.13.12 / О. В. Смирнова, 2002. - 16 с. - Текст : непосредственный.Воробушков В.В. Обеспечение целостности сигналов при разработке современных вычислительных устройств : автореф. дис. .. канд. техн. наук: 05.13.05 / В. В. Воробушков, 2011. - 21 с. - Текст : непосредственный.Али А.Мохаммад.Верификация проектов аппаратных средств ЭВМ на основе модели взаимодействующих последовательных процессов : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Али А.Мохаммад., 1994. - 16 с. - Текст : непосредственный.Соловей Д.Е. Разработка элементов АРМ проектирования изделий электронной и вычислительной техники : Автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.12 / Д. Е. Соловей, 1998. - 16 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Заказ фрагмента документа ₽