- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Stuttgart
- (wer)
-
Universitätsbibliothek der Universität Stuttgart
- (wann)
-
2016
- Urheber
-
Noller, Yannic
- DOI
-
10.18419/opus-9806
- URN
-
urn:nbn:de:bsz:93-opus-ds-98237
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:44 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.
Beteiligte
- Noller, Yannic
- Universitätsbibliothek der Universität Stuttgart
Entstanden
- 2016
Ähnliche Objekte (12)
The probabilistic model checker Storm : symbolic methods for probabilistic model checking
Advances in Symbolic Probabilistic Model Checking with PRISM
Improving automatic software repair with probabilistic symbolic execution
Structural Properties of Linear Probabilistic Constraints
Light On String Solving : Approaches to Efficiently and Correctly Solving String Constraints
Black Hole Microstate Counting in Four-Dimensional N = 4 String Compactifications
Dynamic probabilistic constraints under continuous random distributions
On Stochastic Integer Programming under Probabilistic Constraints
Towards underlying quantum gravity constraints on string inflation
On joint probabilistic constraints with Gaussian coefficient matrix
Structure and stability of probabilistic storage level constraints
Probabilistic learning of indexed families under monotonicity constraints
The probabilistic model checker Storm : symbolic methods for probabilistic model checking
Advances in Symbolic Probabilistic Model Checking with PRISM
Improving automatic software repair with probabilistic symbolic execution
Structural Properties of Linear Probabilistic Constraints
Light On String Solving : Approaches to Efficiently and Correctly Solving String Constraints
Black Hole Microstate Counting in Four-Dimensional N = 4 String Compactifications
Dynamic probabilistic constraints under continuous random distributions
On Stochastic Integer Programming under Probabilistic Constraints
Towards underlying quantum gravity constraints on string inflation
On joint probabilistic constraints with Gaussian coefficient matrix
Structure and stability of probabilistic storage level constraints
Probabilistic learning of indexed families under monotonicity constraints
The probabilistic model checker Storm : symbolic methods for probabilistic model checking
Advances in Symbolic Probabilistic Model Checking with PRISM
Improving automatic software repair with probabilistic symbolic execution
Structural Properties of Linear Probabilistic Constraints
Light On String Solving : Approaches to Efficiently and Correctly Solving String Constraints
Black Hole Microstate Counting in Four-Dimensional N = 4 String Compactifications
Dynamic probabilistic constraints under continuous random distributions
On Stochastic Integer Programming under Probabilistic Constraints
Towards underlying quantum gravity constraints on string inflation
On joint probabilistic constraints with Gaussian coefficient matrix
Structure and stability of probabilistic storage level constraints