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

Главная

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

Базы данных

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

Вид поиска

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

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

Диссертации

Журналы

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

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

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

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

Туризм

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

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

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

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

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

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

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

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

   П.209
   М 340

    Математика программных систем : межвузовский сборник научных трудов / Министерство образования Российской Федерации, Пермский государственный университет, гл. ред. А.И. Миков . - Пермь : [б. и.]. - 2001. - 188 с. - ). - 0.00, 000.35 р.
    Содержание:
Миков, А. И. Сложность данных и немонотонные функции сложности алгоритмов / А. И. Миков. - С .4
Морозенко, В. В. О надежности поиска посредством ненадежных сравнений / В. В. Морозенко. - С .14
Миков, А. И. Теоретико-игровая постановка задачи защиты информационных систем / А. И. Миков, Д. А. Мельников. - С .23
Миков, А. И. Конструирование булевых криптофункций / А. И. Миков, Ю. А. Батурина. - С .36
Lyadova, L. N. Mapping Problem in a Network. Time Optimization / L. N. Lyadova, N. A. Vodovoz. - С .48
Митягин, А. В. Некоторые усовершенствования метода анализа иерархий / А. В. Митягин, М. А. Плаксин. - С .56
Frolova, N. V. Aesthetics Analysis of Graph Drawing Algorithms / N. V. Frolova, A. N. Shabounin. - С .67
Шляпников, А. Н. Выполнение многопоточной программы в вычислительной сети с использованием Интернет-технологий / А. Н. Шляпников. - С .74
Vasiljewa, E. SIMMOD - Simulation Environment with Syntax-Directed Interfase / E. Vasiljewa, E. Zamyatina, O. Naugolnych. - С .79
Zamyatina, E. Knowlege Based Debugger of Simulation Model / E. Zamyatina. - С .87
Громыко, Д. А. Архитектура системы тиражирования данных / Д. А. Громыко, Л. Н. Лядова. - С .93
Ясницкий, Л. Н. Принципы построения экспертной системы для аналитического решения краевых задач / Л. Н. Ясницкий. - С .105
Ведерников, А. Ю. Разработка системы контроля знаний для дистанционного обучения / А. Ю. Ведерников. - С .115
Никитина, Е. Ю. Состав программных средств для поддержки процесса дистанционного обучения / Е. Ю. Никитина. - С .122
Бугай, В. Н. Автоматизированная система проведения соревнований по программированию "EVALUATE SERVER SUITE" / В. Н. Бугай. - С .127
Быков, А. В. Remote DBSynt: система дистанционного обучения проектированию настольных баз данных / А. В. Быков, С. И. Чуприна. - С .130
Белоногов, А. Н. Принципы разработки открытой системы дистанционного обучения xDLS / А. Н. Белоногов, К. А. Кондратьев, Л. Н. Лядова. - С .159
Белоногов, А. Н. Компоненты системы ДО для реализации методов активного обучения / А. Н. Белоногв. - С .174

УДК

681.332.23(082.1)

Рубрики: Пермская область-Математические науки-Университеты
Вычислительные системы-Математическое обеспечение
Кл.слова (ненормированные):
вычислительные системы.проектирование.автоматизация -- системное программирование -- сложные программные системы -- теория распределенных алгоритмов -- информационные системы.защита

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

   П.209
   М 744

    Моделирование вычислительных систем и процессов : межвузовский сборник научных трудов / Министерство высшего и среднего специального образования РСФСР, Пермский государственный университет, гл. ред. А.И. Миков. - Пермь : [б. и.]. - 1989. - 168 с. - ). - Б. ц.
    Содержание:
Березняков, С. В. Автоматизация моделирования бортового вычислителя В-90 / С. В. Березняков, В. В. Бурдин, А. И. Миков. - С .4
Викентьев, Л. Ф. Автоматическое моделирование неисправностей микропроцессора К580ИК80 / Л. Ф. Викентьев [и др.]. - С .9
Другие авторы: Дерябин А.И., Келлер А.И., Клюкин А.А.
Гаспер, Б. С. Применение идей эталонной модели взаимодействия открытых систем в разработке устройств сопряжения / Б. С. Гаспер, А. А. Аникин. - С .17
Ефремов, В. Д. Применение идей эталонной модели взаимодействия открытых систем неоднородными сетями массового обслуживания / В. Д. Ефремов, А. В. Лупин. - С .25
Залогова, Л. А. Компиляторы с автоматическим получением генераторов кода / Л. А. Залогова. - С .32
Замятина, Е. Б. Реализация информационных процедур и условия моделирования / Е. Б. Замятина. - С .48
Кон, Е. Л. Способы и модели функционального контроля устройств управления микропроцессорных систем / Е. Л. Кон, М. М. Кулагина. - С .55
Кравец, О. Я. Анализ эффективности маршрутизации в локальных сетях с помощью имитационного моделирования / О. Я. Кравец. - С .61
Левин, В. И. Переходные процессы в автоматах с частично определенными сигналами / В. И. Левин, Н. К. Земцова. - С .66
Матросов, А. Г. Верификация вычислительной аппаратуры / А. Г. Матросов. - С .93
Матросов, А. Г. Иерархические логические программы в проектировании цифровых вычислительных устройств / А. Г. Матросов. - С .102
Матушкин, Н. Н. Оптимизация структуры многопроцессорных систем автоматизации испытаний / Н. Н. Матушкин, А. А. Сюткин, А. А. Южаков. - С .123
Несмелов, В. А. Автоматизированный синтез логических алгоритмов встроенных вычислительных систем / В. А. Несмелов, С. Ф. Тюрин. - С .128
Орлов, С. П. Анализ сетевых моделей параллельных процессов и систем / С. П. Орлов. - С .136
Синегубов, И. О. Моделирование алгоритмов управления, представленных параллельными логическими схемами / И. О. Синегубов, О. Л. Лепихина. - С .144
Харченко, В. С. Моделирование кольцевых интерфейсных структур распределенных управляющих и вычислительных систем / В. С. Харченко, Г. Н. Тимонькин, С. Б. Никольский. - С .154

УДК

681.324

Рубрики: Вычислительные системы-Математическое обеспечение

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

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

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

Статистика за 01.07.2024
Число запросов	69521
Число посетителей	441
Число заказов	0

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