Полное описание
> Мараховский, В. Б. Моделирование параллельных процессов. Сети Петри : курс для системных архитекторов, программистов, системных аналитиков, проектировщиков сложных систем упр. / В. Б. Мараховский, Л. Я. Розенблюм, А. В. Яковлев. - СПб. : Проф. лит., 2014. - 398 с. : ил. - (Избранное Computer Science). - Библиогр.: с. 396-398. - Тираж не указ. - ISBN 978-5-9905552-0-4. - Текст : непосредственный.
ГРНТИ УДК 50.33.04 004.272.2-047.58 27.45.17 519.179.2
Рубрики: Параллельные вычисления -- Моделирование
Петри сети
Доп. точки доступа: Розенблюм, Л.Я.
Яковлев, А.В.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ж2-14/56928)>
Шифр в сводном ЭК: 036355b9659667a8a302f179ac07601f
Яковлев А.В. Научно-технологические основы электрохимического синтеза терморасширяющихся соединений графита в азотнокислых электролитах : специальность 02.00.05 "Электрохимия" : диссертация на соискание ученой степени д-ра техн. наук / А. В. Яковлев, 2006. - 40 с. - Текст : непосредственный. Инфокоммуникационные системы и сети. Практикум : выставочные материалы / И. Г. Карпов, Г. Н. Нурутдинов, А. В. Яковлев [и др.], 2016. - 235 с. - Текст : непосредственный. Яковлев А.В. Разработка моделей статики, динамики и алгоритмов управления в экономических системах предприятий мебельного производства : специальность 05.13.10 "Управление в социальных и экономических системах" : диссертация на соискание ученой степени канд. техн. наук / А. В. Яковлев, 2004. - 16 с. - Текст : непосредственный. Мараховский В.Б. Параллельные процессы в дискретных системах. Спецификация. Анализ. Поведение : выставочные материалы / В. Б. Мараховский, Л. Я. Розенблюм, А. В. Яковлев, 2011. - 378 с. - Текст : непосредственный. Яковлев А.В. Роль государственного экономического регулирования в период перехода к рыночным отношениям / А. В. Яковлев, 1995. - 63 c. - Текст : непосредственный. Яковлев А.В. Рациональные условия применения мощных экскаваторов в глубоких карьерах : специальность 05.15.03 "" : автореферат диссертации на соискание ученой степени канд.техн.наук / А. В. Яковлев, 1995. - 19 с. - Текст : непосредственный. Яковлев А.В. Методика изучения прибортовых массивов для прогнозирования устойчивости бортов карьеров / А. В. Яковлев, Н. И. Ермаков, 2008. - 77 с. - Текст : непосредственный. Яковлев А.В. Математическое и физическое моделирование задач оптической пирометрии для дистанционной диагностики высокотемпературных процессов : специальность 05.13.18 "Математическое моделирование,численные методы и комплексы программ" : диссертация на соискание ученой степени канд. техн. наук / А. В. Яковлев, 2005. - 19 с. - Текст : непосредственный. Яковлев А.В. Методы, модели и алгоритмы формирования и анализа изображений в системе контроля качества материалов и продукции машиностроительного предприятия : специальность 05.13.01 "Системный анализ,управление и обработка информации (по отраслям)" : автореферат диссертации на соискание ученой степени канд. техн. наук / А. В. Яковлев, 2003. - 16 с. - Текст : непосредственный. Криптографическая защита информации / А. В. Яковлев, А. А. Безбогов, В. В. Родин, В. Н. Шамкин, 2006. - 139 с. - Текст : непосредственный. Яковлев А.В. Закономерности изменения свойств аморфных металлических сплавов на основе Co, Pd, Zr в условиях изохронного отжига и локального лазерного воздействия / А. В. Яковлев, 2010. - 18 с. - Текст : непосредственный. Зубрилов С.П. Комплексное использование водных ресурсов / С. П. Зубрилов, А. В. Яковлев, 2002. - 173 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Щеглов А.Ю. Анализ и проектирование защиты информационных систем. Контроль доступа к компьютерным ресурсам. Методы, модели, технические решения / А. Ю. Щеглов, К. А. Щеглова; под ред. М. В. Финкова, 2017. - 415 с. - Текст : непосредственный. Новиков Ф.А. Моделирование на UML. Теория, практика, видеокурс / Ф. А. Новиков, Д. Ю. Иванов, 2010. - 635 с. - Текст : непосредственный. Мараховский В.Б. Моделирование параллельных процессов. Сети Петри : курс для системных архитекторов, программистов, системных аналитиков, проектировщиков сложных систем упр. / В. Б. Мараховский, Л. Я. Розенблюм, А. В. Яковлев, 2014. - 398 с. - Текст : непосредственный. Басакер Р. Конечные графы и сети / Р. Басакер, Т. Саати; пер. с англ. В. Н. Буркова, С. Е. Ловецкого, В. Б. Соколова; под ред. А. И. Теймана, 1974. - 366 с. - Текст : непосредственный. Абросимов М.Б. Минимальные расширения графов : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / М. Б. Абросимов, 2001. - 20 с. - Текст : непосредственный. Бондаренко Б.А. Обобщенные треугольники и пирамиды Паскаля, их фрактали, графы и приложения / Б. А. Бондаренко, 1990. - 191 c. - Текст : непосредственный. Оре О. Графы и их применение / О. Оре, 2007. - 172 с. - Текст : непосредственный. Водомеров А.Н. Методы и средства автоматизированного распараллеливания приложений в распределенной среде : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. Н. Водомеров, 2007. - 23 с. - Текст : непосредственный. Ломазова И.А. Вложенные сети Петри : монография / И. А. Ломазова, 2004. - 207 с. - Текст : непосредственный. Лашева М.И. Переключательные алгоритмы преобразования графов / М. И. Лашева, 2011. - 16 с. - Текст : непосредственный. Network and parallel computing / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Languages and compilers for parallel computing / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Hora A. Quantum probability and spectral analysis of graphs / A. Hora, N. Obata, 2007 r=on-line. - Текст : электронный. Бабенко М.А. Сложность некоторых алгоритмических проблем для кососимметрических графов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени канд. физ.-мат. наук / М. А. Бабенко, 2007. - 13 с. - Текст : непосредственный. Калмыков Г.И. Каркасная классификация помеченных графов / Г. И. Калмыков, 2006. - 240 с. - Текст : непосредственный. Нирова М.С. Конечные геометрии, графы, их расширения и автоморфизмы / М. С. Нирова, 2014. - 22 с. - Текст : непосредственный. Petri net performance models : материалы временных коллективов / Ed. G. Juanole, 1994. - 505-544 p. p. - Текст : непосредственный. Molloy M. A bound on the total chromatic number / M. Molloy, B. Reed, 1996. - 36 p. - Текст : непосредственный. Оуграбко А.В. Основы GRID-вычислений : учебное пособие / А. В. Оуграбко, 2009. - 91 с. - Текст : непосредственный. Rozenblat A. Solving of determinants with functional graphs / A. Rozenblat, 2015. - 549 p. - Текст : непосредственный. Барыкин М.П. Элементы теории графов и некоторые их приложения / М. П. Барыкин, Т. Л. Борзунова, 2003. - 55 с. - Текст : непосредственный. Тарасов А.М. Математическое моделирование, сети Петри и их использование при описании функционирования нейронных сетей в ЭВМ, робототехники : препринт / А. М. Тарасов, В. В. Подлубный, 1995. - 21 c. - Текст : непосредственный. Ахметова Н.А. Элементы дискретной математики. Функции алгебры логики. Теория графов. Элементы теории кодирования : выставочные материалы / Н. А. Ахметова, А. Я. Гильмутдинова, З. М. Усманова, 2015. - 120 с. - Текст : непосредственный. Показать все результаты Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный. Ломазова И.А. Вложенные сети Петри : монография / И. А. Ломазова, 2004. - 207 с. - Текст : непосредственный. Тарасов А.М. Математическое моделирование, сети Петри и их использование при описании функционирования нейронных сетей в ЭВМ, робототехники : препринт / А. М. Тарасов, В. В. Подлубный, 1995. - 21 c. - Текст : непосредственный. Козюра В.Е. Реализация системы проверки моделей раскрашенных сетей Петри с использованием разверток / В. Е. Козюра, 2002. - 44 с. - Текст : непосредственный. Игнатьев В.М. Сети Петри - Маркова / В. М. Игнатьев, Е. В. Ларкин, 1997. - 163 с. - Текст : непосредственный. Winkowski J. algebraic way of defining place/transition Petri nets and their behaviours / J. Winkowski, 1989. - 20 p. - Текст : непосредственный. Алгоритмы на сетях Петри / П. В. Желтов, В. П. Желтов, Л. В. Желтова, Н. А. Кузнецова, 2008. - 145 с. - Текст : непосредственный. Кокин А.Г. Сети Петри. Моделирование / А. Г. Кокин, 2005. - 93 с. - Текст : непосредственный. Boucherie R.J. A structural characterisation of product form stochastic Petri nets / R. J. Boucherie, M. Sereno, 1994. - 19 p. - Текст : непосредственный. Сидорова Н.С. Бисимуляционно-эквивалентные преобразования сетей Петри / Н. С. Сидорова, 1998. - 51 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный. Ломазова И.А. Вложенные сети Петри : монография / И. А. Ломазова, 2004. - 207 с. - Текст : непосредственный. Petri net performance models : материалы временных коллективов / Ed. G. Juanole, 1994. - 505-544 p. p. - Текст : непосредственный. Тарасов А.М. Математическое моделирование, сети Петри и их использование при описании функционирования нейронных сетей в ЭВМ, робототехники : препринт / А. М. Тарасов, В. В. Подлубный, 1995. - 21 c. - Текст : непосредственный. Козюра В.Е. Реализация системы проверки моделей раскрашенных сетей Петри с использованием разверток / В. Е. Козюра, 2002. - 44 с. - Текст : непосредственный. Игнатьев В.М. Сети Петри - Маркова / В. М. Игнатьев, Е. В. Ларкин, 1997. - 163 с. - Текст : непосредственный. Advances in Petri nets 1990 : материалы временных коллективов / Ed. G. Rozenberg, 1991. - 515 p. - Текст : непосредственный. Advances in Petri Nets 1991 : материалы временных коллективов / Ed. G. Rozenberg, 1991. - VII,572 p. p. - Текст : непосредственный. Winkowski J. algebraic way of defining place/transition Petri nets and their behaviours / J. Winkowski, 1989. - 20 p. - Текст : непосредственный. Алгоритмы на сетях Петри / П. В. Желтов, В. П. Желтов, Л. В. Желтова, Н. А. Кузнецова, 2008. - 145 с. - Текст : непосредственный. Кокин А.Г. Сети Петри. Моделирование / А. Г. Кокин, 2005. - 93 с. - Текст : непосредственный. Нгуен Нгок Тхуан.Развитие методов анализа сетей Петри для распределенных систем : специальность 05.13.16 "" : автореферат диссертации на соискание ученой степени канд. физ.-мат.наук / Нгуен Нгок Тхуан, 1997. - 22 с. - Текст : непосредственный. Applications and theory of petri nets 2005 / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Boucherie R.J. A structural characterisation of product form stochastic Petri nets / R. J. Boucherie, M. Sereno, 1994. - 19 p. - Текст : непосредственный. Сидорова Н.С. Бисимуляционно-эквивалентные преобразования сетей Петри / Н. С. Сидорова, 1998. - 51 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Заказать
Заказ фрагмента документа ₽