Normal view
MARC view
Системная информатика Вып. 7 Сборник научных трудов Под ред. И. В. Поттосина; Рос. акад. наук, Сибирское отд-ние, Ин-т систем информатики им. А. П. Ершова
Material type: TextPublication details: Новосибирск Наука 2000Description: 310, [2] с. таблISBN: 5020316695Other title: Проблемы теории и методологии создания параллельных и распределенных систем [Distinctive title]Subject(s): параллельное программирование | распределенное программирование | математические модели | параллельные системы | динамические системы | алгебраические спецификации | REAL | системы реального времени | REAL-программы | последовательные программы | автоматическое распараллеливание | программы суперкомпьютеров | последовательные алгоритмы | высокопараллельные алгоритмы | вычисления с динамической длиной операндов | программирование в ограничениях | параллельная обработка данных | семантические свойства | безопасность | синтез процессов | анализ процессов | алгебра языков процессов | императивная спецификация | спецификации типов данных | язык спецификаций | алгоритмы выявления зависимостей | теория зависимости по данным | НОД-тест | Банержи тест | Омега-тест | Range-тест | Хоара логика | языки комбинированных спецификаций | формальный синтаксис | неформальная семантика | Basic-REALItem type | Current library | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
Выдается в читальный зал | Научная библиотека ТГУ Книгохранилище | 1-884075к 51 (Browse shelf(Opens below)) | 1 | Available | 13820000304038 | ||
1 месяц | Научная библиотека ТГУ Книгохранилище | 1-884567 51 (Browse shelf(Opens below)) | 2 | Available | 13820000308742 | ||
1 месяц | Научная библиотека ТГУ Книгохранилище | 1-893364 519.6 (Browse shelf(Opens below)) | 3 | Available | 13820000379842 |
Библиогр.: с. 305-310
There are no comments on this title.
Log in to your account to post a comment.