Главная Упрощенный режим Описание Шлюз Z39.50

Базы данных

Всего записей: 50699

Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска

Вид поиска
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=логический синтез<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.

Вид документа : Однотомное издание
Шифр издания : И-Ж/E91
Заглавие : The European conference on design automation: Proceedings : Amsterdam, Febr. 25-28, 1991
Выходные данные : Los Alamitos: IEEE Computer soc. press, 1991
Колич.характеристики :XXIV,601 p.: Ill. European conference on design automation (1991; Amsterdam)
Примечания : Bibliogr. at the end of the art. - - Auth. ind.: p. 599-601
ISBN, Цена 0-8186-2130-3: Б.ц.
ГРНТИ : 50.51
ББК : Ж2с512я431
Предметные рубрики: Автоматизированное проектирование
Дескрипторы: конф
Ключевые слова (''Своб.индексиров.''): логический синтез--верификация программ--комбинационные схемы
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
2.

Вид документа : Продолжающееся издание
Шифр издания : И-З 97/I.69/91
Заглавие : 1991 IEEE International conference on computer design: VLSI in computers and processors. Proceedings : ICCD'91, Roy. Sonesta Hotel, Cambridge, Mass., USA, Oct. 14-16, 1991
Выходные данные : Los Alamitos: IEEE Computer society press, 1991
Колич.характеристики :XVI,653 с.: Ill.
Коллективы : International conference on computer design: VLSI in computers and processors (1990;Cambridge)
Примечания : Bibliogr. at the end of the art.Auth. ind.: p. 651-653
ISBN, Цена 0-8186-2270-9: Б.ц.
ГРНТИ : 50.33.14
ББК : З 973.2-02я431
Предметные рубрики: Компьютеры-- Проектирование
Дескрипторы: конф.м
Ключевые слова (''Своб.индексиров.''): верификация--логический синтез--интегральные схемы
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
3.

Вид документа : Продолжающееся издание
Шифр издания : И-З 97/I.69/92
Заглавие : 1992 IEEE International conference on computer design: VLSI in computers amd processors. Proceedings : Oct. 11-14, 1992
Выходные данные : Los Alamitos: IEEE Computer society press, 1992
Колич.характеристики :XVII,605 p.: Ill.
Коллективы : International conference on computer design: VLSI in computers and processors (1990;Cambridge)
Примечания : Bibliogr. at the end of the art.Auth. ind.: p. 603-605
ISBN, Цена 0-8116-3110-4: Б.ц.
ГРНТИ : 50.33.14
ББК : З 973.2-02я431
Предметные рубрики: Компьютеры-- Проектирование
Дескрипторы: конф.м
Ключевые слова (''Своб.индексиров.''): верификация--логический синтез--интегральные схемы
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН