Главная
Упрощенный режим
Описание
Шлюз Z39.50
Отделение ГПНТБ СО РАН
Базы данных
Всего записей: 50699
Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска
Вид поиска
Область поиска
Ключевые слова
Автор
Заглавие
Год издания
Персоналия
Характер документа
Коллектив/Мероприятие
Предметные рубрики
Персоналия
Сигла библиотек
Тип/вид документа
в найденном
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>K=верификация<.>)
Общее количество найденных документов
:
26
Показаны документы
с 1 по 10
1-10
11-20
21-26
1.
Вид документа
: Однотомное издание
Шифр издания
: З 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)
Найти похожие
2.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/775
Заглавие
: STACS 94 : 11th Annu. symp. on theoretical aspects of computer science Caen, France, Febr. 24-26, 1994: Proceedings
Выходные данные
: Berlin: Springer, 1994
Колич.характеристики
:XIV,782 p.: Ill.
Серия:
Lecture notes in computer science; 775
Примечания
: Bibliogr. at the end of the art. - - Auth. ind.: p. 781-782
ISBN, Цена
3-540-57785-8: Б.ц.
ГРНТИ
: 50.07.03
ББК
: З 973.2-01я431
Предметные рубрики:
Компьютеры-- Теория
Дескрипторы:
сб пр--конф
Ключевые слова
(''Своб.индексиров.''):
верификация
систем--геометрические вычисления--логика программ
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
3.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/685
Заглавие
: Advanced information systems engineering : 5th intern. conf., CAiSE'93, Paris, June 8-11, 1993: Proc
Выходные данные
: Berlin: Springer, 1993
Колич.характеристики
:XI, 648 p.: Ill.
Серия:
Lecture notes in computer science; 685
Примечания
: Bibliogr. at the end of the art
ISBN, Цена
3-540-56777-1: Б.ц.
ГРНТИ
: 50.41
ББК
: З 973.233-018я431
Предметные рубрики:
Информационные системы-- Программное обеспечение
Дескрипторы:
сб пр--конф.м
Ключевые слова
(''Своб.индексиров.''): объектно-ориентированные базы данных--
верификация
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
4.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/697
Заглавие
: Computer aided verification : 5th intern. conf., CAV'93, Elounda, Greece, June 28-July 1, 1993: Proc.
Выходные данные
: Berlin: Springer, 1993
Колич.характеристики
:IX, 504 p.: Ill.
Серия:
Lecture notes in computer science; 697
Примечания
: Bibliogr. at the end of the art
ISBN, Цена
3-540-56922-7: Б.ц.
ГРНТИ
: 50.41.17
ББК
: З 973.2-018.14я431
Предметные рубрики:
Верификация
-- Программ ЭВМ
Дескрипторы:
сб пр--конф.м
Ключевые слова
(''Своб.индексиров.''): временная логика--параллельные системы--системы реального времени
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
5.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/715
Заглавие
: CONCUR '93 : 4th Intern. conf. on concurrency theory Hildesheim, Germany, Aug. 23-26, 1993. Proceedings
Выходные данные
: Berlin: Springer, 1993
Колич.характеристики
:IX, 540 p.: Ill.
Серия:
Lecture notes in computer science; 715
Примечания
: Bibliogr. at the end of the art. - - Auth. ind. at the end of the book
ISBN, Цена
3-540-57208-2: Б.ц.
ГРНТИ
: 50.05.09
ББК
: З 973.2-018я431
Предметные рубрики:
Программное обеспечение-- ЭВМ
Дескрипторы:
сб пр--конф
Ключевые слова
(''Своб.индексиров.''): бисимуляция--процесс алгебры--временная
верификация
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
6.
Вид документа
: Однотомное издание
Шифр издания
: И-Ж/E91
Заглавие
: The European conference on design automation: Proceedings : Brussels, Mar. 16-19, 1992
Выходные данные
: Los Alamitos: IEEE Computer soc. press, 1992
Колич.характеристики
:XX,569 p.: Ill. European conference on design automation (1992; Brussels)
Примечания
: Bibliogr. at the end of the art. - - Auth. ind.: p. 567-569
ISBN, Цена
0-8186-2645-3: Б.ц.
ГРНТИ
: 50.51
ББК
: Ж2с512я431
Предметные рубрики:
Автоматизированное проектирование
Дескрипторы:
конф
Ключевые слова
(''Своб.индексиров.''):
верификация
программ--тестирование--формальные языки программирования
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
7.
Вид документа
: Однотомное издание
Шифр издания
: И-З 97/S98
Заглавие
: Proceedings of the seventh annual IEEE symposium on logic in computer science, Santa Cruz, California., June 22-25, 1992
Выходные данные
: Los Alamitos: IEEE Computer society press, 1992
Колич.характеристики
:XIII, 471 p.: Ill. Symposium on logic in computer science (7; 1992; Santa Cruz, California.)
Примечания
: Bibliogr. at the end of the art. - - Auth. ind.: p. 471
ISBN, Цена
0-8186-2735-2: Б.ц.
ГРНТИ
: 50.05.09
ББК
: З 973.205-018.12я431
Предметные рубрики:
Логическое программирование
Дескрипторы:
конф
Ключевые слова
(''Своб.индексиров.''): процесс алгебры--структуры данных--
верификация
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
8.
Вид документа
: Однотомное издание
Шифр издания
: 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)
Найти похожие
9.
Вид документа
: Продолжающееся издание
Шифр издания
: И-З 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)
Найти похожие
10.
Вид документа
: Однотомное издание
Шифр издания
: И-Ж/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)
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
1-10
11-20
21-26
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН