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

/ М. Гэри, Д. Джонсон ; пер. с англ. Е. В. Левнер, М. А. Фрумкин, под ред. А. А. Фридмана. - М. : Мир, 1982. - 416 с. : рис. - Библиогр.: с. 374 - 410. - Предм. указ.: с. 411 - 413. - Пер. изд. : Computers and Intractability / Michael R. Garey, David S. Johnson. - 1979. - 2.90 р., 2.90 р.
    Содержание:
Вычислительные машины, сложность и труднорешаемые задачи
Теория NP-полных задач
Доказательство результатов об NP-полноте
Применение теории NP-полноты для анализа задач
NP-трудные задачи
Подходы к решению NP-полных задач
За пределами класса NP-полных задач
Список NP- полных задач

ГРНТИ	27.41.23	27.15.19
УДК	519.682.1

ББК В183.4 + В173,0 + В137,0

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

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

Доп.точки доступа:
Джонсон, Дэвид; Johnson S.; Левнер, Е. В. \пер.\; Фрумкин, М. А. \пер.\; Фридман, А. А. \ред.\; Garey M.; Garey, Michael R.; Johnson, David S.
Экземпляры всего: 3
ИФ-КФ (1), ИВМ-Фонд (1), ЦНБ-ХР (1)
Свободны: ИФ-КФ (1), ИВМ-Фонд (1), ЦНБ-ХР (1)

[Текст] : монография / Д. Джамп; Пер. с англ. С.С. Богданова; Под ред. А.С. Богданова. - Москва : Радио и связь, 1992. - 330 с. : ил. - 3.80 р.

УДК	519.682.1%ББК 32ю973

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

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

[Текст] : монография / Б. Страуструп; Пер. с англ.: М.Г.Пиголкина, В.А.Яницкого. - Москва : Радио и связь, 1991. - 352 с. : ил. - ISBN 5-256-00454-9 :

УДК	519.682.1%ББК 32.973

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

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

[Текст] : [Для школьников 4-6 кл. и преподавателей информатики] / Ш. Дворчик, Л.Василенки; Пер. с фр. А.В.Серединского. - Перевод издания:Logibul au pays de l'informatique/ Sh/Dvorchik, L.Wasylenki. - Москва : Радио и связь, 1990. - 128 с. : ил. - ISBN 5-256-00379-8. - 1.00 р.

УДК	519.682.1%ББК 32.973.01

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

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

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

[Текст] : методический материал / Б. Страуструп; Пер.с англ. М.Г.Пиголкина, В.А.Яницкого. - Пер.изд.: The C++ programming language /B.Stroustrup. - Москва : Радио и связь, 1991. - 348 с. : ил. - ISBN 5-156-00454-9 : 8.00 р.

УДК	519.682.1%ББК 32.973

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

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

[Текст] : в 2-х томах / А. Ахо, Д. Ульман; Пер. с англ. А.Н. Бирюкова и В.А. Серебрякова; Под ред. В.Москва Курочкина. - Москва : Мир. : монография. - 1978. - 486 с. : ил. - Библиогр.: с.449-464. -Предм., имен. указ.: с.467-482. - 2.90 р.

УДК

519.682.1

681.142.2

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

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

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

[Текст] : в 2-х томах / А. Ахо, Д. Ульман; Пер. с англ. А.Н. Бирюкова и В.А. Серебрякова; Под ред. В.Москва Курочкина. - Москва : Мир. : монография. - 1978. - 611 с. : ил. - Библиогр.: с.575-589. -Предм., имен. указ.: с.590-606. - 2.40 р.

УДК

519.682.1

681.142.2

ББК В187

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

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

[Текст] / В.Ш. Кауфман. - Москва : Радио и связь, 1993. - 432 с. : ил. - Библиогр.: с. 424-426. - ISBN 5-256-00643-6 : 8.50 р.

ГРНТИ	50.05.09
УДК	519.682.1

ББК З973.2-018

Аннотация: Рассмотрены основные концепции и принципы, воплощенные в современных и перспективных языках программирования (Фортран, Паскаль, ПЛ/1, Алгол-68, Симула-67, Смолток, Рефал, Ада, Модула-2, Оберон, Оккам-2, Турбо Паскаль 5.5 и др.), представлены разные стили программирования (операторный, ситуационный, функциональный, реляционный, параллельный, объектно-ориентированный), освещены тенденции и перспективы развития языков и стилей программирования. Впервые удалось разработать и представить в одной книге цельную систему концепций и принципов, создающих достаточно четкие ориентиры в области языков программирования. На основе этой системы сформулированы оригинальные положения, указывающие перспективы развития языков программирования (модули исключительных ситуаций, модули управления представлением, входные типы и др.). Новые подходы применены при изложении известных фактов (пошаговая модификация нормальных алгоритмов Маркова сначала до Рефала, а затем до реляционных языков, систематическое сопоставление концепции параллелизма в Аде и Оккаме-2, концепций создания Ады, Модулы-2 и Оберона, развитие концепции наследуемости от модульности до объектной ориентации и др.). Для научных работников, будет полезной программистам, а также преподавателям и студентам, серьезно интересующимся языками программирования.

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