Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Системная информатика (Record no. 113798)

MARC details
000 -Маркер записи
Контрольное поле постоянной длины 03353nam a2200661 4500
001 - Контрольный номер
Контрольное поле vtls000114220
005 - Дата корректировки
Контрольное поле 20210909183244.0
008 - Кодируемые данные
Контрольное поле постоянной длины 011029s2000 ru a f b 000 0 rus d
020 ## - Индекс ISBN
ISBN 5020316695
035 ## - Системный контрольный номер
Системный контрольный номер 0117-74760
040 ## - Источник каталогиз.
Служба первич. каталог. RU-ToGU
Код языка каталог. rus
Служба, преобразующая запись RU-ToGU
Правила каталог. PSBO
080 ## - Индекс УДК
Индекс УДК 519.687.4(066)
245 10 - Заглавие
Заглавие Системная информатика
Номер части/раздела Вып. 7
Продолж. заглавия Сборник научных трудов
Ответственность Под ред. И. В. Поттосина; Рос. акад. наук, Сибирское отд-ние, Ин-т систем информатики им. А. П. Ершова
246 12 - Заглавие тома/части
Заглавие тома/части Проблемы теории и методологии создания параллельных и распределенных систем
260 ## - Выходные данные
Место издания Новосибирск
Издательство Наука
Дата издания 2000
300 ## - Физическое описание
Объем 310, [2] с.
Иллюстрации/тип воспроизводства табл.
504 ## - Библиография
Библиография Библиогр.: с. 305-310
653 ## - Ключевые слова
Ключевые слова параллельное программирование.
653 ## - Ключевые слова
Ключевые слова распределенное программирование.
653 ## - Ключевые слова
Ключевые слова математические модели.
653 ## - Ключевые слова
Ключевые слова параллельные системы.
653 ## - Ключевые слова
Ключевые слова динамические системы.
653 ## - Ключевые слова
Ключевые слова алгебраические спецификации.
653 ## - Ключевые слова
Ключевые слова REAL.
653 ## - Ключевые слова
Ключевые слова системы реального времени.
653 ## - Ключевые слова
Ключевые слова REAL-программы.
653 ## - Ключевые слова
Ключевые слова последовательные программы.
653 ## - Ключевые слова
Ключевые слова автоматическое распараллеливание.
653 ## - Ключевые слова
Ключевые слова программы суперкомпьютеров.
653 ## - Ключевые слова
Ключевые слова последовательные алгоритмы.
653 ## - Ключевые слова
Ключевые слова высокопараллельные алгоритмы.
653 ## - Ключевые слова
Ключевые слова вычисления с динамической длиной операндов.
653 ## - Ключевые слова
Ключевые слова программирование в ограничениях.
653 ## - Ключевые слова
Ключевые слова параллельная обработка данных.
653 ## - Ключевые слова
Ключевые слова семантические свойства.
653 ## - Ключевые слова
Ключевые слова безопасность.
653 ## - Ключевые слова
Ключевые слова синтез процессов.
653 ## - Ключевые слова
Ключевые слова анализ процессов.
653 ## - Ключевые слова
Ключевые слова алгебра языков процессов.
653 ## - Ключевые слова
Ключевые слова императивная спецификация.
653 ## - Ключевые слова
Ключевые слова спецификации типов данных.
653 ## - Ключевые слова
Ключевые слова язык спецификаций.
653 ## - Ключевые слова
Ключевые слова алгоритмы выявления зависимостей.
653 ## - Ключевые слова
Ключевые слова теория зависимости по данным.
653 ## - Ключевые слова
Ключевые слова НОД-тест.
653 ## - Ключевые слова
Ключевые слова Банержи тест.
653 ## - Ключевые слова
Ключевые слова Омега-тест.
653 ## - Ключевые слова
Ключевые слова Range-тест.
653 ## - Ключевые слова
Ключевые слова Хоара логика.
653 ## - Ключевые слова
Ключевые слова языки комбинированных спецификаций.
653 ## - Ключевые слова
Ключевые слова формальный синтаксис.
653 ## - Ключевые слова
Ключевые слова неформальная семантика.
653 ## - Ключевые слова
Ключевые слова Basic-REAL.
700 1# - Другие авторы
Другие авторы Поттосин, Игорь Васильевич
Дата 1933-2001
Роль лиц ред.
Код отношения edt
9 (RLIN) 63242
852 4# - Местонахождение единицы хранения
Код организации-хранителя RU-ToGU
Полочный индекс 1-884075к
Авторский знак 519.6
Код страны ru
999 ## - Системные контрольные номера (Koha)
biblionumber (Koha) 113798
Holdings
Не выдается Отсутствует на месте Поврежден Исходное место хранения Местоположение Дата поступления Цена Всего выдач Расстановочный шифр Штрих-код Номер копии Класс экземпляра
      Научная библиотека ТГУ Книгохранилище 03/04/2021 68.00   1-884075к 51 13820000304038 1 Выдается в читальный зал
      Научная библиотека ТГУ Книгохранилище 03/04/2021 39.00   1-884567 51 13820000308742 2 1 месяц
      Научная библиотека ТГУ Книгохранилище 03/04/2021 93.42   1-893364 519.6 13820000379842 3 1 месяц