• "Computer science in Russia", international symposium

Запись [210] НАИМЕНОВАНИЕ ОРГАНИЗАЦИИ

Количество использованных записей: 1

210 12 - ПРИНЯТАЯ ТОЧКА ДОСТУПА - НАИМЕНОВАНИЕ ОРГАНИЗАЦИИ

  • Начальный элемент ввода: "Computer science in Russia", international symposium
  • Порядковый номер временной организации и/или номер ее части.: 8
  • Дата проведения временной организации: 2013
  • Место проведения временной организации: Yekaterinburg

305 0# - ССЫЛОЧНОЕ ПРИМЕЧАНИЕ СМ. ТАКЖЕ

  • Текст примечания: Проходил в рамках симпозиума, издания которого см. в каталоге:
  • Точка доступа, к которой делается ссылка: "Program semantics, specification and verification: theory and application", workshop. (4; 2013; Yekaterinburg)
  • : RU\NLR\AUTH\880374605

410 12 - ВАРИАНТНАЯ ТОЧКА ДОСТУПА - НАИМЕНОВАНИЕ ОРГАНИЗАЦИИ

  • Управление связями: z
  • Начальный элемент ввода: International symposium "Computer science in Russia"
  • Порядковый номер временной организации и / или номер ее части: 8
  • Дата проведения временной организации: 2013
  • Место проведения временной организации: Yekaterinburg

410 12 - ВАРИАНТНАЯ ТОЧКА ДОСТУПА - НАИМЕНОВАНИЕ ОРГАНИЗАЦИИ

  • Управление связями: d
  • Начальный элемент ввода: CSR 2013

410 12 - ВАРИАНТНАЯ ТОЧКА ДОСТУПА - НАИМЕНОВАНИЕ ОРГАНИЗАЦИИ

  • Управление связями: z
  • Начальный элемент ввода: VIII International symposium "Computer science in Russia"
  • Дата проведения временной организации: 2013
  • Место проведения временной организации: Yekaterinburg

410 12 - ВАРИАНТНАЯ ТОЧКА ДОСТУПА - НАИМЕНОВАНИЕ ОРГАНИЗАЦИИ

  • Управление связями: z
  • Начальный элемент ввода: 8 International symposium "Computer science in Russia"
  • Дата проведения временной организации: 2013
  • Место проведения временной организации: Yekaterinburg

410 12 - ВАРИАНТНАЯ ТОЧКА ДОСТУПА - НАИМЕНОВАНИЕ ОРГАНИЗАЦИИ

  • Управление связями: z
  • Начальный элемент ввода: International computer science symposium in Russia
  • Дата проведения временной организации: 2013
  • Место проведения временной организации: Yekaterinburg

510 12 - СВЯЗАННАЯ ТОЧКА ДОСТУПА - НАИМЕНОВАНИЕ ОРГАНИЗАЦИИ

  • Управление связями: z0
  • Начальный элемент ввода: "Program semantics, specification and verification: theory and application", workshop
  • Порядковый номер временной организации и / или номер ее части: 4
  • Дата проведения временной организации: 2013
  • Место проведения временной организации: Yekaterinburg
  • Идентификатор авторитетной / нормативной записи: RU\NLR\AUTH\880374605

801 #0 - ИСТОЧНИК ЗАПИСИ

  • Страна: RU
  • Организация: NLR
  • Дата составления: 20121114

810 ## - ИСТОЧНИК, В КОТОРОМ ВЫЯВЛЕНА ИНФОРМАЦИЯ О ТОЧКЕ ДОСТУПА

  • Название источника: Fourth workshop "Program semantics, specification and verification: theory and application". - Yekaterinburg, 2013.
  • Найденная информация: Проходил 24 июня.

900 01 - СЛУЖЕБНЫЕ ПОМЕТКИ

  • Заголовок составил: 08 2014 АС
  • Оператор: Алиса

910 ## - ДОПОЛНИТЕЛЬНЫЕ СВЕДЕНИЯ

  • Тип коллектива: symposium
  • Географический признак: international, Russia
  • Основа наименования: Computer science Russia

943 ## -

  • : 20140901