Treffer 1 - 8 von 8 für Suche 'Siegle, Markus 1964-', Suchdauer: 0,36s
Treffer weiter einschränken
-
1
A stochastic extension of the logic PDL von Kuntz, Matthias, Siegle, Markus 1964-
Veröffentlicht 2004Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
2
Behavior analysis of communication systems compositional modelling, compact representation and analysis of performability properties von Siegle, Markus 1964-
Veröffentlicht 2002Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Abschlussarbeit Buch -
3
Beschreibung und Analyse von Markovmodellen mit großem Zustandsraum von Siegle, Markus 1964-
Veröffentlicht 1995Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
4
Activity-local symbolic state graph generation for high-level stochastic models von Lampka, Kai, Siegle, Markus 1964-
Veröffentlicht 2005Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
5
Behaviour analysis of communication systems compositional modelling, compact representation and analysis of performability properties von Siegle, Markus 1964-
Veröffentlicht 2002Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
6
Beschreibung und Analyse von Markovmodellen mit großem Zustandsraum von Siegle, Markus 1964-
Veröffentlicht 1995Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Abschlussarbeit Buch -
7
Graphs and Combinatorial Optimization: from Theory to Applications CTW 2023, Garmisch-Partenkirchen, Germany, June 20–22
Veröffentlicht 2024Weitere Verfasser:Signatur: Wird geladen …
Standort: Wird geladen …
VolltextElektronisch E-Book -
8
Operations Research Proceedings 2010 Selected Papers of the Annual International Conference of the German Operations Research Society (GOR) at Universität der Bundeswehr München
Veröffentlicht 2011Weitere Verfasser:Signatur: Wird geladen …DE-634
Standort: Wird geladen …
DE-1043
DE-Aug4
DE-M347
DE-92
DE-898
DE-859
DE-1049
DE-863
DE-862
DE-2070s
DE-473
DE-19
DE-355
DE-703
DE-20
DE-29
DE-739
Volltext
Elektronisch Tagungsbericht E-Book
Suchwerkzeuge:
Ähnliche Schlagworte
Hochschulschrift
Leistungsbewertung
Binäres Entscheidungsdiagramm
Großes System
Kommunikationssystem
Markov-Kette
Markov-Modell
Modellierung
Parallelverarbeitung
Prozessalgebra
Stochastischer Prozess
Transitionssystem
Zustandsraum
Applications of Discrete Mathematics
Computer science / Mathematics
Discrete mathematics
Dynamische Logik
Graph Theory
Graph theory
Konferenzschrift 2010 München
Mathematical optimization
Mathematics of Computing
Operations Research
Optimierung
Optimization
Prädikatenlogik
Stochastisches Modell
Stochastisches System
Symbol
Zustandsgraph