Главная
Упрощенный режим
Описание
Шлюз Z39.50
Отделение ГПНТБ СО РАН
Базы данных
Всего записей: 50699
Каталог книг и сборников Отделения ГПНТБ (1991- ) - результаты поиска
Вид поиска
Область поиска
Ключевые слова
Автор
Заглавие
Год издания
Персоналия
Характер документа
Коллектив/Мероприятие
Предметные рубрики
Персоналия
Сигла библиотек
Тип/вид документа
Формат представления найденных документов:
полный
информационный
краткий
Отсортировать найденные документы по:
автору
заглавию
году издания
типу документа
Поисковый запрос:
(<.>S=Вычислительные системы -- Теория<.>)
Общее количество найденных документов
:
3
Показаны документы
с 1 по 3
1.
Вид документа
: Монографическая серия
Шифр издания
: В19/В949
Автор(ы)
: Курносов М. Г., Хорошевский В. Г., Мамойленко С. Н., Павский К. В.
Заглавие
: Вычислительные методы, алгоритмы и аппаратурно-программный инструментарий параллельного моделирования природных процессов
Параллельн. заглавия
:Computational methods, algorithms and hardware and software tools for parallel modelling of natural processes
Выходные данные
: Новосибирск: Изд-во СО РАН, 2012
Колич.характеристики
:354 с.: ил.
Серия:
Интеграционные проекты СО РАН; вып. 33
Примечания
: Библиогр.: с. 335-349. - Авт. указаны на обороте тит. л.
ISBN, Цена
978-5-7692-1237-6 (вып. 33): 10 р.
ГРНТИ
: 50.07 + 29.41
ББК
: В19 + З 973.22-01
Предметные рубрики:
Вычислительные системы-- теория
математическое моделирование
Экземпляры
:02(1)
Свободны
: 02(1)
Перейти:
Оглавление
Найти похожие
2.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/630
Заглавие
: CONCUR '92 : Third intern. conf. on concurrency theory, Stony Brook, USA, Aug. 24-27, 1992 : Proc.
Выходные данные
: Berlin: Springer, 1992
Колич.характеристики
:580 p.: Ill.
Серия:
Lecture notes in computer science; 630
Примечания
: Bibliogr. at the end of the art. - - Auth. ind.: p. 580
ISBN, Цена
3-540-55822-5: Б.ц.
ГРНТИ
: 50.07.03
ББК
: З 973.22-01Я431
Предметные рубрики:
Теория автоматов
Вычислительные системы-- Теория
Дескрипторы:
сб пр--конф
Ключевые слова
(''Своб.индексиров.''): семантика--вероятностные процессы--временная логика--автоматы
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
3.
Вид документа
: Однотомное издание
Шифр издания
: Pr869/Pr869/262
Автор(ы)
: Lisper, Bjorn
Заглавие
: Synthesizing synchronous systems by static scheduling in space-time : сборник
Выходные данные
: Berlin: Springer, 1989
Колич.характеристики
:VI,262 p.: Ill.
Серия:
Lecture notes in computer science; 362
Примечания
: Bibliogr.: p. 179-184
ISBN, Цена
3-540-51156-3:
ГРНТИ
: 50.39.19 + 50.07.03
ББК
: З 973.22-01в641
Предметные рубрики:
Вычислительные системы-- Теория
Дескрипторы:
сб пр
Ключевые слова
(''Своб.индексиров.''): параллельные вычислительные системы
Экземпляры
:02(1)
Свободны
: 02(1)
Найти похожие
полный формат
краткий формат
все найденные
отмеченные
кроме отмеченных
Стандартный
Расширенный
Профессиональный
По словарю
ГРНТИ-навигатор
© 1997-2017 Отделение ГПНТБ СО РАН