Полное описание
Козюра, В. Е.
ГРНТИ УДК 50.33.04 519.179.2(04)
Рубрики: Петри сети
Кл.слова (ненормированные): СЕТЬ ПЕТРИ
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/49881/94(2002))
Шифр в сводном ЭК: cd923fc22843f169e8b52191be8552ee
Непомнящий В.А. Язык спецификаций распределенных систем Dynamic-REAL / В. А. Непомнящий, Е. В. Бодин, С. О. Веретнов, 2007. - 42 с. - Текст : непосредственный. Тумуров Э.Г. Технология спецификации коммуникационных протоколов / Э. Г. Тумуров, 2007. - 22 с. - Текст : непосредственный. Гаранина Н.О. Аффинное представление данных для проверки моделей программ / Н. О. Гаранина, 2004. - 48 с. - Текст : непосредственный. Андреева М.В. Параллельные варианты MAY-тестовых эквивалентностей временных структур событий / М. В. Андреева, 2000. - 23 с. - Текст : непосредственный. Городняя Л.В. Банк улучшаемых компонентов информационных систем / Л. В. Городняя, 2005. - 40 с. - Текст : непосредственный. Цаценко Н.Н. Технологии работы с данными в интероперабельных средах CORBA, RMI, EJB / Н. Н. Цаценко, 2002. - 36 с. - Текст : непосредственный. Москалева Н.С. Теоретико-категорная характеризация трассовой эквивалентности временных параллельных моделей / Н. С. Москалева, 2002. - 22 с. - Текст : непосредственный. Козюра В.Е. Реализация системы проверки моделей раскрашенных сетей Петри с использованием разверток / В. Е. Козюра, 2002. - 44 с. - Текст : непосредственный. Ануреев И.С. Теория систем переписывания формул / И. С. Ануреев, 1998. - 35 с. - Текст : непосредственный. Замулин А.В. Algebraic specification language Ruslan 99 / А. В. Замулин, 1999. - 34 p. - Текст : непосредственный. Боженкова Е.Н. Исследование разрешимости временных тестовых эквивалентностей / Е. Н. Боженкова, 1999. - 31 с. - Текст : непосредственный. Евстигнеев В.А. Анализ циклов: выбор кандидатов на распараллеливание / В. А. Евстигнеев, И. Л. Мирзуитова, 1999. - 48 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Водомеров А.Н. Методы и средства автоматизированного распараллеливания приложений в распределенной среде : специальность 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. - Текст : непосредственный. Ломазова И.А. Вложенные сети Петри : монография / И. А. Ломазова, 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 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Тарасов А.М. Математическое моделирование, сети Петри и их использование при описании функционирования нейронных сетей в ЭВМ, робототехники : препринт / А. М. Тарасов, В. В. Подлубный, 1995. - 21 c. - Текст : непосредственный. Козюра В.Е. Реализация системы проверки моделей раскрашенных сетей Петри с использованием разверток / В. Е. Козюра, 2002. - 44 с. - Текст : непосредственный. Сидорова Н.С. Бисимуляционно-эквивалентные преобразования сетей Петри / Н. С. Сидорова, 1998. - 51 с. - Текст : непосредственный. Быстров А.В. Структурный анализ поведения непрерывно-временных сетей Петри / А. В. Быстров, 2006. - 32 с. - Текст : непосредственный. Стененко А.А. Верификация раскрашенных сетей Петри методом проверки моделей / А. А. Стененко, В. А. Непомнящий, 2015. - 27 с. - Текст : непосредственный. Козюра В.Е. Верификация раскрашенных сетей Петри методом проверки моделей / В. Е. Козюра, В. А. Непомнящий, Р. М. Новиков, 2001. - 24 с. - Текст : непосредственный. Покозий Е.А. Метод верификации свойств параллелизма временных сетей Петри / Е.А.Покозий, 1999. - 28 с. - Текст : непосредственный. Чурина Т.Г. Способ построения раскрашенных сетей Петри, моделирующих SDL-системы / Т.Г.Чурина, 1998. - 56 с. - Текст : непосредственный. Козюра В.Е. Unfoldings of timed coloured Petri nets / В.Е.Козюра, 2000. - 32 p. - Текст : непосредственный. Козюра В.Е. Unfoldings of coloured Petri nets / В.Е. Козюра, 2000. - 34 p. - Текст : непосредственный. Заказать
Заказ фрагмента документа ₽
Приложение
для Android
