Полное описание
Башкин, В. А.
ГРНТИ УДК 50.33.04 519.179.2(043)
Кл.слова (ненормированные): РЕСУРСНЫЙ АНАЛИЗ -- СЕТИ ПЕТРИ
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар14-4926)
Шифр в сводном ЭК: 807bd22adcc9b7b19e35816ba184f6fa
Башкин В.А. Численное исследование задач внешней и внутренней аэродинамики / В. А. Башкин, И. В. Егоров, И. В. Егоров, 2013. - 331 с. - Текст : электронный. Башкин В.А. Семинары по теоретической гидродинамике : Учеб. пособие для студентов вузов по направлению "Приклад. математика и физика". Ч. 1, 2003. - 193 с. - Текст : непосредственный. Башкин В.А. Семинары по теоретической гидродинамике : Учеб. пособие для студентов вузов по направлению "Приклад. математика и физика". Ч. 2, 2003. - 132 с. - Текст : непосредственный. Сычев В.В. Лекции по теоретической гидродинамике : Учеб. пособие. Ч. 1, 2003. - 187 с. - Текст : непосредственный. Сычев В.В. Лекции по теоретической гидродинамике : Учеб. пособие. Ч. 2, 2003. - 130 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Башкин В.А. Некоторые методы ресурсного анализа сетей Петри : автореф. дис. .. д-ра физ.-мат. наук: 05.13.17 / В. А. Башкин, 2014. - 44 с. - Текст : непосредственный. Белова Л.Ю. Элементы теории множеств и математической логики. Теория и задачи : Учеб. пособие / Л. Ю. Белова, В. А. Башкин, Ю. А. Белов, 2005. - 78 с. - Текст : непосредственный. Башкин В.А. Численное моделирование динамики вязкого совершенного газа / В. А. Башкин, И. В. Егоров, 2012. - 371 с. - Текст : электронный. Башкин В.А. Пространственные гиперзвуковые течения вязкого газа / В. А. Башкин, Г. Н. Дудин, 2000. - 285 с. - Текст : непосредственный. Башкин В.А. Бисимуляция ресурсов в сетях Петри : автореф. дис. .. канд. физ.-мат. наук: 05.13.17 / В. А. Башкин, 2003. - 22 с. - Текст : непосредственный. Башкин В.А. Эквивалентность ресурсов в сетях Петри / В. А. Башкин, И. А. Ломазова, 2008. - 206 с. - Текст : непосредственный. Башкин В.А. Теория гиперзвуковых вязких течений : Учеб. пособие / В. А. Башкин, Г. Н. Дудин, 2006. - 327 с. - Текст : непосредственный. Водомеров А.Н. Методы и средства автоматизированного распараллеливания приложений в распределенной среде : специальность 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. - Текст : непосредственный. Показать все результаты Нгуен Нгок Тхуан.Развитие методов анализа сетей Петри для распределенных систем : специальность 05.13.16 "" : автореферат диссертации на соискание ученой степени канд. физ.-мат.наук / Нгуен Нгок Тхуан, 1997. - 22 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Башкин В.А. Некоторые методы ресурсного анализа сетей Петри : автореф. дис. .. д-ра физ.-мат. наук: 05.13.17 / В. А. Башкин, 2014. - 44 с. - Текст : непосредственный. Шакирова Н.Ф. Исследование последовательно-параллельных сценариев в сетях Петри и разработка методов их поиска : автореф. дис. .. канд. физ.-мат. наук: 05.13.18 / Н. Ф. Шакирова, 2003. - 31 с. - Текст : непосредственный. Сидорова Н.С. Преобразования сетей Петри : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:05.13.17 / Н. С. Сидорова, 1998. - 15 с. - Текст : непосредственный. Устименко А.П. Причинно-следственные структуры и сети Петри: взаимосвязь и сравнительный анализ : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / А. П. Устименко, 1997. - 19 с. - Текст : непосредственный. Башкин В.А. Бисимуляция ресурсов в сетях Петри : автореф. дис. .. канд. физ.-мат. наук: 05.13.17 / В. А. Башкин, 2003. - 22 с. - Текст : непосредственный. Ломазова И.А. Анализ семантических свойств некоторых классов программ и сетей Петри : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук :05.13.17 / И. А. Ломазова, 2001. - 32 с. - Текст : непосредственный. Димитриев А.П. Стохастическая оптимизация в задаче размещения на сетях Петри : Автореферат диссертации на соискание ученой степени канд. техн. наук :05.13.18 / А. П. Димитриев, 2001. - 23 с. - Текст : непосредственный. Suss W. Konzeption und Entwicklung eines graphischen Analysewerkzeugs fur Hohere Petri-Netze mit zustandsabhangiger Schaltregel : Diss. / W.S@:uss, 1993. - 116 S. - Текст : непосредственный. Раджаб Моханнад.Модель взаимодействующих сетей Петри : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Раджаб Моханнад, 1991. - 16 с. - Текст : непосредственный. Матренина О.М. Математическое моделирование многономенклатурных дискретно-непрерывных химико-технологических систем производств нитратов целлюлозы : автореф. дис. .. канд. техн. наук: 05.13.18 / О. М. Матренина, 2010. - 18 с. - Текст : непосредственный. Иванов Н.Н. Методология анализа временных стохастических сетей Петри и ее использование при исследовании и моделировании дискретных систем : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.16 / Н. Н. Иванов, 1997. - 44 с. - Текст : непосредственный. Григорьев А.В. Представление генетических алгоритмов сетями Петри в задаче размещения : автореф. дис. .. канд. техн. наук: 05.13.18 / А. В. Григорьев, 2002. - 19 с. - Текст : непосредственный. Dupmeier C. Algebraische Spezifikation und Modellierung in Hoheren Petri-Netzen mit zustandsabhangiger Schaltregel : Diss. / C.D@:upmeier, 1994. - 147 S. - Текст : непосредственный. Заказать
Заказ фрагмента документа ₽
Приложение
для Android
