Normal view
MARC view
Системная информатика Вып. 7 Сборник научных трудов Под ред. И. В. Поттосина; Рос. акад. наук, Сибирское отд-ние, Ин-т систем информатики им. А. П. Ершова
Material type:
TextPublication details: Новосибирск Наука 2000Description: 310, [2] с. таблISBN: 5020316695Other title: Проблемы теории и методологии создания параллельных и распределенных систем [Distinctive title]Subject(s): параллельное программирование | распределенное программирование | математические модели | параллельные системы | динамические системы | алгебраические спецификации | REAL | системы реального времени | REAL-программы | последовательные программы | автоматическое распараллеливание | программы суперкомпьютеров | последовательные алгоритмы | высокопараллельные алгоритмы | вычисления с динамической длиной операндов | программирование в ограничениях | параллельная обработка данных | семантические свойства | безопасность | синтез процессов | анализ процессов | алгебра языков процессов | императивная спецификация | спецификации типов данных | язык спецификаций | алгоритмы выявления зависимостей | теория зависимости по данным | НОД-тест | Банержи тест | Омега-тест | Range-тест | Хоара логика | языки комбинированных спецификаций | формальный синтаксис | неформальная семантика | Basic-REAL
| Item 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 |
Browsing Научная библиотека ТГУ shelves, Shelving location: Книгохранилище Close shelf browser (Hides shelf browser)
Библиогр.: с. 305-310
There are no comments on this title.
Log in to your account to post a comment.