Полное описание
Рябец, Л. В.
ГРНТИ УДК 50.33.14 004.3'12(043) 512.563(043)
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар07-13251)
Шифр в сводном ЭК: 639380c9a63fe3450a6cdb07dddceedd
Штейн М.Е. Методы машинного проектирования цифровой аппаратуры, 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.01 "Системный анализ,управление и обработка информации (по отраслям)" : автореферат диссертации на соискание ученой степени канд. техн. наук / С. А. Останин, 2000. - 23 с. - Текст : непосредственный. Мальцев И.А. Итеративные алгебры, близкие к транзитивным : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / И. А. Мальцев, 2004. - 26 с. - Текст : непосредственный. Перязева Ю.В. Минимизация булевых функций в классах бинарных термов и полиномиальных нормальных форм : специальность 05.13.16 "" : автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / Ю. В. Перязева, 1999. - 18 с. - Текст : непосредственный. Хородов В.С. Разработка методов и средств многоагентного распределенного автоматизированного проектирования структурно-функциональных лингвистических моделей вычислительных устройств / В. С. Хородов, 2015. - 23 с. - Текст : непосредственный. Шаранхаев И.К. Слабоповторные булевы функции в предэлементарных базисах : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / И. К. Шаранхаев, 2003. - 11 с. - Текст : непосредственный. Винокуров С.Ф. Операторы в полиномиальных представлениях булевых функций : специальность 01.01.09 "" : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук / С. Ф. Винокуров, 2001. - 27 с. - Текст : непосредственный. Рябец Л.В. Сложность и алгоритмы построения проверяюших тестов и некоторых классов полиномиальных форм булевых функций : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : диссертация на соискание ученой степени канд. физ.-мат. наук / Л. В. Рябец, 2007. - 18 с. - Текст : непосредственный. Филиппов В.А. Разработка методов синтеза программно-аппаратных комплексов с использованием высокоуровневых языков описания : специальность 05.13.05 "Элементы и устройства вычислительной техники и систем управления" : автореферат диссертации на соискание ученой степени канд. техн. наук / В. А. Филиппов, 2001. - 16 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Микаэль Фуад Адам.Исследование и разработка методов автоматизированного проектирования библиотечных моделей цифровых устройств : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / Микаэль Фуад Адам, 1992. - 16 с. - Текст : непосредственный. Тимошкин А.И. Математические модели и методы построения контролепригодных схем для ранних стадий проектирования цифровых систем : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. И. Тимошкин, 1996. - 16 с. - Текст : непосредственный. Забалуев Р.Н. О средней сложности булевых функций : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / Р. Н. Забалуев, 2004. - 11 c. - Текст : непосредственный. Леонтьева М.Н. Сильная конструктивизируемость булевых алгебр : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / М. Н. Леонтьева, 2013. - 15 с. - Текст : непосредственный. Власов В.Н. Алгоритмические свойства булевых алгебр : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. Н. Власов, 1999. - 16 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
