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

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

Главная

ИРБИС64+

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

Описание

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС IPRBooks

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

ЭБС Юрайт

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

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

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

ВКР

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

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

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

Поисковый запрос: (<.>A=Веретельникова, Е. Л.$<.>)

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

Вид документа : Однотомное издание
Шифр издания : 47720
Автор(ы) : Веретельникова Е. Л.
Заглавие : Теория вычислительных процессов. Часть 2. Теория сетей Петри и моделирование систем: Учебное пособие. Теория вычислительных процессов. Часть 2. Теория сетей Петри и моделирование систем
Выходные данные : : Новосибирский государственный технический университет Б.м., 2010
Колич.характеристики :61 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7782-1340-1: Б.ц.
УДК : 62
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): вычислительный процесс--сеть петри--моделирование
Аннотация: Приведены теоретический материал и практические задания для освоения основных принципов построения сетей Петри и их использования в моделировании. Пособие подразделено на темы, в рамках каждой из которых предложены теоретический материал, проиллюстрированный примерами, а также упражнения для самостоятельной работы. Пособие адресовано студентам, изучающим теорию вычислительных процессов.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 91444
Автор(ы) : Веретельникова Е. Л.
Заглавие : Теоретическая информатика. Теория сетей Петри и моделирование систем : Учебное пособие
Выходные данные : Новосибирск: Новосибирский государственный технический университет, 2018
Колич.характеристики :82 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7782-3559-5: Б.ц.
УДК : 004.42
ББК : 32.8
Ключевые слова (''Своб.индексиров.''): дерево достижимости--конечный автомат--маркированная сеть--матричное уравнение--моделирование системы--мультиграф--сеть петри--теоретическая информатика
Аннотация: В работе изложены теоретический материал и практические задания для освоения основных принципов построения сетей Петри и их использования в моделировании. Материал подразделен на двенадцать тем, объединенных в три главы, и сгруппирован таким образом, чтобы на аудиторном занятии изучались соответственно две-три темы. В рамках каждой темы предлагаемый теоретический материал иллюстрируется примерами, а затем предлагаются упражнения для самостоятельной работы. Пособие будет полезно и для студентов других специальностей, интересующихся теорией сетей Петри и вопросами моделирования систем.
(для доступа требуется авторизация)

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

Вид документа : Однотомное издание
Шифр издания : 91545
Автор(ы) : Веретельникова Е. Л.
Заглавие : Теоретическая информатика. Доказательство правильности : Учебное пособие
Выходные данные : Новосибирск: Новосибирский государственный технический университет, 2016
Колич.характеристики :51 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-7782-2875-7: Б.ц.
УДК : 004.42
ББК : 32.81
Ключевые слова (''Своб.индексиров.''): доказательство правильности--индуктивное утверждение--математическая индукция--правильность блок-схемы--правильность программы--рекурсивная программа--структурная индукция--теоретическая информатика--язык программирования
Аннотация: В работе изложен теоретический материал и рассмотрены многочисленные примеры для освоения основных принципов и приемов доказательства правильности программ, представленных блок-схемами или записанных на языках высокого уровня. Материал подразделен на четыре основные темы и сгруппирован таким образом, чтобы изучению одной темы соответствовали одно-два аудиторных занятия. В рамках каждой темы предлагаются упражнения для самостоятельной работы и контрольные вопросы. Пособие будет полезно для студентов, изучающих программирование и интересующихся вопросами доказательства правильности программ.
(для доступа требуется авторизация)

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

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

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

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