Приложение
для AndroidПолное описание
Григорьев, А. В. Представление генетических алгоритмов сетями Петри в задаче размещения : автореф. дис. ... канд. техн. наук : 05.13.18 / А. В. Григорьев. - Казань : [б. и.], 2002. - 19 с. : ил. - Текст : непосредственный.
Библиогр.: с. 17-19(22 назв.)
| ГРНТИ | УДК | |
| 50.33.04 | 519.179.2(043) |
Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)
Раджаб Моханнад.Модель взаимодействующих сетей Петри : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Раджаб Моханнад, 1991. - 16 с. - Текст : непосредственный.Дильман М.И. Разработка и исследование консервативных алгоритмов синхронизации параллельных процессов при распределенном моделировании дискретных систем на транспьютерных сетях : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.16 / М. И. Дильман, 1993. - 24 с. - Текст : непосредственный.Иванов Н.Н. Методология анализа временных стохастических сетей Петри и ее использование при исследовании и моделировании дискретных систем : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.16 / Н. Н. Иванов, 1997. - 44 с. - Текст : непосредственный.Сидорова Н.С. Преобразования сетей Петри : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:05.13.17 / Н. С. Сидорова, 1998. - 15 с. - Текст : непосредственный.Устименко А.П. Причинно-следственные структуры и сети Петри: взаимосвязь и сравнительный анализ : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / А. П. Устименко, 1997. - 19 с. - Текст : непосредственный.Григорьев А.В. Представление генетических алгоритмов сетями Петри в задаче размещения : автореф. дис. .. канд. техн. наук : 05.13.18 / А. В. Григорьев, 2002. - 19 с. - Текст : непосредственный.Шакирова Н.Ф. Исследование последовательно-параллельных сценариев в сетях Петри и разработка методов их поиска : автореф. дис. .. канд. физ.-мат. наук : 05.13.18 / Н. Ф. Шакирова, 2003. - 31 с. - Текст : непосредственный.Башкин В.А. Бисимуляция ресурсов в сетях Петри : автореф. дис. .. канд. физ.-мат. наук : 05.13.17 / В. А. Башкин, 2003. - 22 с. - Текст : непосредственный.Ponse A. Computable processes and bisimulation equivalence / A.Ponse, 1992. - 28 p. - Текст : непосредственный.Paalvast E.M.R.M. Programming for parallelism and compiling for efficiency : Diss. / E.M.R.M.Paalvast, 1992. - 229 p. - Текст : непосредственный.Fokkink W.J. Regular processes with relative time and silent steps / W.J.Fokkink, 1992. - 21 p. - Текст : непосредственный.Journal Parallel Distributed Computing. - Журнал. Parallel Computing. - Журнал.Vaandrager F.W. Expressiveness results for process algebras / F.W.Vaandrager, 1993. - 30 p. - Текст : непосредственный.Benthem J.van Modal logic,transition systems and processes / J.van Benthem,D.J.N.van Eijck,V.Stebletsova, 1993. - 43 p. - Текст : непосредственный.Breugel F.van Relating state transformation semantics and predicate transformer semantics for parallel programs / F.van Breugel, 1993. - 20 p. - Текст : непосредственный.Breugel F.van Three metric domains of processes for bisimulation / F.van Breugel, 1993. - 17 p. - Текст : непосредственный.Fernando R.T.P. Bisimulations and predicate logic / R.T.P.Fernando, 1993. - 15 p. - Текст : непосредственный.Fernando R.T.P. Operational semantics,bisimulations and logical complexity / R.T.P.Fernando, 1993. - 12 с. - Текст : непосредственный.Hatcher P.J. Data-parallel programming on MIMD computers / P.J.Hatcher,M.J.Quinn, 1991. - 231 p. - Текст : непосредственный.
Показать все результатыРаджаб Моханнад.Модель взаимодействующих сетей Петри : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Раджаб Моханнад, 1991. - 16 с. - Текст : непосредственный.Иванов Н.Н. Методология анализа временных стохастических сетей Петри и ее использование при исследовании и моделировании дискретных систем : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.16 / Н. Н. Иванов, 1997. - 44 с. - Текст : непосредственный.Нгуен Нгок Тхуан.Развитие методов анализа сетей Петри для распределенных систем : Автореферат диссертации на соискание ученой степени канд. физ.-мат.наук:05.13.16 / Нгуен Нгок Тхуан, 1997. - 22 с. - Текст : непосредственный.Сидорова Н.С. Преобразования сетей Петри : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:05.13.17 / Н. С. Сидорова, 1998. - 15 с. - Текст : непосредственный.Устименко А.П. Причинно-следственные структуры и сети Петри: взаимосвязь и сравнительный анализ : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.11 / А. П. Устименко, 1997. - 19 с. - Текст : непосредственный.Димитриев А.П. Стохастическая оптимизация в задаче размещения на сетях Петри : Автореферат диссертации на соискание ученой степени канд. техн. наук :05.13.18 / А. П. Димитриев, 2001. - 23 с. - Текст : непосредственный.Ломазова И.А. Анализ семантических свойств некоторых классов программ и сетей Петри : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук :05.13.17 / И. А. Ломазова, 2001. - 32 с. - Текст : непосредственный.Григорьев А.В. Представление генетических алгоритмов сетями Петри в задаче размещения : автореф. дис. .. канд. техн. наук : 05.13.18 / А. В. Григорьев, 2002. - 19 с. - Текст : непосредственный.Шакирова Н.Ф. Исследование последовательно-параллельных сценариев в сетях Петри и разработка методов их поиска : автореф. дис. .. канд. физ.-мат. наук : 05.13.18 / Н. Ф. Шакирова, 2003. - 31 с. - Текст : непосредственный.Башкин В.А. Бисимуляция ресурсов в сетях Петри : автореф. дис. .. канд. физ.-мат. наук : 05.13.17 / В. А. Башкин, 2003. - 22 с. - Текст : непосредственный.Suss W. Konzeption und Entwicklung eines graphischen Analysewerkzeugs fur Hohere Petri-Netze mit zustandsabhangiger Schaltregel : Diss. / W.S@:uss, 1993. - 116 S. - Текст : непосредственный.Dupmeier C. Algebraische Spezifikation und Modellierung in Hoheren Petri-Netzen mit zustandsabhangiger Schaltregel : Diss. / C.D@:upmeier, 1994. - 147 S. - Текст : непосредственный.Матренина О.М. Математическое моделирование многономенклатурных дискретно-непрерывных химико-технологических систем производств нитратов целлюлозы : автореф. дис. .. канд. техн. наук : 05.13.18 / О. М. Матренина, 2010. - 18 с. - Текст : непосредственный.Некоторые методы ресурсного анализа сетей Петри : автореф. дис. .. д-ра физ.-мат. наук : 05.13.17 / В. А. Башкин, 2014. - 44 с.
Заказ фрагмента документа ₽