Normal view
MARC view
Системная информатика (Record no. 205699)
[ view plain ]
| 000 -Маркер записи | |
|---|---|
| Контрольное поле постоянной длины | 03499nam a2200577 i 4500 |
| 001 - Контрольный номер | |
| Контрольное поле | vtls000201285 |
| 005 - Дата корректировки | |
| Контрольное поле | 20210922012054.0 |
| 008 - Кодируемые данные | |
| Контрольное поле постоянной длины | 050418s2004 ru a f b 000 0 rus d |
| 017 ## - Номер регистрации авторского права или обязательного экземпляра | |
| Номер государственной регистрации | 05-15885 |
| Организация, присвоившая номер | RuMoRKP |
| 020 ## - Индекс ISBN | |
| ISBN | 5769207000 |
| 035 ## - Системный контрольный номер | |
| Системный контрольный номер | 0206-41460 |
| 035 ## - Системный контрольный номер | |
| Системный контрольный номер | (RU-RKP)ru05-024245RKP |
| 040 ## - Источник каталогиз. | |
| Служба первич. каталог. | RU-RKP |
| Код языка каталог. | rus |
| Служба, преобразующая запись | RU-RKP |
| Организация, изменившая запись | RU-ToGU |
| Правила каталог. | PSBO |
| 080 ## - Индекс УДК | |
| Индекс УДК | 004(082) |
| 080 ## - Индекс УДК | |
| Индекс УДК | 519.72.001.57(082) |
| 080 ## - Индекс УДК | |
| Индекс УДК | 519.681(082) |
| 084 ## - Индекс другой классификации/Индекс ББК | |
| Индекс другой классификации/Индекс ББК | 32.973 |
| Источник индекса | rubbkm |
| 245 10 - Заглавие | |
| Заглавие | Системная информатика |
| Номер части/раздела | [Вып. ] 9 |
| Продолж. заглавия | сборник научных трудов |
| Ответственность | [Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова] |
| 246 12 - Заглавие тома/части | |
| Заглавие тома/части | Формальные методы и модели информатики |
| 260 ## - Выходные данные | |
| Место издания | Новосибирск |
| Дата издания | 2004 |
| 300 ## - Физическое описание | |
| Объем | 358, [1] с. |
| Иллюстрации/тип воспроизводства | ил. |
| Размеры | 22 см. |
| 504 ## - Библиография | |
| Библиография | Библиогр. в конце ст. |
| 650 #7 - Тематические рубрики | |
| Основная рубрика | информатика. |
| Источник рубрики | RuMorurkp |
| 9 (RLIN) | 53671 |
| 653 ## - Ключевые слова | |
| Ключевые слова | Петри сети стохастические. |
| 653 ## - Ключевые слова | |
| Ключевые слова | машинные коды, генерация. |
| 653 ## - Ключевые слова | |
| Ключевые слова | машинные коды, синтез. |
| 653 ## - Ключевые слова | |
| Ключевые слова | математика интервальная. |
| 653 ## - Ключевые слова | |
| Ключевые слова | решатель вычислительных задач кооперативный SibCalc. |
| 653 ## - Ключевые слова | |
| Ключевые слова | алгоритмы последовательные детерминированные. |
| 653 ## - Ключевые слова | |
| Ключевые слова | алгоритмы последовательные недетерминированные. |
| 653 ## - Ключевые слова | |
| Ключевые слова | последовательные машины абстрактных состояний. |
| 653 ## - Ключевые слова | |
| Ключевые слова | язык программирования C. |
| 653 ## - Ключевые слова | |
| Ключевые слова | язык программирования C-light. |
| 653 ## - Ключевые слова | |
| Ключевые слова | семантика структурная операционная C-light. |
| 653 ## - Ключевые слова | |
| Ключевые слова | семантика аксиоматическая C-kerner. |
| 653 ## - Ключевые слова | |
| Ключевые слова | верификация программ формальная (программирование) |
| 653 ## - Ключевые слова | |
| Ключевые слова | вычислительные процессы, производительность. |
| 653 ## - Ключевые слова | |
| Ключевые слова | алгоритмы генерации машинного кода. |
| 653 ## - Ключевые слова | |
| Ключевые слова | искусственный интеллект. |
| 653 ## - Ключевые слова | |
| Ключевые слова | вычислительные задачи сложные. |
| 653 ## - Ключевые слова | |
| Ключевые слова | языки программирования со встроенными интервальными типами данных. |
| 653 ## - Ключевые слова | |
| Ключевые слова | математические системы на основе методов распространения ограничений. |
| 653 ## - Ключевые слова | |
| Ключевые слова | математическая система на основе методов распространения ограничений ILOG Solver. |
| 653 ## - Ключевые слова | |
| Ключевые слова | математическая система на основе методов распространения ограничений UniCalc. |
| 700 1# - Другие авторы | |
| Другие авторы | Марчук, Александр Гурьевич |
| Код отношения | edt |
| 9 (RLIN) | 255300 |
| 710 2# - Другие организации | |
| Организация/юрисдикция | Институт систем информатики им. А. П. Ершова (Новосибирск) |
| 9 (RLIN) | 255301 |
| 852 4# - Местонахождение единицы хранения | |
| Код организации-хранителя | RU-ToGU |
| Полочный индекс | 1-923511к |
| Авторский знак | С409 |
| Код страны | ru |
| 920 ## - | |
| -- | 5-7692-0700-0 |
| -- | в пер. |
| -- | 350 экз. |
| 999 ## - Системные контрольные номера (Koha) | |
| biblionumber (Koha) | 205699 |
| Не выдается | Отсутствует на месте | Поврежден | Исходное место хранения | Местоположение | Дата поступления | Цена | Всего выдач | Расстановочный шифр | Штрих-код | Класс экземпляра | Номер копии |
|---|---|---|---|---|---|---|---|---|---|---|---|
| Научная библиотека ТГУ | Книгохранилище | 03/04/2021 | 286.00 | 1-934638 | 13820000511191 | 1 месяц | |||||
| Научная библиотека ТГУ | Книгохранилище | 03/04/2021 | 150.00 | 1-923511к 51 | 13820000483494 | Выдается в читальный зал | 1 |