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

Базы данных


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

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

Вид документа : Многотомное издание
Шифр издания : 645711
681.142(08)/В 94
Заглавие : Вычислительные системы: Сб. науч. тр. Вып. 152: Теория вычислений и языки спецификаций
Выходные данные : Новосибирск, 1995
Колич.характеристики :219 с.: ил.
Примечания : Библиогр.
ISBN, Цена 5-86134-012-9: 2000.00 р.
УДК : 510(082)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): семантическое программирование--естественные языки--тьюринга машина--вычислительные автоматы--немонотонные логики--базы данных--петри сети
Найти похожие
2.

Вид документа : Многотомное издание
Шифр издания : 974866
681.142.2/С 40
Заглавие : Системная информатика: Сб. науч. тр. - (Системная информатика). Вып. 8: Теория и методология программирования
Выходные данные : Новосибирск: Наука, 2002
Колич.характеристики :249, [3] с
ISBN (в пер.), Цена 5-02-031949-X: 65.00 р.
УДК : 004.42(082)
Предметные рубрики: вычислительная техника-- программирование
Ключевые слова (''Своб.индексиров.''): программирование--языки программирования--программное обеспечение--базы данных--петри сети--интернет--internet
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : 997018
518.8+62-501.72/Л 74
Автор(ы) : Ломазова И. А.
Заглавие : Вложенные сети Петри: моделирование и анализ распределенных систем с объектной структурой : научное издание
Выходные данные : Москва: Науч. мир, 2004
Колич.характеристики :207, [1] c.
Примечания : Библиогр.
ISBN (в пер.), Цена 5-89176-247-1: 105.00 р.
УДК : 519.179.2 + 519.71
Предметные рубрики: математика-- комбинаторный анализ-- теория графов-- математическая кибернетика
Ключевые слова (''Своб.индексиров.''): петри сети--моделирование--распределенные системы--многоуровневые системы--верификация
Найти похожие
4.

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

Вид документа : Однотомное издание
Шифр издания : 517268
681.142/К 89
Автор(ы) : Кузьмин, Егор Владимирович, Соколов, Валерий Анатольевич
Заглавие : Структурированные системы переходов : научное издание
Выходные данные : Москва: ФИЗМАТЛИТ, 2006
Колич.характеристики :173, [3] с.: рис.
Примечания : Библиогр.: с. 166-171 (90 назв.). - Предм. указ.: с. 172-173
ISBN (в пер.), Цена 5-9221-0692-9: 105.00 р.
УДК : 004
Предметные рубрики: вычислительная техника-- информационные технологии
Ключевые слова (''Своб.индексиров.''): верификация--структурированные системы переходов--петри сети--параллельные системы--распределенные системы--счетчиковые машины--темпоральность
Найти похожие
6.

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

Вид документа : Однотомное издание
Шифр издания : 604001
Автор(ы) : Башкин, Владимир Анатольевич, Ломазова, Ирина Александровна
Заглавие : Эквивалентность ресурсов в сетях Петри : научное издание
Выходные данные : Москва: Науч. мир, 2008
Колич.характеристики :206, [2] с.: ил.
Примечания : Библиогр.: с. 199-206 (74 назв.)
ISBN (в пер.), Цена 978-5-91522-002-6: 148.00 р.
УДК : 004
Предметные рубрики: вычислительная техника-- информационные технологии
Ключевые слова (''Своб.индексиров.''): петри сети--параллельные системы--распределенные системы--подобие ресурсов--эквивалентность
Найти похожие
8.

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

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