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

[Текст] / Институт систем информатики им. А.П.Ершова СО РАН (Новосибирск); Под ред. Поттосина И.В. - Новосибирск : Наука, 1991 - . : сборник научных трудов. - 1997. - 334 с. : ил. - Библиогр. в конце ст. . - ISBN 5-02-030697-5 : 20.00 р.

УДК

519.6

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

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

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

[Текст] / Институт систем информатики им. А.П.Ершова СО РАН (Новосибирск); Под ред. И.В.Поттосина. - Новосибирск : Наука, 1991 - . : научное издание. - 1993. - 303 с. - Библиогр. в конце ст. . - 4.50 р.

УДК

519.6

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

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

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

[Текст] / Институт систем информатики им. А.П.Ершова СО РАН (Новосибирск); Под ред. И.В.Поттосина. - Новосибирск : Наука, 1991 - . : научное издание. - 2000. - 312 с. - Библиогр. в конце ст. . - ISBN 5-02-031669-5 : 40.00 р.

УДК

519.6

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

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

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

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

[Текст] / Институт систем информатики им. А.П.Ершова СО РАН (Новосибирск); Под ред. В.Е. Котова. - Новосибирск : Наука, 1991 - . : монография. - 1993. - 247 с. : ил. - Библиогр. в конце ст. . - ISBN 5-02-029970-7 : 12.00 р.

УДК

519.6

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

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

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

[Текст] / Институт систем информатики им. А.П.Ершова СО РАН (Новосибирск); Под ред. И.В.Поттосина. - Новосибирск : Наука, 1991 - . : сборник научных трудов. - 1998. - 240 с. - Библиогр. в конце ст. . - ISBN 5-02-031171 : 11.90 р.

УДК

519.6

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

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

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

[Текст] / Институт систем информатики им. А.П.Ершова СО РАН (Новосибирск) ; Ред. И. В. Поттосин, ред. А. Г. Марчук. - Новосибирск : Наука, 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)

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

УДК

519.68

681.3.06

ББК В183.49

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

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

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

[Текст] / Институт систем информатики им. А.П.Ершова СО РАН (Новосибирск) ; Ред. А.Г. Марчук. - Новосибирск : Сибирское отделение РАН, 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)

[Текст] / Институт систем информатики им. А.П.Ершова СО РАН (Новосибирск) ; Ред. А.Г. Марчук. - Новосибирск : Сибирское отделение РАН, 1991 - . : сборник научных трудов. - 2006. - 244 с. : ил. - Библиогр. в конце ст . - ISBN 5-7692-0870-8 : 5.00 р.

УДК

519.6

ББК З973.2-018

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

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

Доп.точки доступа:
Марчук, Анатолий Гуриевич \ред.\; Институт систем информатики им. А.П.Ершова СО РАН(Новосибирск)
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : материалы к биобиблиографии сибирских ученых / под ред. А.Г. Марчука ; сост.: Н. А. Черемных, И. А. Крайнева. - Новосибирск : Сибирское научное издательство, 2009. - 122 с. - В надзаг.: Российская академия наук; Сибирское отделение; Институт систем информатики им. А.П. Ершова; Научный совет по музеям СО РАН. - ISBN 978-5-91124-033-2 : 180.00 р.

ГРНТИ	50.01
УДК	012Ершов^V3	016:51(092)^V3

ББК Ч23(2)Ершов А.П. + В1

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

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

Доп.точки доступа:
Черемных, Н.А. \сост.\; Крайнева, И.А. \сост.\; Марчук, Александр Гурьевич \ред.\; Институт систем информатики им. А.П.Ершова СО РАН (Новосибирск)
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)