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

[Текст] / Д. Ван Тассел ; пер. с англ. Е. К. Масловского, В. А. Прониной ; под ред. Э. А. Трахтенгерца. - 2-е изд., испр. - М. : Мир, 1985. - 322 с. : табл. - Библиогр. в конце глав. - Пер. изд. : Program style, design, efficiency, debugging and testing / Tassel, Dennie Van Tassel. - 1978. - 35000 экз. - 1.90 р., 1.90 р.
    Содержание:
Стиль программирования
Проектирование программ
Эффективность программ
Отладка программ
Тестирование программ
101 задача по программированию
Групповая разработка проектов

УДК	681.32%ББК 32.973

ББК З973.2

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

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

Доп.точки доступа:
Масловский, Е. К. \пер.\; Пронина, В. А. \пер.\; Трахтенгерц, Э. А. \ред.\; Van Tassel, Dennie
Экземпляры всего: 2
ИФ-КФ (1), ИВМ-Фонд (1)
Свободны: ИФ-КФ (1), ИВМ-Фонд (1)

[Текст] : [Сб. ст.] / АН СССР, ВЦ [Отв. ред. М.А.Копытов, Г.М.Михайлов]. - Москва : Вычислительный центр АН СССР, 1989. - 144 с. : ил. - Библиогр: в конце ст. - 0.50 р.

УДК

681.32

Аннотация: В сборнике собраны статьи, связанные с развитием высокопроизводительной техники, разработкой и опытом использования гетерогенных вычислительных комплексов и сетей ЭВМ. Рассматриваются некоторые вопросы развития программного обеспечения, организации работы вычислительных центров коллективного пользования.

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

[Текст] : монография / В.А. Вальковский, В.Э.Александрович; Отв. ред. В.Е.Котова; АН СССР, Сиб. отд-ние. - Новосибирск : Наука. Сибирское отделение, 1990. - 142 с. : ил + табл. - (Науч.-попул. лит. Сер. "Наука и техн. прогресс"). - ISBN 5-02-029652-Х. - 0.90 р., 0.90 р.

ГРНТИ	50
УДК	519.692%ББК 22.18+32.973-01	681.3.06	681.32

ББК З973.2-018

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

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

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

[Текст] : монография / Г.И.Шпаковский, А.С.Липницкий, Г.Н.Черников и др ; Науч.ред. В.А.Мищенко. - Минск : Университетское, 1988. - 271 с. : 77 ил + 21 табл. - Библиогр: с.265-270 ISBN 5-7855-0022-1. - 2.60 р.

УДК

681.32

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

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

[Текст] : монография / АН СССР, Сиб. отд-ние, ВЦ; Отв. ред. В.Е. Котов, Н.Н. Миренков. - Новосибирск : Наука. Сибирское отделение, 1988. - 207 с. : ил + табл. - Библиогр: с.196-206.%ISBN 5-02-028572-2. - 2.70 р.

УДК

681.32

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

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

[Текст] : монография / Ред.: Ф. Хейес-Рот, Д. Уотерман, Д. Ленат; Пер. с англ. Ю.И. Крюкова и др.; под ред. В.Л. Стефанюка. - Перевод издания: Building Expert Systems / Ed. by F. Hayes-Roth. - Москва : Мир, 1987. - 442 с. : ил. - Библиогр.: с. 415-428. - Предм. указ.: с. 435-438. - 2.20 р.

УДК

681.32

ББК 32.973

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

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

[Текст] : монография / Алан Прицкер; Пер. с англ. Н.В. Лукина, В.А. Филиппова и др. ; Под ред. А.Д. Цвиркуна, В.А. Филиппова. - Перевод изд.: Introduction to simulation and SLAM II/ A.A.B. Pritsker. - Москва : Мир, 1987. - 644 с. : ил. - Библиогр: в конце глав. Предм. указ.: с. 636-639. - 3.60 р.

УДК	681.32%ББК 32.97

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

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

[Текст] : монография / С.М. Ачасова, О.Л.Бандман; Отв. ред. Н.Н.Миренков. - Москва : Наука, 1990. - 252 с. : 129 ил + 2 табл. - Библиогр: с.246-249 Предм.указ.: с.250-252%ISBN 5-02-029334-2. - 3.60 р.

УДК

681.32

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

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

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

[Текст] : монография / Жук К.Д., Тимченко А.А., Родионов А.А. и др.; АН УССР, Ин-т кибернетики им. В.М. Глушкова. - Киев : Наукова думка, 1983. - 248 с. : ил + табл. - Библиогр: с.238-243. - 3.00 р.

УДК

681.32

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

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

[Текст] : учебное пособие для вузов по специальности "Проимышленная электроника" / В.Г. Абакумов ; Отв. ред. А.В. Дьяков. - Киев : Вища школа, 1978. - 376 с. : ил + 33 табл. - Библиогр.: с. 367-368. - 1.30 р.

УДК

681.32

681.33(07)

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

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

[Текст] : монография / Ч.И. Аскеров, В.В. Гамидов. - Москва : Энергия, 1978. - 120 с. : ил. - (Библиотека по автоматике ; вып. 580). - Библиогр.: с. 114-116. - 0.40 р.

УДК

681.32

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

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

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

[Текст] : монография / П. Анишев и др. ; Под ред. О.Л. Бандман ; Ин-т математики СО АН СССР. - Новосибирск : Наука. Сибирское отделение, 1981. - 180 с. : ил. + табл. - Библиогр.: с. 173-176. - 1.20 р.

УДК

681.32

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

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

[Текст] : учебное пособие / Под ред. М. Брейера ; Пер. с англ. Н.Е. Маховой, В.Г. Меркулова, О.Ф. Мясина ; под ред. Л.Д. Райкова. - Москва : Мир, 1979. - 463 с. : ил. - Библиогр.: с. 457-458. - 2.50 р.

УДК

681.32

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

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

[Текст] : монография / А.Г. Алексенко, А.В.%Каляев; Под ред.А.В.Каляева. - Москва : Радио и связь, 1982. - 368 с. : ил + табл. - Библиогр: с.359-366. - 1.40 р.

УДК	681.32%ББК 32.97

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

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

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

[Текст] : монография / Под ред. М. Брейера; Пер. с англ. В.Г. Меркулова и О.Ф. Мясина; Под ред. Л.Д. Райкова. - Пер. изд.: Design automation of digital systems. Theory and techniques / by M. Breuer. - Москва : Мир, 1977. - 283 с. : ил + табл. - Библиогр.: в конце глав. - 1.50 р.

УДК

681.32

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

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

[Текст] : уч. пособие для вузов по спец. "Вычислительные машины, комплексы, системы и сети". / А.И. Постников. - Красноярск : [б. и.], 1999. - 251 с. : ил. - Библиогр.: с.291-292. - 8.50 р.

УДК

681.32

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

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

[Текст] : монография / Л.Ф. Штернберг. - Москва : Радио и связь, 1984. - 89 с. : ил. - Библиогр.: с. 88-89. -

УДК

681.32

ББК З973.2-018

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

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

[Текст] : монография / Ч. Косневски ; Пер. с англ. И.А. Маховой; Под ред. Ю.М. Баяковского. - Москва : Мир, 1987. - 192 с. : ил. - (Современная математика. Популярная серия). - Пер. изд. : Fun mathematics on your microcomputer / C. Kosniowski. - 0.80 р., 0.80 р.

ГРНТИ	27.01
УДК	51	681.32

ББК В1 + З97

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

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

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

[Текст] : Пер. с англ. / Под ред. Р.Л.Добрушина и С.И.Самойленко. - Москва : Мир, 1976. - 594 с. : ил. - Библиогр.: с.575-590. - Пер. изд. : Error-correcting codes / W.W. Peterson, E.J. Weldon. - 1972. - 2.87 р.

ГРНТИ	28.21.19
УДК	681.32

ББК З811.43,0

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

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

Доп.точки доступа:
Уэлдон, Е.Дж.; Peterson, W. W.Weldon, E. J.
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] / А.Л. Ланцов, Л.Н. Зворыкин, И.Ф. Осипов. - Москва : Радио и связь, 1983. - 272 с. : ил. - Библиогр.: с. 270. - 0.95 р.

УДК

681.32

ББК З844.15 + З973.2

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

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

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