Теоретико-категорная характеризация различных эквивалентностей на временных автоматных моделях (Запись № 1428431)

Подробности
000 -МАРКЕР
контрольное поле 01805nam0a2200337 4500
001 - ИДЕНТИФИКАТОР ЗАПИСИ
контрольное поле RU\NLR\bibl\853616
005 - ИДЕНТИФИКАТОР ВЕРСИИ
контрольное поле 20260408195647.0
021 ## - НОМЕР ГОСУДАРСТВЕННОЙ РЕГИСТРАЦИИ
Код страны Российская Федерация
Номер 2005-27802
Номер Листа государственной регистраци 1398
035 ## - ДРУГИЕ СИСТЕМНЫЕ НОМЕРА
Идентификатор записи (NLR Aleph) 000842350
100 ## - ДАННЫЕ ОБЩЕЙ ОБРАБОТКИ
Данные общей обработки 20051013d2004 u y0rusy50 ca
101 0# - ЯЗЫК РЕСУРСА
Язык текста, звукозаписи и т.д. русский
102 ## - СТРАНА ПУБЛИКАЦИИ ИЛИ ПРОИЗВОДСТВА
Страна публикации Российская Федерация
105 ## - ПОЛЕ КОДИРОВАННЫХ ДАННЫХ: ТЕКСТОВЫЕ МАТЕРИАЛЫ, МОНОГРАФИЧЕСКИЕ
Кодированные данные о монографическом текстовом документе a |||||||||
200 1# - ЗАГЛАВИЕ И СВЕДЕНИЯ ОБ ОТВЕТСТВЕННОСТИ
Основное заглавие Теоретико-категорная характеризация различных эквивалентностей на временных автоматных моделях
Параллельное заглавие The category theoretical characterization of different equivalences for timed automata models
Первые сведения об ответственности Н.С. Грибовская
Язык параллельного заглавия английский
210 ## - ПУБЛИКАЦИЯ, РАСПРОСТРАНЕНИЕ И ДР.
Место издания, распространения и т.д. Новосибирск
Имя издателя, распространителя и т. д. Прайс-курьер
Дата издания, распространения и т.д. 2004
215 ## - ФИЗИЧЕСКАЯ ХАРАКТЕРИСТИКА
Специфическое обозначение материала и объем 38 с.
Другие сведения о физической характеристике ил.
Размеры 21
225 1# - СЕРИЯ
Основное заглавие серии Препринт
Сведения об ответственности Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова
Обозначение тома 119
300 ## - ОБЩИЕ ПРИМЕЧАНИЯ
Текст примечания Авт. также на англ. яз.: N.S. Gribovskaja
320 ## - ПРИМЕЧАНИЯ О НАЛИЧИИ В ДОКУМЕНТЕ БИБЛИОГРАФИИ / УКАЗАТЕЛЯ
Текст примечания Библиогр.: с.37-38 (13 назв.)
510 0# - ПАРАЛЛЕЛЬНОЕ ЗАГЛАВИЕ
Параллельное заглавие The category theoretical characterization of different equivalences for timed automata models
Язык заглавия английский
606 1# - НАИМЕНОВАНИЕ ТЕМЫ КАК ПРЕДМЕТ
Наименование темы Параллельные вычислительные системы
Тематический подзаголовок Теория
Системный номер авторитетной/нормативной записи 2286037
Идентификатор авторитетной/нормативной записи RU\NLR\auth\661369358
606 ## - НАИМЕНОВАНИЕ ТЕМЫ КАК ПРЕДМЕТ
Наименование темы Параллельное программирование (компьют.)
Тематический подзаголовок Математические основы
Идентификатор авторитетной/нормативной записи RU\NLR\auth\661402890
Системный номер авторитетной/нормативной записи 2347808
686 ## - ИНДЕКСЫ ДРУГИХ КЛАССИФИКАЦИЙ
Индекс З973.202-01
700 #1 - ИМЯ ЛИЦА - ПЕРВИЧНАЯ ОТВЕТСТВЕННОСТЬ
Начальный элемент ввода Грибовская
Часть имени, кроме начального элемента ввода Н. С.
Расширение инициалов личного имени Наталия Сергеевна
Код отношения Автор
790 #1 - ИМЯ ЛИЦА - АЛЬТЕРНАТИВНАЯ ФОРМА
Начальный элемент ввода Gribovskaja
Часть имени, кроме начального элемента ввода N. S.
Расширение инициалов личного имени Natalija Sergeevna
Код отношения Автор
801 #0 - ИСТОЧНИК ЗАПИСИ
Страна Российская Федерация
Организация NLR
Дата составления 20051013
Правила каталогизации rcr
801 #1 - ИСТОЧНИК ЗАПИСИ
Страна Российская Федерация
Организация NLR
Дата составления 20051013
942 ## - ДОПОЛНИТЕЛЬНЫЕ ЭЛЕМЕНТЫ ЗАПИСИ (АБИС)
Тип экземпляра АБИС Книга
980 ## - КОЛЛЕКЦИЯ
Название коллекции Национальная библиография
Экземпляры
Тип экземпляра Дата поступления Источник поступления Библиотека постоянного хранения Библиотека текущего хранения Место хранения Шифр хранения Штрих-код Статус экземпляра
Книга 13.10.2005 Обязательный экземпляр РНБ (Московский) РНБ (Московский) Русский книжный фонд: издания с 1957 года 2005-4/38763 2016442  
Книга 13.10.2005 Обязательный экземпляр РНБ (Московский) РНБ (Московский) Русский книжный фонд: издания с 1957 года 2005-4/38763 2016447