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

Базы данных

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

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

Вид поиска
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=50.07$<.>)
Общее количество найденных документов : 76
Показаны документы с 1 по 10
 1-10    11-20   21-30   31-40   41-50   51-60      
1.
   Шифр см. у томов

   
    Handbook of automated reasoning / eds.: A. Robinson, A. Voronkov. - Amsterdam [et al.] : Elsevier ; Cambridge : MIT press, 2001
Перевод заглавия: Справочник по автоматическому мышлению
ГРНТИ
50.07
27.03
ББК З 973.2-01я22 + В12я22
Рубрики: Компьютеры--Теория
   Математическая логика


Доп.точки доступа:
Robinson, Alan \ed.\; Voronkov, Andrei \ed.\
Свободных экз. нет
2.
   З 97
   С409/9

   
    Формальные методы и модели информатики : сб. науч. тр. / [Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова] ; под ред. А.Г. Марчука. - Новосибирск : Изд-во Сиб. отд-ния Рос. акад. наук, 2004. - 359 с. : ил. - (Системная информатика ; вып. 9). - Библиогр. в конце некоторых тр. -
ГРНТИ
50.07.03
ББК З 973.2-01я43
Рубрики: Информатика


Доп.точки доступа:
Марчук, А.Г. \ред.\
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 53-18-2005
Найти похожие
3.
   В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но
Найти похожие
4.
   З 973.2
   В487
З 973.2 / В487-02

    Винклер, Герхард.
    Анализ изображений, случайные поля и динамические методы Монте-Карло [Текст] : мат. основы / Г. Винклер; Пер. с англ. Пригарин С.М. - Новосибирск : СО РАН. Фил. "Гео", 2002. - 343 с. : ил. - Пер. изд. : Image analysis random fields and dynamic Monte Carlo Methods / G Winkler. -
50.07.03
ББК З 973.235-01
Рубрики: Цифровая обработка изображений
   Монте-Карло метод
   Стохастическая оптимизация
Дескрипторы: моногр


Доп.точки доступа:
Winkler, G.
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 83-7-2003но
Найти похожие
5.
   И-З 973.2
   G37
И-З 973.2 / G37-02 ВМИ

    Georgiou, Chryssis.
    Do-All computing in distributed systems : cooperation in the presence of adversity / C. Georgiou, A. A. Shvartsman. - New York : Springer Science + Business Media, 2008. - XVII,219 p. : ill. - Bibliogr.: p. 205-211. - Ind.: p. 213-219
Перевод заглавия: Всевозможные вычисления в распределенных системах: кооперация в случае сбоя
ГРНТИ
50.07
ББК З 973.22-01в641
Рубрики: Вычислительные системы--Математические методы исследования
Кл.слова (ненормированные):
вычислительные системы-отказоустойчивость

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

Доп.точки доступа:
Shvartsman, Alexander A.
Экземпляры всего: 1
02 ВМИ (1)
Свободны: 02 ВМИ (1)
Инвентарный номер: 39-13-2014+02
Найти похожие
6.
   З 973.2
   К592
З 973.2 / К592-02 ВМИ

    Козлов, Михаил Васильевич.
    Гарантированные оценки распределения вычислительных ресурсов в условиях неопределенности / М. В. Козлов, Ю. Е. Малашенко, И. А. Назарова. - Москва : ВЦ РАН, 2011. - 41, [1] с. ; 21 см. - (Сообщения по прикладной математике / Рос. акад. наук, Вычисл. центр им. А. А. Дородницына). - Библиогр.: с. 38-41. -
ГРНТИ
50.07
УДК
519.6^V3
ББК З 973.22-01
Рубрики: Вычислительные комплексы--Теория
   Многопроцессорные вычислительные системы--Теория
Кл.слова (ненормированные):
Вычисления на компьютерах -- Вычислительные системы многопроцессорные


Доп.точки доступа:
Малашенко, Юрий Евгеньевич; Назарова, Ирина Александровна
Экземпляры всего: 1
02 ВМИ (1)
Свободны: 02 ВМИ (1)
Инвентарный номер: 74-3-2014но
Найти похожие
7.
   И-В19
   A67
И-В19 / A67-02

   
    Applied mathematics and parallel computing : Festschrift for K. Ritter / Ed. by H. Fischer et al. - Heidelberg : Physica, 1996. - VIII,376 p. : Ill. - Bibliogr. at the end of the art.
- Auth. ind.: p. 373-376
Перевод заглавия: Прикладная математика и параллельные вычисления
27.41
50.07.03
ББК В19я43 + З 973.203.3-01в641я43
Рубрики: Прикладная математика
   Транспьютеры--Математические методы
Кл.слова (ненормированные):
вычислительная математика -- мобильные работы
Дескрипторы: сб


Доп.точки доступа:
Fischer, Herbert \ed.\; Riedmuller, Bruno \ed.\; Schaffler, Stefan \ed.\
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 98-2-97+02
Найти похожие
8.
   З 97
   Б748
З 97 / Б748-02

    Богуславский, Леонид Борисович.
    Методы оценки производительности многопроцессорных систем [Текст] : монография / Л.Б. Богуславский, А.И. Ляхов ; Отв. ред. А.Я. Крейнин; Рос. акад. наук. Ин-т проблем управления. - М. : Наука, 1992. - 213 с. : ил.
Библиогр.: с. 204-211
50.07.05
50.33.14
ББК З 973.22-021.5
Рубрики: Многопроцессорные вычислительные системы--Производительность
Дескрипторы: моногр


Доп.точки доступа:
Ляхов, Андрей Игоревич
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 12-15-93но
Найти похожие
9.
   И-З 973.2
   F43
И-З 973.2 / F43-02

    Ferster, Bill.
    Interactive visualization : insight throuh inquiry / B. Ferster ; forew. by B. Shneiderman. - Cambridge ; London : MIT Press, 2013. - XV,275 p. : ill. - Bibliogr.: p. 259-264. - Ind.: p. 265-275
Перевод заглавия: Интерактивная визуализация
ГРНТИ
50.07
ББК З 973.2-044.4
Рубрики: Графическая информация--Обработка на компьютерах

Перейти: Оглавление
Экземпляры всего: 1
02 (1)
Свободны: 02 (1)
Инвентарный номер: 63-4-2014+02
Найти похожие
10.
   Pr1019
   Pr1019/638
Pr1019/638 / Pr1019/638-02

    Rocha, A. F.
    Neural nets [Text] : a theory for brains and machines / A.F. Rocha. - Berlin [et al.] : Springer, 1992. - XV,393 p. : Ill. - (Lecture notes in artificial intelligence ; 638)
Bibliogr.: p. 367-385. - Ind.: p. 386-393
Перевод заглавия: Теория нейронных сетей в приложении к мозгу и машинам
50.07.05
34.39.17
ББК З 973.206-01 + Е991-713
Рубрики: Нейронные сети--Моделирование
Кл.слова (ненормированные):
искусственные нейроны -- биология -- нейронные системы
Дескрипторы: сб пр -- моногр

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