Полное описание
Dupmeier, C.
ГРНТИ УДК 50.07.03 519.179.2(043)
Рубрики: Петри сети
Кл.слова (ненормированные): СЕТЬ ПЕТРИ
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): S/333/5279)
Шифр в сводном ЭК: fe9587fa577a2e7c70b01290b6083963
Wissenschaftliche Berichte / FZKA. 7009 : Intelligente Schnittstellen zur Integration von Kartendiensten in Web-basierte Informationssysteme am Beispiel des "Themenpark Boden, Geologie und Natur" / D.Simon, G.Schaab, C.Dupmeier, 2004. - V, 102 S. - Текст : непосредственный. Entwurf eines Systems zur Erfassung und Weiterverarbeitung von Produktinformation bei der Herstellung von Mikrostrukturen / P.Wieland,C.D@:upmeier,H.Eggert,K.P.Scherer, 1995. - IX,148 S. S. - Текст : непосредственный. Eggert H. Softwareentwicklung in einer verteilten Rechnerungebung in Verbindung mit einer Objektverwaltung unter UNIX / H.Eggert,C.D@:upmeier, 1989. - 25 S. - Текст : непосредственный. Wissenschaftliche Berichte / FZKA. 7063 : SVG basierte Karten fur mobile Guidesysteme: Erstellung, Gestaltung und Interaktionmechanismen unter besonderer Berucksichtigung von Karten fur den Naturtourismus : Diss. / V.Patalaviciute, P.Freckmann, C.Dupmeier, 2005. - 105 S. - Текст : непосредственный. Wissenschaftliche Berichte / FZKA. 7176 : Konzeption eines Emotionalen Padagogischen Agenten und Realisierung von ausgewahlten Komponenten / P.Real, C.Dupmeier, M.Richter, 2005. - 107 S. - Текст : непосредственный. Dupmeier C. Algebraische Spezifikation und Modellierung in Hoheren Petri-Netzen mit zustandsabhangiger Schaltregel : Diss. / C.D@:upmeier, 1994. - 147 S. - Текст : непосредственный. Kapetanios E. PROMISE:a preliminary study of a scientific information system for MIPAS satellite experiment / E. Kapetanios, 1993. - 78 p. - Текст : непосредственный. Jordan T. Kopplung der elektromagnetischen und strukturdynamischen Probleme beim Fusionsreaktorblanket / T. Jordan, 1993. - 163 S. - Текст : непосредственный. Frederichs G. Kunstliche Intelligenz im Hartetest der kommerziellen Praxis / G. Frederichs, M. Rader, 1993. - 108 S. - Текст : непосредственный. Panitz H.-J. The lagrangian particle model traveling version 92/3: model description and users' guide / H.-J. Panitz, B. Vogel, H. Vogel, 1994. - 83 p. - Текст : непосредственный. Buche T. Supraleitung im homogenen Elektronengas : сборник научных трудов / T. Buche, 1991. - 112 S. - Текст : непосредственный. Jodicke B. Zur Modenrangigkeit von Hochleistungsgyrotrons mit rotationssymmetrischen Arbeitsmoden / B. Jodicke, 1989. - 134 S. - Текст : непосредственный. Huber S. Untersuchungen zur Wechselwirkung von Lithiumorthosilikat mit Wasserdampf und Wasserstoff : сборник научных трудов / S. Huber, 1994. - 118 S. - Текст : непосредственный. Bestrahlungsprogramm SAMARCANDE : монография / M. Rieth, B. Dafferner, H. Ries, O. Romer, 1994. - 117 S. - Текст : непосредственный. Eibl J. Zur bautechnischen Machbarkeit eines alternativen Containments fur Druckwasserreaktoren - Stufe 3 - / J. Eibl, 1994. - Pag.var. - Текст : непосредственный. Zimmer K.W. Towards a unified description of light ion fusion cross section excitation functions / K. W. Zimmer ; Ed. H. Rebel, 1994. - 36 p. - Текст : непосредственный. Semmle C. Aufbau eines Messsystems zur Bestimmung der Parameter des Millimeterwellen-Ausgangsstrahls von Hochleistungsgyrotrons / C. Semmle, 1994. - 67 S. - Текст : непосредственный. Verbesserung der Betriebsfuhrung technischer Anlagen durch den Einsatz von Methoden der Kunstlichen Intelligenz : сборник научных трудов / H. Keller, T. Weinberger, E. Kugele, 1992. - 79 S. - Текст : непосредственный. Baumann W. Simultane Rauchgasreinigung durch Elektronenstrahl der Teststand AGATE-2 : сборник научных трудов / W. Baumann, H. -R. Paur, 1991. - 91 S. - Текст : непосредственный. Frohner F.H. Tests of the 238-U+n evaluation for JEP-2 in the unresolved resonance region / F. H. Frohner, 1991. - 17 p. - Текст : непосредственный. Khuen E.Q. Photoakustische Spurenbestimmungen von anorganischen Schadstoffen / E. Q. Khuen, W. Faubel, H. J. Ache, 1991. - 65 S. - Текст : непосредственный. Dransfeld P. Entstehung und Verbrauch von Stickoxiden wahrend der Verbrennung / P. Dransfeld, 1991. - 34 S. - Текст : непосредственный. Konditionierung radioaktiver Abfallosungen durch Zementierung / P. Vejmelka, G. Rudolph, W. Kluger, R. Koster, 1990. - 80 S. - Текст : непосредственный. Bertram-Berg A. Verfahren zur kontinuierlichen Gadoliniumbestimmung in den salpetersauren Stromen der Kernbrennstoff-Wiederaufarbeitung / A. Bertram-Berg, 1991. - 152 S. - Текст : непосредственный. Rimikis G. Einflussgrossen und Methoden zur Optimierung der supraleitenden und mechanischen Eigenschaften von Chevrelphasendrahten / G. Rimikis, 1991. - 100 S. - Текст : непосредственный. Dalle Donne M. CHF-Kfk-3:A critical heat flux correlation for triangular arrays of rods with tight lattices / M. Dalle Donne, 1991. - 31 p. - Текст : непосредственный. Показать все результаты Software and System Modeling. - выходит с 2002г. - Текст : электронный. Пивоварчик А.А. Математическое программирование : выставочные материалы / А. А. Пивоварчик, 1997. - 300 с. - Текст : непосредственный. Network analysis / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Ченцов А.Г. Конечно-аддитивные меры и релаксации экстремальных задач / А.Г.Ченцов;Под ред.Н.Н.Красовского, 1993. - 232 c. - Текст : непосредственный. Computer Communications Review : SIG / Association for Computing Machinery (New York, NY). - Журнал выходит с 1978г. - Текст : непосредственный. Петров Ю. Обеспечение достоверности и надежности компьютерных расчетов / Ю. Петров, 2008. - 160 с. - Текст : непосредственный. Рыков А.С. Поисковая оптимизация. Методы деформируемых конфигураций / А.С.Рыков, 1993. - 215 c. - Текст : непосредственный. Белоусов Е.Г. Разрешимость и устойчивость задач полиномиального программирования / Е.Г.Белоусов,В.Г.Андронов, 1993. - 271 c. - Текст : непосредственный. Иванов-Погодаев И.А. Машина Минского, свойства нильпотентности и размерность Гельфанда-Кириллова в конечно-определенных полугруппах : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / И. А. Иванов-Погодаев, 2006. - 9 с. - Текст : непосредственный. Орлов М.А. Системотехнические основы организации и разработки программно-аппаратных средств моделирования для комплексных САПР ИЭВТ : Автореферат диссертации на соискание ученой степени д-ра техн. наук: 05.13.05, 05.13.12 / М. А. Орлов, 1993. - 85 с. - Текст : непосредственный. Чирков А.Ю. О выделении полиномиальных подклассов в задаче целочисленного линейного программирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.17 / А. Ю. Чирков, 1993. - 14 с. - Текст : непосредственный. Turner R. Computable models / R. Turner, 2009 r=on-line. - Текст : электронный. Малиновский Ю.Г. Элементы математического программирования : Учеб.пособие / Ю.Г.Малиновский, 1995. - 100 c. - Текст : непосредственный. Стененко А.А. Верификация раскрашенных сетей Петри методом проверки моделей / А. А. Стененко, В. А. Непомнящий, 2015. - 27 с. - Текст : непосредственный. Волков Ю.В. Общий стохастический метод внешних аппроксимаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / Ю. В. Волков, 1996. - 20 с. - Текст : непосредственный. Alt J. Fehlersimulation synchroner Schaltungen unter Berucksichtigung nicht-klassischer Fehlar : Diss / J.Alt, 1995. - 166 S. - Текст : непосредственный. Хамисов О.В. Минимизация функций,имеющих вогнутую миноранту на компактном множестве,и их свойства : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / О. В. Хамисов, 1993. - 18 с. - Текст : непосредственный. Козюра В.Е. Верификация раскрашенных сетей Петри методом проверки моделей / В. Е. Козюра, В. А. Непомнящий, Р. М. Новиков, 2001. - 24 с. - Текст : непосредственный. Fejer P.A. Mathematical foundations of computer science. Vol. 1 : Sets, relations, and induction, 1991. - X,425 p. - Текст : непосредственный. Суворова Г.П. Методы моделирования вычислительных систем : учеб. пособие / Г. П. Суворова, 2007. - 103 с. - Текст : непосредственный. Показать все результаты Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 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 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Нгуен Нгок Тхуан.Развитие методов анализа сетей Петри для распределенных систем : специальность 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
