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

Базы данных


Электронный каталог - результаты поиска

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

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

Кл.слова (ненормированные):
семантическое программирование -- естественные языки -- Тьюринга машина -- вычислительные автоматы -- немонотонные логики -- базы данных -- Петри сети
Экземпляры всего: 1
ОХФ (1)
Найти похожие
2.
A882318-ОХФ
    Системная информатика [Текст] : сб. науч. тр. - Новосибирск : Наука. - (Системная информатика).
   Вып. 8 : Теория и методология программирования. - 2002. - 249, [3] с. - ISBN 5-02-031949-X (в пер.) : 65.00 р.
УДК
004.42(082)

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

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

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

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

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

Кл.слова (ненормированные):
информатика -- языки программирования -- верификация -- машины абстрактных состояний -- петри сети


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

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

Кл.слова (ненормированные):
верификация -- структурированные системы переходов -- петри сети -- параллельные системы -- распределенные системы -- счетчиковые машины -- темпоральность


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

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

Кл.слова (ненормированные):
исследование операций -- экономико-математические методы -- массового обслуживания теория -- потоки работ -- управление потоками работ -- бизнес-процессы -- петри сети -- информационные технологии


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

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

Кл.слова (ненормированные):
петри сети -- параллельные системы -- распределенные системы -- подобие ресурсов -- эквивалентность


Доп. точки доступа:
Ломазова, Ирина Александровна
Экземпляры всего: 1
ОХФ (1)
Найти похожие
8.
Учебные отделы, A915993-ОХФ, A915994-ОХФ,
    Леоненков, Александр Васильевич.
    Нечеткое моделирование в среде MATLAB и fuzzyTECH [Текст] / А. В. Леоненков. - Санкт-Петербург : БХВ-Петербург, 2005. - 719, [7] с. : ил. - (Мастер решений). - [Нечёткое моделирование в среде MATLAB и fuzzyTECH] . - Библиогр.: с. 717-719 (57 назв.). - ISBN 5-94157-087-2 : 236.25 р., 189.00 р.
УДК
004.4

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

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

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

Кл.слова (ненормированные):
символьная алгебра -- символьное моделирование -- обработка текста -- обработка символьной информации -- Петри сети -- символьные вычисления



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

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