Главная
Упрощенный режим
Описание
Шлюз Z39.50
Отделение ГПНТБ СО РАН
Базы данных
Всего записей: 50699
Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска
Вид поиска
Область поиска
Ключевые слова
Автор
Заглавие
Год издания
Персоналия
Характер документа
Коллектив/Мероприятие
Предметные рубрики
Персоналия
Сигла библиотек
Тип/вид документа
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=верификация программ<.>)
Общее количество найденных документов
:
9
Показаны документы
с 1 по 9
1.
European design automation conferenc(1992; Hamburg).The European design automation conference. - 1992
2.
European conference on design automation (1991; Amsterdam).The European conference on design automation: Proceedings. - 1991
3.
European conference on design automation (1992; Brussels).The European conference on design automation: Proceedings. - 1992
4.
Temporal logic in specification/Ed. by B. Banieqbal a. o. - 1989
5.
International symposium on fault tolerant systems (1991; Kawasaki, Japan).Pacific rim international symposium on fault tolerant systems: Proceedings. - 1991
6.
Formal techniques in real - time and fault - tolerant systems/J.Vytopil (Ed.). - 1991
7.
ECOOP' 91 European conference on object-oriented programming/Ed by Pierre America. - 1991
8.
International conference on computer-aided design(1992;Santa Clara, California.). 1992 IEEE/ACM international conference on computer-aided design: Digest of technical papers. - 1992
9.
Symposium on research in security and privacy(1991;Oakland, California). 1991 IEEE Computer society symposium on research in security and privacy: Proceedings. - 1991
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН