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

Базы данных

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

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

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

Вид документа : Продолжающееся издание
Шифр издания : И-З 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)
Найти похожие
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/G18
Автор(ы) : Garcia, Oscar N., Chien, Yi-Tzuu
Заглавие : Knowledge-based systems : Fundamentals and tools
Выходные данные : Los Alamitos: IEEE Computer society press, 1991
Колич.характеристики :XIV,495 p.: Ill.
Примечания : Bibliogr. at the end of the art
ISBN, Цена 0-8186-1924-4: Б.ц.
ГРНТИ : 50.41.21
ББК : З 973.205я43
Предметные рубрики: Системы с базами знаний
Дескрипторы: моногр
Ключевые слова (''Своб.индексиров.''): логическое программирование--базы знаний--верификация
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : И-Ж/E91
Заглавие : The European design automation conference : proceedings: Hamburg, sept. 7-10, 1992 : EURO-DAC'92, EURO-VHDL'92
Выходные данные : Los Alamitos, Ca [etc.]: IEEE computer soc. press, 1992
Колич.характеристики :XVIII, 765 с European design automation conferenc(1992;Hamburg)
Серия: IEEE publications/ Inst.of electrical and electronics engineers, ISSN 0149-144X; 92CH3126-0
Примечания : Bibliogr. at the end of the art. - - Auth. ind.: p. 763-765
ISBN, Цена 0-8186-2780-8: Б.ц.
ГРНТИ : 50.51
ББК : Ж2с512я431
Предметные рубрики: Автоматизированное проектирование
Дескрипторы: конф
Ключевые слова (''Своб.индексиров.''): верификация программ--тестирование--топологическая оптимизация
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : И-Ж/I.69
Заглавие : 1992 IEEE/ACM international conference on computer-aided design: Digest of technical papers : Nov. 8-12, 1992, Santa Clara, California
Выходные данные : Los Alamitos: IEEE Computer soc. press, 1992
Колич.характеристики :XXV,637 с.: Ill.
Коллективы : International conference on computer-aided design (1992;Santa Clara, California.)
Серия: IEEE publications/ Inst.of electrical and electronics engineers, ISSN 0149-144X; 92CHO3183-1
Примечания : Bibliogr. at the end of the art.Auth. ind.: p. 635-637
ISBN, Цена 0-8186-3010-8: Б.ц.
ГРНТИ : 50.51
ББК : Ж2с512я431
Предметные рубрики: Автоматизированное проектирование
Дескрипторы: конф.м
Ключевые слова (''Своб.индексиров.''): верификация программ--тестирование--синтез--моделирование
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : И-З 97/F75
Заглавие : Formal verification of hardware design : сборник
Выходные данные : Los Alamitos: IEEE Computer society press, 1990
Колич.характеристики :IX,326 p.: Ill.
Примечания : Bibliogr. at the end of the chapters. - - Ind.: p. 317-326
ISBN, Цена 0-8186-9017-8: Б.ц.
ГРНТИ : 50.33.14
ББК : З 973.2-02
Предметные рубрики: Компьютеры-- Проектирование
Дескрипторы: сб
Ключевые слова (''Своб.индексиров.''): временная логика--верификация--микропроцессоры
Содержание : B; B
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : И-З 97/I.69
Заглавие : Pacific rim international symposium on fault tolerant systems: Proceedings : Sept. 26-27, 1991, Kawasaki, Jap
Выходные данные : Los Alamitos: IEEE Computer society press, 1991
Колич.характеристики :X,259 p.: Ill. International symposium on fault tolerant systems (1991; Kawasaki, Japan)
Примечания : Bibliogr. at the end of the art. - - Auth. ind.: p. 259
ISBN, Цена 0-8186-2275-X: Б.ц.
ГРНТИ : 50.33.03
ББК : З 973.22-021.1я431
Предметные рубрики: Вычислительные системы-- Надежность
Дескрипторы: конф.м
Ключевые слова (''Своб.индексиров.''): кодирование--верификация программ
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : И-З 97/S98
Заглавие : System and software requirements engineering
Выходные данные : Los Alamitos: IEEE Computer society press, 1990
Колич.характеристики :XVI,719 p.: Ill.
Серия: IEEE Computer society press tutorial
Примечания : Bibliogr. at the end of the art. - ; p. 683-695. - Ind.: p. 697-718
ISBN, Цена 0-8186-8921-8: Б.ц.
ГРНТИ : 50.41
ББК : З 973.2-018я43
Предметные рубрики: Компьютеры-- Программное обеспечение
Дескрипторы: сб
Ключевые слова (''Своб.индексиров.''): ресурс программного обеспечения--верификация--макетирование
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : Pr1099/Pr1099/92-0002
Заглавие : "Verification, validation et test" dans le cycle de developpement des systemes a base de connaissances
Параллельн. заглавия :"Validation, verification and testing" procedures in the life cycle of knowledge-based systems
Выходные данные : Clamart, 1992
Колич.характеристики :18 p.: Ill.
Серия: Collection de notes internes de la Direction des etudes et recherches, ISSN 1161-059X; 92 NI J 0002
Примечания : Res. aussi Angl. - Bibliogr.: p. 18
Цена : 6 р.
ГРНТИ : 50.41
ББК : З 973.205
Предметные рубрики: Системы с базами знаний
Дескрипторы: сб пр
Экземпляры :02 ВМИ(1)
Свободны : 02 ВМИ(1)
Найти похожие
10.

Вид документа : Однотомное издание
Шифр издания : З 973.2/P93
Заглавие : Program semantics, specification and verification : theory and applications : PSI 19 : 12th A. P. Ershov informatics conference : X workshop PSSV, July 1-2, 2019, Novosibirsk, Akademgorodok, Russia : abstracts
Выходные данные : Novosibirsk: A. P. Ershov institute of informatics systems SB RAS; Novosibirsk: Novosibirsk state university, 2019
Колич.характеристики :39 p.: ill.; 29 см.
Серия: PSI conference series, 12th edition
Примечания : Bibliogr. at the end of the reports. - В надзаг.: A. P. Ershov institute of informatics systems SB RAS, Ministry of science and higher education of the Russian Federation, Novosibirsk state university
ISBN, Цена 978-5-4437-0918-5: 293 р.
ГРНТИ : 50.41
УДК : 519.6(082)
ББК : З 973.2-018я431
Предметные рубрики: Компьютеры-- Программное обеспечение
Ключевые слова (''Своб.индексиров.''): компьютеры персональные - программирование
Экземпляры :02 ВМИ(1)
Свободны : 02 ВМИ(1)
Найти похожие
 1-10    11-20   21-26 
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН