Полное описание
> Алгоритмы на сетях Петри / П. В. Желтов, В. П. Желтов, Л. В. Желтова, Н. А. Кузнецова. - Чебоксары : Изд-во Чуваш. ун-та, 2008 (Чебоксары). - 145 с. - Библиогр.: с. 145. - 500 экз. - ISBN 978-5-7677-1209-0. - Текст : непосредственный. В надзаг.: Чуваш. гос. ун-т им. И. Н. Ульянова
ГРНТИ УДК 50.33.04 519.179.2
Рубрики: Алгоритмы
Петри сети
Доп. точки доступа: Желтов, П.В.
Желтов, В.П.
Желтова, Л.В.
Кузнецова, Н.А.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д9-08/54623)>
Шифр в сводном ЭК: 78720c0d52887f5663f452162518b7a8
Сборник задач по общей физике : Учеб.пособие / Волгоградский гос. технический ун-т. Ч. 1 : Механика / Л.Н.Рыгалов,Н.А.Кузнецова, 2003. - 35 с. - Текст : непосредственный. Новширванов А.Г. Винтовые и спирально-винтовые конвейеры : учебное пособие / А. Г. Новширванов, В. П. Желтов, 2007. - 188 с. - Текст : непосредственный. Основы теории систем и решения творческих технических задач / В. А. Михайлов, Е. Д. Андреев, В. П. Желтов [и др.], 2012. - 387 с. - Текст : непосредственный. Алгоритмы на сетях Петри / П. В. Желтов, В. П. Желтов, Л. В. Желтова, Н. А. Кузнецова, 2008. - 145 с. - Текст : непосредственный. Желтов В.П. Моделирование дискретных систем с помощью сетей Петри / В. П. Желтов, 2001. - 259 с. - Текст : непосредственный. Кузнецова Н.А. Природный газ, нефть и нефтепродукты Туркменистана / Н. А. Кузнецова, 2001. - 80 с. - Текст : непосредственный. Димитриев А.П. Автоматизированные методы художественного проектирования / А. П. Димитриев, В. П. Желтов, 2003. - 63 с. - Текст : непосредственный. Кузнецова Н.А. Установка и переустановка Windows / Н. А. Кузнецова, 2004. - 125 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Потенциал деловой игры в модернизации образовательного процесса и социально-экономического развития региона : рекомендовано методсоветом ВУЗа / Е. А. Асташова, В. Ф. Стукач, А. В. Зинич [и др.], 2018. - 103 с. - Текст : непосредственный. Желтов П.В. Формальные методы в проектировании лингвопроцессоров : Конспект лекций / П.В. Желтов, 2005. - 79 с. - Текст : непосредственный. Показать все результаты Водомеров А.Н. Методы и средства автоматизированного распараллеливания приложений в распределенной среде : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. Н. Водомеров, 2007. - 23 с. - Текст : непосредственный. Ломазова И.А. Вложенные сети Петри : монография / И. А. Ломазова, 2004. - 207 с. - Текст : непосредственный. Network and parallel computing / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Languages and compilers for parallel computing / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Petri net performance models : материалы временных коллективов / Ed. G. Juanole, 1994. - 505-544 p. p. - Текст : непосредственный. Оуграбко А.В. Основы GRID-вычислений : учебное пособие / А. В. Оуграбко, 2009. - 91 с. - Текст : непосредственный. Тарасов А.М. Математическое моделирование, сети Петри и их использование при описании функционирования нейронных сетей в ЭВМ, робототехники : препринт / А. М. Тарасов, В. В. Подлубный, 1995. - 21 c. - Текст : непосредственный. Glabbeek R.J. van refinement theorem for ST-bisimulation semantics / R.J. van Glabbeek, 1990. - 22 p. - Текст : непосредственный. Groote J.F. new strategy for proving w- completeness applied to process algebra / J. F. Groote, 1990. - 21 p. - Текст : непосредственный. Instrumentation for future parallel computing systems / Ed. M. Simmons, 1989. - 260 p. - Текст : непосредственный. Fokkink W.J. An w-complete equational specification of interleaving / W. J. Fokkink, S. P. Luttik, 2000. - 16 p. - Текст : непосредственный. Соболь В.М. Элементы теории вычислительных процессов : учебное пособие / В. М. Соболь, 2009. - 116 с. - Текст : непосредственный. Software engineering, artificial intelligence, networking and parallel/distributed computing / R. Lee ; ed. R. Lee, 2008 r=on-line. - Текст : электронный. Мараховский В.Б. Параллельные процессы в дискретных системах. Спецификация. Анализ. Поведение : выставочные материалы / В. Б. Мараховский, Л. Я. Розенблюм, А. В. Яковлев, 2011. - 378 с. - Текст : непосредственный. Москалева Н.С. Теоретико-категорная характеризация трассовой эквивалентности временных параллельных моделей / Н. С. Москалева, 2002. - 22 с. - Текст : непосредственный. Козюра В.Е. Реализация системы проверки моделей раскрашенных сетей Петри с использованием разверток / В. Е. Козюра, 2002. - 44 с. - Текст : непосредственный. Введение в параллельные вычисления. Основы программирования на языке Си с использованием интерфейса MPI / А. М. Сальников, Е. А. Ярошенко, О. С. Гребенник, С. В. Спиридонов, 2010. - 123 с. - Текст : непосредственный. Игнатьев В.М. Сети Петри - Маркова / В. М. Игнатьев, Е. В. Ларкин, 1997. - 163 с. - Текст : непосредственный. Parallele Datenverarbeitung mit dem Transputer : сборник научных трудов / Hrsg.: R. Grebe, C. Ziemann, 1991. - 300 p. - Текст : непосредственный. Advances in Petri nets 1990 : материалы временных коллективов / Ed. G. Rozenberg, 1991. - 515 p. - Текст : непосредственный. Показать все результаты Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный. Матросов В.Л. Теория алгоритмов / В. Л. Матросов, 1989. - 187 с. - Текст : непосредственный. Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный. Ломазова И.А. Вложенные сети Петри : монография / И. А. Ломазова, 2004. - 207 с. - Текст : непосредственный. Шалыто А.А. Логическое управление. Методы аппаратной и программной реализации алгоритмов / А. А. Шалыто, 2000. - 780 с. - Текст : непосредственный. HromkoviC J. Design and analysis of randomized algorithms / J. HromkoviC, 2005 r=on-line. - Текст : электронный. Труды Института системного программирования. Т. 12 : Методы синтеза и анализа алгоритмов, 2006. - 122 с. - Текст : непосредственный. Триханов А.В. Алгоритмизация и микропрограммирование операций ЭВМ (множества, графы, кубы, кубические покрытия) / А. В. Триханов, 1995. - 107 c. - Текст : непосредственный. Фоккинк У. Распределенные алгоритмы: интуитивный подход / У. Фоккинк ; Пер. К. Русецкий, 2017. - 269 с. - Текст : непосредственный. Воеводин, Валентин Васильевич. Информационная структура алгоритмов / В. В. Воеводин, 1997. - 139 с. - Текст : непосредственный. Кирнос В.Н. Информатика II. Основы алгоритмизации и программирования на языке C++ : методический материал / В. Н. Кирнос, 2013. - 158 с. - Текст : непосредственный. Ульянов М.В. Классификация и методы сравнительного анализа вычислительных алгоритмов / М. В. Ульянов, 2004. - 211 с. - Текст : непосредственный. Рахманова И.О. Информатика: основы алгоритмизации и программирования : учебное пособие / И. О. Рахманова, 2007. - 116 с. - Текст : непосредственный. Бабенко М.А. Введение в теорию алгоритмов и структур данных : выставочные материалы / М. А. Бабенко, М. В. Левин, 2016. - 139 с. - Текст : непосредственный. Тарасов А.М. Математическое моделирование, сети Петри и их использование при описании функционирования нейронных сетей в ЭВМ, робототехники : препринт / А. М. Тарасов, В. В. Подлубный, 1995. - 21 c. - Текст : непосредственный. Макконнелл Д. Анализ алгоритмов. Активный обучающий подход : монография / Д. Макконнелл, 2013. - 415 с. - Текст : непосредственный. Давыдов В.Г. Программирование и основы алгоритмизации / В. Г. Давыдов, 2003. - 448 с. - Текст : непосредственный. Волченков С.Г. Методы построения эффективных алгоритмов / С. Г. Волченков, Ю. В. Богомолов, 2004. - 125 с. - Текст : непосредственный. Множества и алгоритмы : выставочные материалы / И. Ю. Харитонова, Н. М. Богословская, Ю. Г. Сергеев, С. И. Вдовин, 2016. - 98 с. - Текст : непосредственный. Алексеев В.Е. Графы. Модели вычислений. Структуры данных / В. Е. Алексеев, В. А. Таланов, 2005. - 307 с. - Текст : непосредственный. Показать все результаты Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 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 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Заказать
Заказ фрагмента документа ₽