Ваш поиск дал 3 результатов

Результаты поиска
	1.		КнигаA. P. Ershov informatics conference, July 2-5, 2019, Novosibirsk, Akademgorodok, Russia : preliminary proceedings / A. P. Ershov institute of informatics systems SB RAS, Ministry of science and higher education of the Russian Federation, Novosibirsk state university ; N. Bjørner [et al.] eds.A. P. Ershov informatics conference 12 (2019)2019Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: Ик 2019-8/187 (1). Добавить в подборку (удалить)
	2.		КнигаЕршовская конференция по информатике 2014, 24-27 июня 2014 года, Санкт-Петербург : доклады и тезисыМеждународная Ершовская конференция по информатике 9 (2014) 2014Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	3.		КнигаProgram semantics, specification and verification: theory and applications : X Workshop PSSV, July 1-2, 2019, Novosibirsk, Akademgorodok, Russia : abstracts / A. P. Ershov institute of informatics systems SB RAS, Ministry of science and higher education of the Russian Federation, Novosibirsk state university ; V. Zakharov [et al.] (eds.)2019Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: Ик 2019-8/209 (1). Добавить в подборку (удалить)

Связаться с нами:

тел.: 8-800-100-01-96 , 8(812)310-71-37

e-mail: office@nlr.ru