- Sprache
-
Englisch
- Anmerkungen
-
München, Technische Universität München, Diss., 2015
- Identifier
-
1071947982
Thema
Hochschulschrift
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:54 MEZ
Objekttyp
- Monografie
Beteiligte
- Weihmann, Jeremias
- Mayr, Ernst W.
- Esparza Estaun, Francisco Javier
Ähnliche Objekte (12)
Sparse Matrix Computations and their I/O Complexity
Normalization of Horn Clauses with Disequality Constraints
Methods for the Diagnosis and Automatic Repair of Software Systems
Verification of Reachability Properties and Termination for Probabilistic Systems
Construction and Stochastic Applications of Measure Spaces in Higher-Order Logic
Algebraic Systems of Fixpoint Equations over Semirings: Theory and Applications
Frameworks for analyzing multi-threaded C
An implementation for algorithmic game solving and its applications in system synthesis
Model-based Plan Assessment for Autonomous Technical Systems
Learning Probabilistic Subsequential Transducers
Verification of Discrete- and Continuous-Time Non-Deterministic Markovian Systems
CAVA – A Verified Model Checker
Sparse Matrix Computations and their I/O Complexity
Normalization of Horn Clauses with Disequality Constraints
Methods for the Diagnosis and Automatic Repair of Software Systems
Verification of Reachability Properties and Termination for Probabilistic Systems
Construction and Stochastic Applications of Measure Spaces in Higher-Order Logic
Algebraic Systems of Fixpoint Equations over Semirings: Theory and Applications
Frameworks for analyzing multi-threaded C
An implementation for algorithmic game solving and its applications in system synthesis
Model-based Plan Assessment for Autonomous Technical Systems
Learning Probabilistic Subsequential Transducers
Verification of Discrete- and Continuous-Time Non-Deterministic Markovian Systems
CAVA – A Verified Model Checker
Sparse Matrix Computations and their I/O Complexity
Normalization of Horn Clauses with Disequality Constraints
Methods for the Diagnosis and Automatic Repair of Software Systems
Verification of Reachability Properties and Termination for Probabilistic Systems
Construction and Stochastic Applications of Measure Spaces in Higher-Order Logic
Algebraic Systems of Fixpoint Equations over Semirings: Theory and Applications
Frameworks for analyzing multi-threaded C
An implementation for algorithmic game solving and its applications in system synthesis
Model-based Plan Assessment for Autonomous Technical Systems
Learning Probabilistic Subsequential Transducers
Verification of Discrete- and Continuous-Time Non-Deterministic Markovian Systems