- Sprache
-
Deutsch
- Anmerkungen
-
Saarbrücken, Universität des Saarlandes, Diss., 2008
- Identifier
-
104994870X
- Thema
-
Simulation ; Probabilistischer Algorithmus ; Entscheidung ; Transitionssystem; Hochschulschrift
- Beteiligte Personen und Organisationen
-
Zhang, Lijun
Hermanns, Holger
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:57 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Monografie
Beteiligte
- Zhang, Lijun
- Hermanns, Holger
Ähnliche Objekte (12)
Decision algorithms for modelling, optimal control and verification of probabilistic systems
Probabilistic analysis of simplex algorithms
Nondeterministic versus probabilistic linear search algorithms
Decision Science with Probabilistic Programming
Parallel Algorithms for GPU accelerated Probabilistic Inference
Algorithms for Classical and Quantum Simulations
Probabilistic analysis of algorithms : on computing methodologies for computer algorithms performance evaluation
Probabilistic Proximity Search Algorithms Based on Compact Partitions
Probabilistic analysis of radix algorithms on Markov sources
Verifying probabilistic systems : new algorithms and complexity results
Probabilistic Proximity Searching Algorithms Based on Compact Partitions
Communication-Efficient Probabilistic Algorithms: Selection, Sampling, and Checking
Decision algorithms for modelling, optimal control and verification of probabilistic systems
Probabilistic analysis of simplex algorithms
Nondeterministic versus probabilistic linear search algorithms
Decision Science with Probabilistic Programming
Parallel Algorithms for GPU accelerated Probabilistic Inference
Algorithms for Classical and Quantum Simulations
Probabilistic analysis of algorithms : on computing methodologies for computer algorithms performance evaluation
Probabilistic Proximity Search Algorithms Based on Compact Partitions
Probabilistic analysis of radix algorithms on Markov sources
Verifying probabilistic systems : new algorithms and complexity results
Probabilistic Proximity Searching Algorithms Based on Compact Partitions
Communication-Efficient Probabilistic Algorithms: Selection, Sampling, and Checking
Decision algorithms for modelling, optimal control and verification of probabilistic systems
Probabilistic analysis of simplex algorithms
Nondeterministic versus probabilistic linear search algorithms
Decision Science with Probabilistic Programming
Parallel Algorithms for GPU accelerated Probabilistic Inference
Algorithms for Classical and Quantum Simulations
Probabilistic analysis of algorithms : on computing methodologies for computer algorithms performance evaluation
Probabilistic Proximity Search Algorithms Based on Compact Partitions
Probabilistic analysis of radix algorithms on Markov sources
Verifying probabilistic systems : new algorithms and complexity results
Probabilistic Proximity Searching Algorithms Based on Compact Partitions