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

Базы данных

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

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

Вид поиска
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>S=Информационные технологии -- Теория<.>)
Общее количество найденных документов : 1
1.
   З 973.2
   Е80
З 973.2 / Е80-02 ВМИ

    Ershov informatics conference (12 ; 2019 ; Novosibirsk).
    A. P. Ershov informatics conference, July 2-5, 2019, Novosibirsk, Akademgorodok, Russia [Text] : [PSI 19] : preliminary proceedings / editors: N. Bjorner [et al.]. - Novosibirsk : A. P. Ershov institute of informatics systems SB RAS : Novosibirsk state university, 2019. - VIII, 355 p. : ill. ; 29 см. - (PSI conference series, 12th edition). - Bibliogr. at the end of the reports. - 120 экз.
В надзаг.: A. P. Ershov institute of informatics systems SB RAS, Ministry of science and higher education of the Russian Federation, Novosibirsk state university
Перевод заглавия: Ершовская конференция по информатике (12; 2019; Новосибирск). Предварительные материалы
ГРНТИ
50.01
УДК
004(082)^V3
ББК З 973.2-01я431
Рубрики: Информационные технологии--Теория
Кл.слова (ненормированные):
Информатика


Доп.точки доступа:
Бьорнер, Николай \ed.\
Экземпляры всего: 1
02 ВМИ (1)
Свободны: 02 ВМИ (1)
Инвентарный номер: 28-17-2020но
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН