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

/ Международная конференция памяти академика А.П. Ершова "Перспективы систем информатики" (7 ; 15-19 июня 2009 г. ; Новосибирск) ; отв. ред. В. Н. Касьянов. - Новосибирск : Ин-т систем информатики, 2009. - 148 с. - Библиогр. в конце ст. - 150 экз. - 225.00 р.

ГРНТИ

20.01.09

ББК З811я431 + З973.2-018я431 + В182я431


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

Доп.точки доступа:
Касьянов, Виктор Николаевич \ред.\; Международная конференция памяти академика А.П. Ершова "Перспективы систем информатики" (7 ; 15-19 июня 2009 г. ; Новосибирск)
Экземпляры всего: 1
ИФ-КФ (1)
Свободны: ИФ-КФ (1)

/ В. А. Евстигнеев, В. Н. Касьянов ; отв. ред. В. Н. Касьянов ; Федер. целевая прогр. "Гос. поддержка интеграции высш. образования и фундам. науки на 1997 - 2000 годы". - Новосибирск : Изд-во ИДМИ, 1999. - 288 с. : рис. - Библиогр. в конце разд. - 1000 экз. - ISBN 5-88119-125-0 : 85.00 р.
    Содержание:
Сводимые и регуляризуемые графы
Граф-модели в программировании

ГРНТИ	27.45.17
УДК	519.1+519.683%ББК 32.811

ББК В174.2

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

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

Доп.точки доступа:
Касьянов, Виктор Николаевич; Государственная поддержка интеграции высшего образования и фундаментальной науки на 1997 - 2000 годы (Федеральная целевая программа)
Экземпляры всего: 2
ИФ-КФ (1), ИВМ-Фонд (1)
Свободны: ИФ-КФ (1), ИВМ-Фонд (1)

[Текст] / В. Н. Касьянов, В.А. Евстигнеев. - Санкт-Петербург : BHV-Петербург, 2003. - 1104 с. : ил. - Библиогр. в конце глав. - Предм. указ.: с. 1087-1104. - ISBN 5-94157-184-4 : 376.00 р.

УДК

681.3.06

519.6

ББК З973.2-018

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

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

Доп.точки доступа:
Евстигнеев, Владимир Анатольевич
Экземпляры всего: 1
ИВМ-ЧЗ (1)
Свободны: ИВМ-ЧЗ (1)

[Текст] : монография / В. А. Евстигнеев, В. Н. Касьянов ; ред. В. Н. Касьянов. - Новосибирск : Сибирское научное издательство, 2009. - 299 с. - (Конструирование и оптимизация программ ; вып. 17). - В надзаг.: Российская академия наук; Сибирское отделение; Институт систем информатики им. А.П. Ершова. - ISBN 978-5-91124-036-3 : 600.00 р.ББК В18

Аннотация: Книга содержит более 2500 относящихся к графам терминов вместе с их ясными и сжатыми определениями. Помимо базовой терминологии теории графов в нее включены термины и определения по информатике. Каждый термин приводится на английском и русском языках, после чего следует описание. Книга будет полезна студентам и преподавателям по информатике, а также всем, кто использует компьютеры дома, в лаборатории или на работе. Издание осуществлено при частичной поддержке Российского фонда фундаментальных исследований (гранты РФФИ 3 09-07-00012 и № 08-01-00673).

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

Доп.точки доступа:
Касьянов, Виктор Николаевич; Касьянов, В.Н. \ред.\
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] = Tools and techniques of programm construction : сборник научных трудов / под ред. В.Н. Касьянова. - Новосибирск : Институт систем информатики им. А.П. Ершова СО РАН, 2007. - 225, [2] с. : ил. ; 21 см. - (Конструирование и оптимизация программ). - Библиогр. в конце ст. - 180.00 р.

ГРНТИ	27.47
УДК	519.85^V3

ББК З973.2

Аннотация: Является пятнадцатым в серии сборников , издаваемых Институтом систем информатики имени А.П.Ершова СО РАН. Описывает проблемы интеллектуализации и качества систем информатики. Сборник представляет интерес для системных программистов, а также студентов и аспирантов, специализирующихся в области системного и теоретического программирования.

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

Доп.точки доступа:
Касьянов, Виктор Николаевич \ред.\
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)