В19 В949 В19 / В949-02 Вычислительные методы, алгоритмы и аппаратурно-программный инструментарий параллельного моделирования природных процессов = Computational methods, algorithms and hardware and software tools for parallel modelling of natural processes / [М. Г. Курносов и др.] ; отв. ред. В. Г. Хорошевский ; Рос. акад. наук, Сиб. отд-ние, Ин-т физики полупроводников им. А. В Ржанова и др. - Новосибирск : Изд-во СО РАН, 2012. - 354 с. : ил. - (Интеграционные проекты СО РАН ; вып. 33). - Библиогр.: с. 335-349 Авт. указаны на обороте тит. л.
Рубрики: Вычислительные системы--теория математическое моделирование Перейти: Оглавление Доп.точки доступа: Курносов, М. Г.; Хорошевский, В. Г.; Мамойленко, С. Н.; Павский, К. В.; Хорошевский, В. Г. \ред.\ Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
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 Перевод заглавия: Синтезирование синхронных систем с помощью статического планирования во времени Рубрики: Вычислительные системы--Теория Кл.слова (ненормированные): параллельные вычислительные системы Дескрипторы: сб пр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
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-й международной конференции по теории параллелизма Рубрики: Теория автоматов Вычислительные системы--Теория Кл.слова (ненормированные): семантика -- вероятностные процессы -- временная логика -- автоматы Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |