Главная/ Электронный каталог

Сводный каталог книг

w10=
Найдено документов в текущей БД: 4
   З97
   М 20
З973.2-018 / М 20-ИВМ-Фонд
    Параллельное программирование мультикомпьютеров
Малышкин, Виктор Эммануилович.
: учебник / В. Э. Малышкин, В. Д. Корнеев ; рец. Б. М. Глинский ; Новосиб. гос. технич. ун-т. - Новосибирск : Изд-во НГТУ, 2006. - 296 с. - (Учебники НГТУ). - Библиогр. - Слов. терминов. - ISBN 5-7782-0702-6 : 190.00 р., 190.00 р.
ГРНТИ
50.05
50.41.23
УДК
681.324.01(075.8)^V3
ББК З973.2-018


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Корнеев, Владимир Дмитриевич; Глинский, Б. М. \рец.\; Вшивков, В. А.; Новосибирский государственный технический университет
Экземпляры всего: 2
ИФ-КФ (1), ИВМ-Фонд (1)
Свободны: ИФ-КФ (1), ИВМ-Фонд (1)
Найти похожие
   З973.2-018
   С40
Системная информатика   Вып. 8 : Теория и методология программирования
[Текст] / Институт систем информатики им. А.П.Ершова СО РАН (Новосибирск) ; Ред. И. В. Поттосин, ред. А. Г. Марчук. - Новосибирск : Наука, 1991 - . : сборник научных трудов. - 2002. - 251 с. : ил. - Библиогр. в конце ст. . - ISBN 5-02-031949-X : 88.00 р.
УДК
519.6
ББК З973.2-018 + З973.2-02

Аннотация: В 8-й выпуск серии "Системная информатика" вошли обзорные и фундаментальные работы отечественных и зарубежных авторов, посвященные формальным моделям в программном обеспечении, принципам создания и развития языков программирования, обновления баз данных, поиска в сети Интернет. Книга представляет интерес для специалистов в области системной информатики, включая математиков, программистов, студентов старших курсов и аспирантов.

Полный текст на сайте РФФИ

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Поттосин, Игорь Васильевич \ред.\; Марчук, Анатолий Гуриевич \ред.\; Институт систем информатики им. А.П.Ершова СО РАН(Новосибирск)
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)
Найти похожие
   З973.2-018
   С409
Системная информатика   Вып. 9 : Формальные методы и модели информатики
[Текст] / Институт систем информатики им. А.П.Ершова СО РАН (Новосибирск) ; Ред. А.Г. Марчук. - Новосибирск : Сибирское отделение РАН, 1991 - . : сборник научных трудов. - 2004. - 360 с. : ил. - Библиогр. в конце ст. . - ISBN 5-02-031949-X : 264.00 р.
УДК
519.6
ББК З973.2-018 + З973.2-02

Кл.слова (ненормированные):
языки программирования -- сети Петри -- машинные коды

Аннотация: В 9-й выпуск "Формальные методы и модели информатики" серии "Системная информатика" вошли обзорные и фундаментальные работы отечественных и зарубежных авторов, посвященные различным аспектам информатики: машинам абстрактных состояний; разработке языка программирования, ориентированного на верификацию; расширению сетей Петри; алгоритмам генерации машинного кода; интервальным методам распространения ограничений. Книга представляет интерес для специалистов в области информатики, а также для студентов старших курсов и аспирантов.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Марчук, Анатолий Гуриевич \ред.\; Институт систем информатики им. А.П.Ершова СО РАН(Новосибирск)
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)
Найти похожие
   З 811
   Е 26
    Сводимые графы и граф- модели в программировании
Евстигнеев, Владимир Анатольевич.
: Учеб. пособие / В. А. Евстигнеев, В. Н. Касьянов. - Новосибирск : ИДМИ, 1999. - 289 с. - Библиогр. в конце разд. - ISBN 5-88119-125-0 (в пер.) : 81.00 р.
УДК
004.4
519.17
519.683
ББК З 811



Доп.точки доступа:
Касьянов, В. Н.
Экземпляры всего: 1
ИХХТ-АБ (1)
Свободны: ИХХТ-АБ (1)
Найти похожие