З 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; Новосибирск). Предварительные материалы
Рубрики: Информационные технологии--Теория Кл.слова (ненормированные): Информатика Доп.точки доступа: Бьорнер, Николай \ed.\ Экземпляры всего: 1 02 ВМИ (1) Свободны: 02 ВМИ (1) |