Фундаментальная библиотека ФГБОУ ВО СПХФУ Минздрава России

Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A

Главная

ИРБИС64+

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

Описание

Базы данных

ЭБС IPRBooks- результаты поиска

Вид поиска

Электронный каталог

Картотека журнальных статей

Систематический имидж-каталог

Авторефераты диссертаций

Учебники и учебно-методические пособия СПХФУ

ЭБС IPRBooks

ЭБС Консультант студента

ЭБС Юрайт

Диссертации, защищенные в СПХФУ

Журнальный фонд СПХФУ

Библиотечный фонд техникума

ВКР

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

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

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

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

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

Вид документа : Однотомное издание
Шифр издания : 61086
Автор(ы) : Александров Д. В.
Заглавие : Моделирование и анализ бизнес-процессов : Учебник
Выходные данные : Саратов: Ай Пи Эр Медиа, 2017
Колич.характеристики :227 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-9908055-8-3: Б.ц.
УДК : 004.4
ББК : 65.29
Ключевые слова (''Своб.индексиров.''): case-технология--бизнесс-процесс--моделирование предприятия--поток данных--сети петри
Аннотация: Рассматриваются подходы, модели и методы моделирования и анализа бизнес-процессов предприятий различных сфер деятельности с использованием инструментальных средств, включая особенности применения методологий IDEF0, IDEF3, DFD, ERM, ARIS, а также аппарата сетей Петри. Для студентов всех форм, обучающихся по направлениям подготовки высшего образования из укрупненных групп: компьютерные и информационные науки, информатика и вычислительная техника, управление в технических системах, а также экономика и управление, в частности, по направлениям: информационные системы, программная инженерия, прикладная информатика, бизнес-информатика, экономика и менеджмент. Рекомендуется преподавателям в качестве пособия при проведении занятий со студентами программ бакалавриата, специалитета и магистратуры. Книга может быть полезна всем интересующимся данной темой для самостоятельного ее изучения.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 28402
Автор(ы) : Рязанов Ю. Д.
Заглавие : Теория вычислительных процессов : Лабораторный практикум. Учебное пособие
Выходные данные : Белгород: Белгородский государственный технологический университет им. В.Г. Шухова, ЭБС АСВ, 2011
Колич.характеристики :100 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 004
ББК : 32.81я73
Ключевые слова (''Своб.индексиров.''): автомат мили--автомат мура--вычислительный процесс--машина тьюринга--одноленточный автомат--сети петри
Аннотация: В учебном пособии содержатся теоретические сведения и необходимые рекомендации к выполнению лабораторных работ по дисциплине «Теория вычислительных процессов» в соответствии с государственным образовательным стандартом высшего профессионального образования. Рассмотрены основы теоретического программирования: вычислимость и разрешимость, одноленточные автоматы, автоматы Мили и Мура, схемы программ, сети Петри. Теоретический материал сопровождается примерами и задачами с решениями. Учебное пособие предназначено для студентов дневной и заочной форм обучения по направлению подготовки 230100 «Информатика и вычислительная техника» и специальности 230105 — Программное обеспечение вычислительной техники и автоматизированных систем.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 90420
Автор(ы) : Федотов И. Е.
Заглавие : Параллельное программирование. Модели и приемы
Выходные данные : Москва: СОЛОН-ПРЕСС, 2018
Колич.характеристики :390 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-91359-222-4: Б.ц.
УДК : 681.3
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): интерфейс openmp--квантовое вычисление--квантовый бит--конечный автомат--параллельное программирование--параллельный сумматор--принцип суперпозиции--сети петри--язык sal--ярусно-параллельная форма
Аннотация: Книга посвящена рассмотрению некоторых высокоуровневых моделей параллельного и распределенного программирования. В порядке усложнения описываются несколько моделей внутренней организации параллельных программ: ярусно-параллельная форма программы, сети конечных автоматов, сети Петри, модель актеров, а также модель квантовых вычислений. Приводятся примеры программной реализации на C++ с использованием различных средств распараллеливания (OpenMP, MPI, POSIX Threads, Windows API). В каждом случае рассматриваются вопросы контекстно-независимой реализации конструкций описываемой модели без привязки к конкретным задачам, а также приведены примеры решения с использованием такой реализации некоторых конкретных задач. Некоторые из описанных моделей (к примеру, модель актеров), в настоящий момент приобретают все большую популярность вследствие распространения основанных на ее использовании языков и библиотек. Книга ориентирована на подготовленного читателя в области программирования. Будет полезна программистам, желающим освоить высокоуровневые подходы к организации параллельных и распределенных программ, студентам старших курсов, аспирантам и преподавателям технических ВУЗов, преподающим параллельное программирование.
(для доступа требуется авторизация)

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

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

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

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