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

Главная

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

Базы данных

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

Вид поиска

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

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

Диссертации

Журналы

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

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

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

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

Туризм

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

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

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

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

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

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>S=Вычислительные системы-Математическое обеспечение<.>)

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

Вид документа : Многотомное издание
Шифр издания : П.209/М 744
Заглавие : Моделирование вычислительных систем и процессов: Межвузовский сборник научных трудов/ Министерство высшего и среднего специального образования РСФСР, Пермский государственный университет, гл. ред. А.И. Миков.
Выходные данные : Пермь, 1989
Колич.характеристики :168 с
Коллективы : Министерство высшего и среднего специального образования РСФСР, Пермский государственный университет
Серия:
Цена : Б.ц.
УДК : 681.324
Предметные рубрики: Вычислительные системы-Математическое обеспечение
Содержание : Автоматизация моделирования бортового вычислителя В-90/ С. В. Березняков, В. В. Бурдин, А. И. Миков. Автоматическое моделирование неисправностей микропроцессора К580ИК80/ Л. Ф. Викентьев [и др.]. Применение идей эталонной модели взаимодействия открытых систем в разработке устройств сопряжения/ Б. С. Гаспер, А. А. Аникин. Применение идей эталонной модели взаимодействия открытых систем неоднородными сетями массового обслуживания/ В. Д. Ефремов, А. В. Лупин. Компиляторы с автоматическим получением генераторов кода/ Л. А. Залогова. Реализация информационных процедур и условия моделирования/ Е. Б. Замятина. Способы и модели функционального контроля устройств управления микропроцессорных систем/ Е. Л. Кон, М. М. Кулагина. Анализ эффективности маршрутизации в локальных сетях с помощью имитационного моделирования/ О. Я. Кравец. Переходные процессы в автоматах с частично определенными сигналами/ В. И. Левин, Н. К. Земцова. Верификация вычислительной аппаратуры/ А. Г. Матросов. Иерархические логические программы в проектировании цифровых вычислительных устройств/ А. Г. Матросов. Оптимизация структуры многопроцессорных систем автоматизации испытаний/ Н. Н. Матушкин, А. А. Сюткин, А. А. Южаков. Автоматизированный синтез логических алгоритмов встроенных вычислительных систем/ В. А. Несмелов, С. Ф. Тюрин. Анализ сетевых моделей параллельных процессов и систем/ С. П. Орлов. Моделирование алгоритмов управления, представленных параллельными логическими схемами / И. О. Синегубов, О. Л. Лепихина. Моделирование кольцевых интерфейсных структур распределенных управляющих и вычислительных систем/ В. С. Харченко, Г. Н. Тимонькин, С. Б. Никольский.
Экземпляры : всего : ОПЛ(3)
Свободны : ОПЛ(3)
Найти похожие

Вид документа : Многотомное издание
Шифр издания : П.209/М 340
Заглавие : Математика программных систем: Межвузовский сборник научных трудов/ Министерство образования Российской Федерации, Пермский государственный университет, гл. ред. А.И. Миков .
Выходные данные : Пермь, 2001
Колич.характеристики :188 с
Коллективы : Министерство образования Российской Федерации, Пермский государственный университет
Серия:
Цена : 0.00, 000.35, р.
УДК : 681.332.23(082.1)
Предметные рубрики: Пермская область-Математические науки-Университеты
Вычислительные системы-Математическое обеспечение
Ключевые слова (''Своб.индексиров.''): вычислительные системы.проектирование.автоматизация--системное программирование--сложные программные системы--теория распределенных алгоритмов--информационные системы.защита
Содержание : Сложность данных и немонотонные функции сложности алгоритмов/ А. И. Миков. О надежности поиска посредством ненадежных сравнений/ В. В. Морозенко. Теоретико-игровая постановка задачи защиты информационных систем/ А. И. Миков, Д. А. Мельников. Конструирование булевых криптофункций/ А. И. Миков, Ю. А. Батурина. Mapping Problem in a Network. Time Optimization/ L. N. Lyadova, N. A. Vodovoz. Некоторые усовершенствования метода анализа иерархий/ А. В. Митягин, М. А. Плаксин. Aesthetics Analysis of Graph Drawing Algorithms/ N. V. Frolova, A. N. Shabounin. Выполнение многопоточной программы в вычислительной сети с использованием Интернет-технологий/ А. Н. Шляпников. SIMMOD - Simulation Environment with Syntax-Directed Interfase/ E. Vasiljewa, E. Zamyatina, O. Naugolnych. Knowlege Based Debugger of Simulation Model/ E. Zamyatina. Архитектура системы тиражирования данных/ Д. А. Громыко, Л. Н. Лядова. Принципы построения экспертной системы для аналитического решения краевых задач/ Л. Н. Ясницкий. Разработка системы контроля знаний для дистанционного обучения/ А. Ю. Ведерников. Состав программных средств для поддержки процесса дистанционного обучения/ Е. Ю. Никитина. Автоматизированная система проведения соревнований по программированию "EVALUATE SERVER SUITE"/ В. Н. Бугай. Remote DBSynt: система дистанционного обучения проектированию настольных баз данных/ А. В. Быков, С. И. Чуприна. Принципы разработки открытой системы дистанционного обучения xDLS/ А. Н. Белоногов, К. А. Кондратьев, Л. Н. Лядова. Компоненты системы ДО для реализации методов активного обучения/ А. Н. Белоногв.
Экземпляры : всего : ОПЛ(2)
Свободны : ОПЛ(2)
Найти похожие

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

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

Статистика за 07.08.2024
Число запросов	21987
Число посетителей	458
Число заказов	0

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