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

Базы данных

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

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

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

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/335
Заглавие : Concurrency 88 : Proc. of the Intern. conf. on concurrency, Hamburg, FRG, Oct. 18-19, 1988
Выходные данные : Berlin: Springer, 1988
Колич.характеристики :VI,401 p.: Ill.
Серия: Lecture notes in computer science; 335
Примечания : Bibliogr. at the end of the art. - - Auth. ind.: p. 401
ISBN, Цена 3-540-50403-6: Б.ц.
ГРНТИ : 50.41.23
ББК : З 973.22-01я431
Предметные рубрики: Распределенные системы вычислительные
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): языки программирования--верификация--распределенные базы данных
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/398
Заглавие : Temporal logic in specification : Altrincham, UK, Apr. 8-10, 1987. Proc.
Выходные данные : Berlin: Springer, 1989
Колич.характеристики :VI,448 p.: Ill.
Серия: Lecture notes in computer science; 398
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-51803-7:
ГРНТИ : 50.05.03
ББК : З 973.2-018я431
Предметные рубрики: Программное обеспечение-- ЭВМ
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): временная логика--верификация программ--процесс алгебры
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : И-З 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)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : И-З 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)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : И-З 97/R14
Автор(ы) : Raeth, Peter G
Заглавие : Expert systems : A software methodology for modern applications
Выходные данные : Los Alamitos: IEEE Computer society press, 1990
Колич.характеристики :XI, 460 p.: Ill.
Примечания : Bibliogr. at the end of the chap
ISBN, Цена 0-8186-8904-8: Б.ц.
ГРНТИ : 50.41
ББК : З 973.205-018я43
Предметные рубрики: Экспертные системы-- Программное обеспечение
Дескрипторы: сб
Ключевые слова (''Своб.индексиров.''): пополнение знаний--верификация экспертных систем
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
6.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/408
Заглавие : Hardware specification, verification and synthesis: mathematical aspects : Mathematical Sciences Institute Workshop Cornell University, Ithaca, New York, USA July 5–7, 1989 Proceedings
Выходные данные : Berlin: Springer, 1990
Колич.характеристики :VI, 402 p.: ill.
Коллективы : Mathematical sciences institute (Ithaca)
Серия: Lecture notes in computer science; 408
ISBN, Цена 3-540-97226-9: Б.ц.
ISBN, Цена 0-387-97226-9: Б.ц.
ББК : З 973.2-044-01в641я431
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
7.

Вид документа : Однотомное издание
Шифр издания : Pr869/Pr869/407
Заглавие : Automatic verification methods for finite state systems : Intern. workshop, Grenoble, France, June 12-14, 1989. Proc.
Выходные данные : Berlin: Springer, 1990
Колич.характеристики :VII,382 p.: Ill.
Серия: lecture notes in computer science; 407
Примечания : Bibliogr. at the end of the art
ISBN, Цена 3-540-52148-8:
ГРНТИ : 50.05.09
ББК : З 973.2-018.14я431
Предметные рубрики: Верификация-- Программ ЭВМ
Дескрипторы: сб пр--конф
Ключевые слова (''Своб.индексиров.''): процесс алгебры--временная логика--теория конечных автоматов
Экземпляры :02(1)
Свободны : 02(1)
Найти похожие
8.

Вид документа : Однотомное издание
Шифр издания : И-Ж/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)
Найти похожие
9.

Вид документа : Однотомное издание
Шифр издания : И-З 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)
Найти похожие
10.

Вид документа : Продолжающееся издание
Шифр издания : И-З 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)
Найти похожие
 1-10    11-20   21-26 
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН