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

w10=
Найдено документов в текущей БД: 2
   З 973
   М594

    Автоматизация синтеза микропроцессорных управляющих систем
[Текст] : монография / А.И. Миков. - Иркутск : ИГУ, 1987. - 288 с. : ил. - Библиогр: с.272-279. - 1.90 р.
УДК

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

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

    Математика программных систем
[Текст] : межвузовский сборник научных трудов / Пермский государственный университет, Институт компьютинга ; Пермский государственный университет; Институт компьютинга; Под ред. А. И. Микова. - Пермь : Пермский госуниверситет, 2002. - 176 с. : ил. - Библиогр. в конце ст. - ISBN 5-7944-0335-7 : 8.50 р.
УДК
ББК З973

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

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

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