Главная Упрощенный режим

Базы данных


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

Вид поиска
Основная библиотечная БД
Труды учёных ПГНИУ
Диссертации
Журналы
Рациональное природопользование
Иностранная периодика
Дореволюционная периодика
Библиотека юридичеcкого факультета (статьи)
Туризм
История Пермского университета
Продолжающиеся издания
Музейный книжный фонд
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=Петри сети<.>)
Общее количество найденных документов : 5
Показаны документы с 1 по 5
1.

Вид документа : Продолжающееся издание
Шифр издания : 681/С 409
Автор(ы) : Гуревич Ю., Непомнящий В. А., Ануреев И. С., Михайлов И. Н., Промский А. В., Тарасюк И. В., Булычев Д. Ю., Семенов А. Л., Важев И. В., Кашеварова Т. П., Бревнов Е. В., Ершов А. Г., Клейменов А. Е., Лещенко А. С., Лоенко М. Ю., Петунин Д. В.
Заглавие : Системная информатика: сборник научных трудов/ Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А. П. Ершова; [редкол.: А. Г. Марчука (гл. ред.) и др.]. - (Системная информатика). Вып. 9: Формальные методы и модели информатики
Выходные данные : Новосибирск: Наука, 2004
Колич.характеристики :360 с.: ил.
Коллективы : Российская академия наук, Институт систем информатики им. А. П. Ершова
Примечания : Библиогр. в конце ст.
ISBN, Цена 5-7692-0700-0: 160.00 р.
ГРНТИ : 50.05
УДК : 004(082)
ББК : Ч23я43
Предметные рубрики: Программирование
Ключевые слова (''Своб.индексиров.''): машины абстрактных состояний--c-light--петри сети--алгоритмы генерации
Аннотация: Отражены вопросы математической теории программирования,теории параллельного программирования,трансформационного синтеза программ, а также вопросы контроля языковых стандартов и автоматической генерации оптимального кода
Экземпляры :Х(1)
Свободны : Х(1)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : 519/Е 263
Автор(ы) : Евстигнеев, Владимир Анатольевич, Касьянов, Виктор Николаевич
Заглавие : Сводимые графы и граф-модели в программировании
Выходные данные : Новосибирск: Изд-во ИДМИ, 1999
Колич.характеристики :288с.
Примечания : Библиогр.:с.275-284
ISBN, Цена 5-88119-125-0: 40 р.
УДК : 519.17 + 004.421
Предметные рубрики: Графов теория
Ключевые слова (''Своб.индексиров.''): шпекенмейера алгоритм--графов теория--программирование--петри сети--бергера-шора алгоритм--шамира алгоритм--ленгауэра-тарьяна алгоритм
Экземпляры :Х(1)
Свободны : Х(1)
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 681/Л 74
Автор(ы) : Ломазова И. А.
Заглавие : Вложенные сети Петри: моделирование и анализ распределенных систем с объектной структурой
Выходные данные : М.: Науч. мир, 2004
Колич.характеристики :208 с
Примечания : Библиогр.: с. 197
ISBN, Цена 5-89176-247-1: 110.00, 110.00, р.
УДК : 004.436.4:519.175
Предметные рубрики: Вычислительная техника
Ключевые слова (''Своб.индексиров.''): петри сети--вычислительные сети
Экземпляры : всего : Х(1), АБН(1)
Свободны : Х(1), АБН(1)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 681/И 883
Автор(ы) : Мамиконов, Акоп Гаспарович, Деметрович Я., Кульба В. В.
Заглавие : Использование сетей Петри при проектировании систем обработки данных
Выходные данные : Москва: Наука, 1988
Колич.характеристики :103 с.: ил.
Коллективы : Академия наук СССР, Институт проблем управления
Примечания : Библиогр.: с. 100-101
ISBN, Цена 5-02-000103-1: 0.50 р.
ГРНТИ : 50.33.14
УДК : 004.41:519.17
Предметные рубрики: Разработка вычислительных систем
Ключевые слова (''Своб.индексиров.''): петри сети--графов теория (математика)--вычислительные системы (проектрование)--вычислительные сети (математические методы)
Экземпляры :Х(1)
Свободны : Х(1)
Найти похожие
5.

Вид документа : Однотомное издание
Шифр издания : 519/Л 502
Автор(ы) : Лескин А. А., Мальцев П. А., Спиридонов А. М.
Заглавие : Сети Петри в моделировании и управлении
Выходные данные : Ленинград: Наука, 1989
Колич.характеристики :135 с.: ил.
Коллективы : Академия наук СССР
Цена : 01.10 р.
ГРНТИ : 27
УДК : 519.7
Предметные рубрики: Математическая кибернетика
Ключевые слова (''Своб.индексиров.''): петри сети--графов теория (применение при моделировании)
Экземпляры :Х(1)
Свободны : Х(1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 02.07.2024
Число запросов 26927
Число посетителей 403
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)