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

[Текст] : справочное издание / В.А. Евстигнеев, В.Н. Касьянов. - Новосибирск : Наука, 1994. - 360 с. : 185 ил + 5 табл. - 1.36 р., 13.60 р.

ГРНТИ	50.05.03
УДК	519.1	519.683

ББК З811

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

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

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

[Текст] : монография / В.Н. Касьянов. - Москва : Наука, 1988. - 335 с. : ил. - (Библиотечка программиста ; вып.55). - Библиогр: с.322-330. Предм. указ.: с.331-335.%ISBN 5-02-013778-2. -

УДК	519.6%ББК 22.18

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

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

[Текст] : монография / В.Н. Касьянов, И.В. Поттосин ; Отв. ред. А.П. Ершов. - Москва : Наука, 1986. - 344 с. : ил. + табл. - Библиогр.: с. 330-333. - Предм. указ.: с. 334-338 . - 2.70 р.

УДК

519.685

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

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

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

[Текст] : монография / В.А. Евстигнеев, В.Н.Касьянов; Отв.ред. И.В.Паттосин. - Новосибирск : Наука, 1998. - 385 с. : 127 ил + 14 табл. - Библиогр: с.356-362 В надзаг.: СО РАН, Институт систем информатики. - 10.00 р.

УДК	519.1+519.683%ББК 32.811

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

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

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

[Текст] : оптимизирующие преобразования программ и их обоснование / В.Н. Касьянов ; Под ред. А.П. Ершова ; ВЦ СО АН СССР. - Новосибирск : [б. и.], 1985. - 259 с. : ил. - Библиогр.: с. 249-258. -

УДК	519.681.1+681.142.2

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

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

[Текст] : монография / В.А. Евстингеев, В.Н.Касьянов; РАН; Сиб. отд-ние; Ин-т систем информатики им. А.П.Ершова; Под ред. Л.С.Мельникова. - Новосибирск : Наука. Сибирское отделение, 1999. - 287 с. : ил. - Библиогр: с.258-261. Указ. англ. терминов: с.261-287. - ISBN 5-02-031530-3 : 10.40 р.

УДК	519.6%ББК 22.18

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

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

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

[Текст] : сборник / Рос. АН, Сиб.отд-ние, Ин-т систем информатики им.А.П. Ершова ; Под ред. В.Н. Касьянова. - Новосибирск : [б. и.], 2002. - 256 с. : ил. - (Конструирование и оптимизация программ). - Библиогр. в конце глав. - 8.50 р.

УДК

519.68

681.3.06

ББК В183.49

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

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

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

[Текст] : монография / И.В. Тарасюк ; Отв. ред. В.Н. Касьянов ; Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова. - Новосибирск : Гео, 2007. - 321 с. : ил. - Предм. указ.: с. 316-321. - Библиогр.: с. 287-315. - ISBN 978-5-9747-0098-9 : 10.00 р., 10.00 р.

ГРНТИ	27.47
УДК	519.7^V3	519681.3

ББК В18 + З973.22 + В192.1

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

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

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

[Текст] : седьмая международная конференция памяти акад. А. П. Ершова, 15 июня 2009 г., Новосибирск, Академгородок, Россия: семинар "История информатики в Сибири": информационный бюллетень / "История информатики в Сибири", семинар) ; отв. ред. В.Н. Касьянов. - Новосибирск : Институт систем информатики им. А.П. Ершова СО РАН, 2009. - 148 с. : ил. - Библиогр. в конце докл. - 225.00 р., 225.00 р.

ГРНТИ	12.41	50.01
УДК	519.6

ББК З 973.2г.я431 + Ч233(2Р5)я431

Аннотация: Сборник содержит труды семинара "История информатики в Сибири", прошедшего в рамках седьмой Международной конференции "Перспективы систем информатики", которая состоялась в Новосибирском Академгородке с 15 по 19 июня 2009 года.Тематика семинара включала такие вопросы, как история создания языков и систем программирования

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

Доп.точки доступа:
Касьянов, В. Н. \отв. ред.\; "История информатики в Сибири", семинар
Экземпляры всего: 2
ИВМ-Фонд (1), ЦНБ-АБ (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)

/ В.Н. Касьянов; Рос. акад. наук. Сиб. отд-ние. Ин-т систем информатики им. А.П. Ершова. - Новосибирск : Издательство Новосибирского государственного технического университета, 2001. - 448 с. : ил. - Библиогр.:с438-442. - ISBN 5-94356-008-4 : 150-00 р., 150-00 р.

ГРНТИ

50.35.37

50.05.09

ББК З973.203.4-018.2


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

: Учеб. пособие / В. А. Евстигнеев, В. Н. Касьянов. - Новосибирск : ИДМИ, 1999. - 289 с. - Библиогр. в конце разд. - ISBN 5-88119-125-0 (в пер.) : 81.00 р.

УДК

004.4

519.17

519.683

ББК З 811



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