Научная Библиотека Пермского Государственного Университета

Главная

Упрощенный режим

Базы данных

Продолжающиеся издания - результаты поиска

Вид поиска

Основная библиотечная БД

Труды учёных ПГНИУ

Диссертации

Журналы

Рациональное природопользование

Иностранная периодика

Дореволюционная периодика

Библиотека юридичеcкого факультета (статьи)

Туризм

История Пермского университета

Продолжающиеся издания

Музейный книжный фонд

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Поисковый запрос: (<.>U=681.332.23(066)<.>)

Общее количество найденных документов : 1

   П.209
   М 340

    Математика программных систем : межвузовский сборник научных трудов / Государственный комитет Российской Федерации по высшему образованию, Пермский государственный университет, гл. ред. А.И. Миков. - Пермь : [б. и.]. - 1993. - 188 с. - ). - Б. ц.
    Содержание:
Андреев, А. О. Основные возможности системы управления памятью ОС МКП / А. О. Андреев. - С .4
Алексеев, А. А. Принципы разработки и организации многоязыковой системы программирования для суперЭВМ / А. А. Алексеев, Л. Е. Карпов, С. Л. Подгорнова. - С .9
Белов, М. А. Методика использования двухуровневой оперативной памяти ВС "Эльбрус 3-1" в трансляторе с базового языка программирования / М. А. Белов. - С .35
Бремер, Д. Б. Поддержка объектного подхода в командном языке МКП / Д. Б. Бремер. - С .45
Бяков, А. Ю. Основные возможности ОС МКП / А. Ю. Бяков. - С .52
Замятина, Е. Б. Программные средства доопределения частично описанных моделей в TRIAD / Е. Б. Замятина. - С .65
Маев, А. В. Поддержка параллельного программирования в ОС МКП / А. В. Маев. - С .75
Родионов, В. М. Организация пакетной и диалоговой обработки в МКП / В. М. Родионов. - С .86
Скурат, Н. К. Организация многоязыковой символьной отладки и динамической диагностики программ в ОС МКП / Н. К. Скурат. - С .94
Филимонов, В. В. Механизмы совместности, теорема опускания типов и логика Хоара / В. В. Филимонов. - С .101
Калинина, Т. Б. Модель параллельных объектно-ориентированных вычислений и ее реализация в языке SMALLTALK / Т. Б. Калинина. - С .108
Чуприна, С. И. Инструментальные средства построения экспертных систем и вопросы их реализации / С. И. Чуприна. - С .116
Фролова, Н. В. Методы реализации математического обеспечения представления и применения грамматик для порождения структур / Н. В. Фролова. - С .131
Лядова, Л. Н. Использование полиморфизма в системе автоматизации проектирования ВС / Л. Н. Лядова. - С .142
Харитонов, В. А. Формальная система синтеза алгоритмов на основе моделирования вычислительных процессов в дискретном пространстве состояний / В. А. Харитонов, А. В. Олейников. - С .158
Матушкин, Н. Н. Особенности построения комплексного программного обеспечения сетевых систем автоматизации испытаний / Н. Н. Матушкин, А. А. Сюткин, А. А. Южаков. - С .165
Родионов, А. С. О распределении случайных битовых строк / А. С. Родионов. - С .177

УДК

681.332.23(066)

Рубрики: Вычислительная техника
   Информатика
   Сложные программные системы
   Математическое обеспечение

Доп.точки доступа:
Миков, А.И. \ред.\; Государственный комитет Российской Федерации по высшему образованиюПермский государственный университет
Экземпляры всего: 3
ОПЛ (3)
Свободны: ОПЛ (3)
Найти похожие

Тематический навигатор

Статистика обращений

Статистика за 03.07.2024
Число запросов	48498
Число посетителей	443
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)