Главная Новые поступления Описание Шлюз Z39.50

Базы данных


Нанотехнологии - результаты поиска

Вид поиска
Каталог книг и продолжающихся изданий
Сводный каталог иностранных периодических изданий, имеющихся в библиотеках УрО РАН
Сводный каталог отечественных периодических изданий, имеющихся в библиотеках УрО РАН
Каталог диссертаций и авторефератов диссертаций УрО РАН
Каталог препринтов УрО РАН (1975 г. - )
Имидж-каталог отечественных книг (до 2010 г.)
Имидж-каталог иностранных книг (до 2010 г.)
Алфавитно-предметный указатель (АПУ) ЦНБ УрО РАН
Публикации об УрО РАН
Изобретения уральских ученых
Интеллектуальная собственность (статьи из периодики)
Нанотехнологии
Демидовские премии
Гибель династии Романовых
История Урала
Личная библиотека С. В. Вонсовского
Книжная коллекция Шубиных
Труды Института высокотемпературной электрохимии УрО РАН
Труды Института истории и археологии УрО РАН
Труды сотрудников Института горного дела УрО РАН
Труды сотрудников Института органического синтеза УрО РАН
Труды сотрудников Института теплофизики УрО РАН
Труды сотрудников Института химии твердого тела УрО РАН
Расплавы
Труды сотрудников ЦНБ УрО РАН
Публикации Черешнева В.А.
Публикации Чарушина В.Н.
Каталог библиотеки ИЭРиЖ УрО РАН
Электронная энциклопедия «Дискурсология»
Библиометрия
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Поисковый запрос: (<.>A=Непомнящий, О. В.$<.>)
Общее количество найденных документов : 1
1.

Вид документа : Статья из журнала
Шифр издания : 620.3/Н 53
Автор(ы) : Непомнящий О. В., Алекминский С. Ю.
Заглавие : Проблемы верификации проекта при сквозном проектировании вычислительных систем-на-кристалле
Место публикации : Нано- и микросистемная техника . - 2010. - № 9. - С. 4-7: рис. - ISSN 1813-8586. - ISSN 1813-8586
Примечания : Библиогр. : с. 7 (6 назв.)
УДК : 620.3
ББК : 623.7
Предметные рубрики: ТЕХНИКА. ТЕХНИЧЕСКИЕ НАУКИ
Ключевые слова (''Своб.индексиров.''): верификация функциональная--вертификация системная--система-на-кристалле--сбис
Аннотация: Рассмотрены современные проблемы функциональной и системной верификации проектирования сверхбольших интегральных схем и, в частности, систем-на-кристалле. Приведен обзор существующих методик верификации и предложены пути решения означенных проблем
Найти похожие
 
Описание базы данных
Стандартный
По словарю
Расширенный
ГРНТИ-навигатор
Статистика обращений

Сиглы отделов ЦНБ УрО РАН


  бр.ф. - Бронированный фонд

  бф - Научно-библиографический отдел

  БХЛ - Фонд художественной литературы

  ИИиА -Фонд исторической литературы в ЦНБ УрО РАН

  ИМЕТ -Отдел ЦНБ в Институте металлургии УрО РАН

  кх - Отдел фондов (книгохранениe)

  МБА - Межбиблиотечный абонемент

  мф - Методический фонд

  ок - Отдел научной каталогизации

  оку - Отдел комплектования и учета

  орф - Обменно-резервный фонд

  пф - Читальный зал деловой и патентной информации

  рк - Фонд редкой книги

  ч/з - Главный читальный зал

  эр - Зал электронных ресурсов

  

Сиглы библиотек институтов и НЦ УрО РАН
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)
Яндекс.Метрика