• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 36
  • 8
  • 3
  • 1
  • Tagged with
  • 48
  • 48
  • 11
  • 8
  • 8
  • 6
  • 6
  • 5
  • 5
  • 5
  • 4
  • 4
  • 4
  • 3
  • 3
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Theorie und Praxis der Netzentfaltungen als Grundlage für die Verifikation nebenläufiger Systeme

Römer, Stefan. January 2000 (has links) (PDF)
München, Techn. Univ., Diss., 2000. / Computerdatei im Fernzugriff.
2

Theorie und Praxis der Netzentfaltungen als Grundlage für die Verifikation nebenläufiger Systeme

Römer, Stefan. January 2000 (has links) (PDF)
München, Techn. Univ., Diss., 2000. / Computerdatei im Fernzugriff.
3

Allgemeine Konzepte zur software-technischen Unterstützung verschiedener Petrinetz-Typen

Weber, Michael. January 2002 (has links) (PDF)
Berlin, Humboldt-Universiẗat, Diss., 2002.
4

Theorie und Praxis der Netzentfaltungen als Grundlage für die Verifikation nebenläufiger Systeme

Römer, Stefan. January 2000 (has links) (PDF)
München, Techn. Universiẗat, Diss., 2000.
5

Struktur und Verhalten von verteilten endlichen Automaten

Reineke, Henning. January 1900 (has links) (PDF)
Oldenburg, Universiẗat, Diss., 1995.
6

Verteilte optimistische Simulation von stochastischen farbigen Petrinetzen /

Knoke, Michael. January 2007 (has links)
Techn. Univ., Diss--Berlin, 2006.
7

Multiagenten Planmodellierung

Ottenbacher, Heiko. January 2004 (has links)
Stuttgart, Univ., Diplomarb., 2004.
8

Verteilte optimistische Simulation von stochastischen farbigen Petrinetzen

Knoke, Michael January 2006 (has links)
Zugl.: Berlin, Techn. Univ., Diss., 2006
9

Petri-Netz-basierte Simulation von Geschäftsprozessen : Einsatzmöglichkeiten und Vorgehensmethodik /

Küll, Roland. January 1999 (has links) (PDF)
Diss. Wirtsch.-wiss. St. Gallen, 1999 ; Nr. 2289. / Literaturverz.
10

Discrete time Markov chains advanced applications in simulation

Krull, Claudia January 2008 (has links)
Zugl.: Magdeburg, Univ., Diss., 2008

Page generated in 0.0248 seconds