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

Главная

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

Базы данных

Основная библиотечная БД - результаты поиска

Вид поиска

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

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

Диссертации

Журналы

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

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

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

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

Туризм

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

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

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

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

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

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

Поисковый запрос: (<.>K=Петри сети<.>)

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

   681
   С 409

    Системная информатика : сборник научных трудов / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова; [редкол.: А. Г. Марчука (гл. ред.) и др.]. - Новосибирск : Наука, 1991 - . - (Системная информатика).
   Вып. 9 : Формальные методы и модели информатики / [Ю. Гуревич и др.] ; под ред. А. Г. Марчука. - 2004. - 360 с. : ил. - Библиогр. в конце ст. - ISBN 5-7692-0700-0 : 160.00 р.

50.05
УДК	004(082)

ББК Ч23я43
Рубрики: Программирование--Сборники
Кл.слова (ненормированные):
Машины абстрактных состояний -- C-light -- Петри сети -- Алгоритмы генерации
Аннотация: Отражены вопросы математической теории программирования,теории параллельного программирования,трансформационного синтеза программ, а также вопросы контроля языковых стандартов и автоматической генерации оптимального кода

Доп.точки доступа:
Марчук, Андрей Гурьевич \ред.\; Гуревич, Ю.; Непомнящий, В. А.; Ануреев, И. С.; Михайлов, И. Н.; Промский, А. В.; Тарасюк, И. В.; Булычев, Д. Ю.; Семенов, А. Л.; Важев, И. В.; Кашеварова, Т. П.; Бревнов, Е. В.; Ершов, А. Г.; Клейменов, А. Е.; Лещенко, А. С.; Лоенко, М. Ю.; Петунин, Д. В.; Марчук, Андрей Гурьевич \ред.\; Российская академия наук(СО РАН ; Новосибирск). Сибирское отделение; Институт систем информатики им. А. П. Ершова
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие

519
Е 263

Евстигнеев, Владимир Анатольевич.
Сводимые графы и граф-модели в программировании / Отв.ред.В.Н.Касьянов. - Новосибирск : Изд-во ИДМИ, 1999. - 288с. - Библиогр.:с.275-284. - ISBN 5-88119-125-0 : 40 р.

УДК

519.17

004.421

Рубрики: Графов теория
Кл.слова (ненормированные):
Шпекенмейера алгоритм -- Графов теория -- Программирование -- Петри сети -- Бергера-Шора алгоритм -- Шамира алгоритм -- Ленгауэра-Тарьяна алгоритм

Доп.точки доступа:
Касьянов, Виктор Николаевич
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие

   681
   Л 74

    Ломазова, И. А.
    Вложенные сети Петри: моделирование и анализ распределенных систем с объектной структурой / И. А. Ломазова. - М. : Науч. мир, 2004. - 208 с. - Библиогр.: с. 197. - ISBN 5-89176-247-1 : 110.00 р., 110.00 р.

УДК

004.436.4:519.175

Рубрики: Вычислительная техника
Кл.слова (ненормированные):
Петри сети -- Вычислительные сети

Экземпляры всего: 2
Х (1), АБН (1)
Свободны: Х (1), АБН (1)
Найти похожие

   681
   И 883


    Использование сетей Петри при проектировании систем обработки данных / А. Г. Мамиконов [и др.] ; Акад. наук СССР, Ин-т проблем управления. - Москва : Наука, 1988. - 103 с. : ил. - Библиогр.: с. 100-101. - ISBN 5-02-000103-1 : 0.50 р.

ГРНТИ	50.33.14
УДК	004.41:519.17

Рубрики: Разработка вычислительных систем
Кл.слова (ненормированные):
ПЕТРИ СЕТИ -- ГРАФОВ ТЕОРИЯ (МАТЕМАТИКА) -- ВЫЧИСЛИТЕЛЬНЫЕ СИСТЕМЫ (ПРОЕКТРОВАНИЕ) -- ВЫЧИСЛИТЕЛЬНЫЕ СЕТИ (МАТЕМАТИЧЕСКИЕ МЕТОДЫ)

Доп.точки доступа:
Мамиконов, Акоп Гаспарович; Деметрович, Я.; Кульба, В. В.; Академия наук СССР; Институт проблем управления
Экземпляры всего: 1
Х (1)
Свободны: Х (1)
Найти похожие

   519
   Л 502

    Лескин, А. А.
    Сети Петри в моделировании и управлении / А. А. Лескин, П. А. Мальцев, А. М. Спиридонов ; Академия наук СССР. - Ленинград : Наука, 1989. - 135 с. : ил. - 01.10 р.

ГРНТИ	27
УДК	519.7

Рубрики: Математическая кибернетика
Кл.слова (ненормированные):
Петри сети -- Графов теория (применение при моделировании)

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

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

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

Статистика за 30.06.2024
Число запросов	26044
Число посетителей	309
Число заказов	0

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