| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска
Электронный каталог
ЭБС "ЛАНЬ"
ЭБС "ZNANIUM.com" (ИД "ИНФРА-М")
ЭБС "ЮРАЙТ"
ЭБС "АЙБУКС"
ЭБС "РУКОНТ"
ЭБС "IPRBOOKS"
ЭБС "BOOK.ru"
Электронная библиотека
Известные деятели культуры в Саратовской губернии
Работы В. А. Артисевич и литература о ней
Издания вузовских библиотек Среднего и Нижнего Поволжья
Публикации учёных СГУ
Краеведческий обзор
Поступления журналов в ЗНБ СГУ
БД коллекций в фонде ЗНБ СГУ
БД выпускных квалификационных работ
Сводный каталог библиотек (СГУ, СГТУ, ЦБС)
Область поиска
В текущей базе данных найдено документов :8
 В других БД по вашему запросу найдено:Электронный каталог (9)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=петри сети<.>)
Общее количество найденных документов : 8
Показаны документы с 1 по 8
1.

    Вычислительные системы [Текст] : сб. науч. тр. - Новосибирск : [б. и.].
   Вып. 152 : Теория вычислений и языки спецификаций. - 1995. - 219 с. : ил. - Библиогр. - ISBN 5-86134-012-9 : 2000.00 р.
УДК
510(082)

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
семантическое программирование -- естественные языки -- Тьюринга машина -- вычислительные автоматы -- немонотонные логики -- базы данных -- Петри сети
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие
2.

    Системная информатика [Текст] : сб. науч. тр. - Новосибирск : Наука. - (Системная информатика).
   Вып. 8 : Теория и методология программирования. - 2002. - 249, [3] с. - ISBN 5-02-031949-X (в пер.) : 65.00 р.
УДК
004.42(082)

Рубрики: вычислительная техника--программирование

Кл.слова (ненормированные):
программирование -- языки программирования -- программное обеспечение -- базы данных -- Петри сети -- Интернет -- Internet
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие
3.

    Ломазова, И. А.
    Вложенные сети Петри: моделирование и анализ распределенных систем с объектной структурой [Текст] : научное издание / И. А. Ломазова. - Москва : Науч. мир, 2004. - 207, [1] c. - Библиогр. - ISBN 5-89176-247-1 (в пер.) : 105.00 р.
УДК
519.179.2
519.71

Рубрики: математика--комбинаторный анализ--теория графов--математическая кибернетика

Кл.слова (ненормированные):
Петри сети -- моделирование -- распределенные системы -- многоуровневые системы -- верификация
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского
Найти похожие
4.

    Системная информатика [Текст] : сб науч. тр. / под ред. А. Г. Марчука ; Рос. акад. наук, Сиб. отд-ние, Ин-т систем. информатики им. А. П. Ершова. - Новосибирск : Изд-во СО РАН, 1991 - . - (Системная информатика / гл. ред. А. Г. Марчук).
   Вып. 9 : Формальные методы и модели информатики. - Новосибирск : Изд-во СО РАН, 2004. - 358, [2] с. : табл. - Библиогр.: с. 353-358 (102 назв.). - ISBN 5-7692-0700-0 (в пер.) : 95.00 р.
УДК
004(082)

Рубрики: вычислительная техника--информационные технологии

Кл.слова (ненормированные):
информатика -- языки программирования -- верификация -- машины абстрактных состояний -- петри сети
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского


Доп. точки доступа:
Марчук, А. Г. \\ред.\\
Найти похожие
5.

    Кузьмин, Егор Владимирович.
    Структурированные системы переходов [Текст] : научное издание / Е. В. Кузьмин, В. А. Соколов. - Москва : ФИЗМАТЛИТ, 2006. - 173, [3] с. : рис. - Библиогр.: с. 166-171 (90 назв.). - Предм. указ.: с. 172-173. - ISBN 5-9221-0692-9 (в пер.) : 105.00 р.
УДК
004

Рубрики: вычислительная техника--информационные технологии

Кл.слова (ненормированные):
верификация -- структурированные системы переходов -- петри сети -- параллельные системы -- распределенные системы -- счетчиковые машины -- темпоральность
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского


Доп. точки доступа:
Соколов, Валерий Анатольевич
Найти похожие
6.

    Аалст, Вил ван дер.
    Управление потоками работ. Модели, методы и системы [Текст] = Workflow Management. Models, Methods, and Systems : научное издание / В. ван дер Аалст, К. ван Хей ; пер. с англ. В. А. Башкина, И. А. Ломазовой ; под ред. И. А. Ломазовой. - Москва : ФИЗМАТЛИТ, 2007. - 315, [5] с. : рис. - (Информационные и компьютерные технологии). - Библиогр.: с. 311-315. - ISBN 978-5-9221-0762-4 (в пер.) : 360.00 р.
УДК
330.45

Рубрики: экономика--экономико-математические методы и модели

Кл.слова (ненормированные):
исследование операций -- экономико-математические методы -- массового обслуживания теория -- потоки работ -- управление потоками работ -- бизнес-процессы -- петри сети -- информационные технологии
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского


Доп. точки доступа:
Хей, Кейс ван
Башкин, В. А.
Ломазова, И. А.
Ломазова, И. А.
Найти похожие
7.

    Башкин, Владимир Анатольевич.
    Эквивалентность ресурсов в сетях Петри [Текст] : научное издание / В. А. Башкин, И. А. Ломазова. - Москва : Науч. мир, 2008. - 206, [2] с. : ил. - Библиогр.: с. 199-206 (74 назв.). - ISBN 978-5-91522-002-6 (в пер.) : 148.00 р.
УДК
004

Рубрики: вычислительная техника--информационные технологии

Кл.слова (ненормированные):
петри сети -- параллельные системы -- распределенные системы -- подобие ресурсов -- эквивалентность
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского


Доп. точки доступа:
Ломазова, Ирина Александровна
Найти похожие
8.

    Желтов, Павел Валерианович.
    Модели и методы обработки символьной информации на сетях Петри [Текст] : моногр. / П. В. Желтов ; Федер. гос. бюджет. образоват. учреждение высш. проф. образования "Чувашский государственный университет им. И. Н. Ульянова". - Чебоксары : Изд-во Чуваш. ун-та, 2012. - 108 с. : ил., табл. - Библиогр.: с. 107 (11 назв.). - ISBN 978-5-7677-1603-6 : 298.10 р.
УДК
004.9

Рубрики: вычислительная техника--прикладные информационные технологии

Кл.слова (ненормированные):
символьная алгебра -- символьное моделирование -- обработка текста -- обработка символьной информации -- Петри сети -- символьные вычисления
Держатели документа:
Зональная научная библиотека имени В. А. Артисевич ФГБОУ ВО СГУ имени Н. Г. Чернышевского



Найти похожие
 
Стандартный (по одному полю)
По словарю (по одному полю)
Профессиональный (по нескольким полям со словарями)
Распределенный (г. Саратов)
Расширенный
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)