- Alternative title
-
Constraint-basierte Analyse verteilter Systeme
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
München, Technische Universität München, Dissertation, 2021
- Event
-
Veröffentlichung
- (where)
-
München
- (who)
-
Universitätsbibliothek der TU München
- (when)
-
2021
- Creator
-
Meyer, Philipp Klara Johanna
- Contributor
-
Esparza Estaun, Francisco Javier
Esparza Estaun, Francisco Javier
Kučera, Antonín
- URN
-
urn:nbn:de:bvb:91-diss-20210716-1585233-1-6
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:50 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Meyer, Philipp Klara Johanna
- Esparza Estaun, Francisco Javier
- Kučera, Antonín
- Universitätsbibliothek der TU München
Time of origin
- 2021
Other Objects (12)
State-based timing analysis for distributed systems
Model-based runtime analysis of distributed reactive systems
Constraint-based analysis of substructures of metabolic networks
Distributed Optimization of Constraint-Coupled Systems via Approximations of the Dual Function
Constraint Based World Modeling
Constraint based acoustic modelling
Algorithms for the constraint-based analysis of metabolic networks
Constraint-based modeling and analysis of aging-associated metabolism
Distributed constraint satisfaction : foundations of cooperation in multi-agent systems ; with 22 tables
Reasoning in event-based distributed systems
MaVeriC - A Constraint-Based System for Web-Based Learning
Direct handling of ordinary differential equations in constraint-solving-based analysis of hybrid systems
State-based timing analysis for distributed systems
Model-based runtime analysis of distributed reactive systems
Constraint-based analysis of substructures of metabolic networks
Distributed Optimization of Constraint-Coupled Systems via Approximations of the Dual Function
Constraint Based World Modeling
Constraint based acoustic modelling
Algorithms for the constraint-based analysis of metabolic networks
Constraint-based modeling and analysis of aging-associated metabolism
Distributed constraint satisfaction : foundations of cooperation in multi-agent systems ; with 22 tables
Reasoning in event-based distributed systems
MaVeriC - A Constraint-Based System for Web-Based Learning
Direct handling of ordinary differential equations in constraint-solving-based analysis of hybrid systems
State-based timing analysis for distributed systems
Model-based runtime analysis of distributed reactive systems
Constraint-based analysis of substructures of metabolic networks
Distributed Optimization of Constraint-Coupled Systems via Approximations of the Dual Function
Constraint Based World Modeling
Constraint based acoustic modelling
Algorithms for the constraint-based analysis of metabolic networks
Constraint-based modeling and analysis of aging-associated metabolism
Distributed constraint satisfaction : foundations of cooperation in multi-agent systems ; with 22 tables
Reasoning in event-based distributed systems
MaVeriC - A Constraint-Based System for Web-Based Learning