Главная Упрощенный режим Описание Шлюз Z39.50

Базы данных

Всего записей: 50699

Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска

Вид поиска
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=Вычислительные системы -- Теория<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.
   В19
   В949
В19 / В949-02

   
    Вычислительные методы, алгоритмы и аппаратурно-программный инструментарий параллельного моделирования природных процессов = Computational methods, algorithms and hardware and software tools for parallel modelling of natural processes / [М. Г. Курносов и др.] ; отв. ред. В. Г. Хорошевский ; Рос. акад. наук, Сиб. отд-ние, Ин-т физики полупроводников им. А. В Ржанова и др. - Новосибирск : Изд-во СО РАН, 2012. - 354 с. : ил. - (Интеграционные проекты СО РАН ; вып. 33). - Библиогр.: с. 335-349
Авт. указаны на обороте тит. л.
ГРНТИ
50.07
29.41
ББК В19 + З 973.22-01
Рубрики: Вычислительные системы--теория
   математическое моделирование

Перейти: Оглавление

Доп.точки доступа:
Курносов, М. Г.; Хорошевский, В. Г.; Мамойленко, С. Н.; Павский, К. В.; Хорошевский, В. Г. \ред.\
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 14-5-2013но
Найти похожие
2.
   Pr869
   Pr869/262
Pr869/262 / Pr869/262-02

    Lisper, Bjorn.
    Synthesizing synchronous systems by static scheduling in space-time [Text] : сборник / B. Lisper. - Berlin [et al.] : Springer, 1989. - VI,262 p. : Ill. - (Lecture notes in computer science ; 362)
Bibliogr.: p. 179-184
Перевод заглавия: Синтезирование синхронных систем с помощью статического планирования во времени
50.39.19
50.07.03
ББК З 973.22-01в641
Рубрики: Вычислительные системы--Теория
Кл.слова (ненормированные):
параллельные вычислительные системы
Дескрипторы: сб пр

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 202-12-91+02
Найти похожие
3.
   Pr869
   Pr869/630
Pr869/630 / Pr869/630-02

   
    CONCUR '92 : Third intern. conf. on concurrency theory, Stony Brook, USA, Aug. 24-27, 1992 : Proc. / Ed. by W. R. Cleaveland. - Berlin [et al.] : Springer, 1992. - 580 p. : Ill. - (Lecture notes in computer science ; 630). - Bibliogr. at the end of the art.
- Auth. ind.: p. 580
Перевод заглавия: Труды 3-й международной конференции по теории параллелизма
50.07.03
ББК З 973.22-01Я431
Рубрики: Теория автоматов
   Вычислительные системы--Теория
Кл.слова (ненормированные):
семантика -- вероятностные процессы -- временная логика -- автоматы
Дескрипторы: сб пр -- конф

Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 199-11-93+02
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН