Automatisierte Komposition und Konfiguration von Workflows zur Planung mittels kombinatorischer Logik
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Deutsch
- Notes
-
Dortmund, Technische Universität, Dissertation, 2019
- Keyword
-
Fabrikplanung
Planung
Kombinatorische Logik
Programmsynthese
Kombinatorische Logik
Fabrikplanung
Künstliche Intelligenz
- Event
-
Veröffentlichung
- (where)
-
Dortmund
- (who)
-
Universitätsbibliothek Dortmund
- (when)
-
2019
- Creator
- Contributor
- Handle
-
2003/38550
- URN
-
urn:nbn:de:101:1-2020020702431418125686
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:48 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
- Winkels, Jan
- Rehof, Jakob
- Steffen, Bernhard
- Universitätsbibliothek Dortmund
Time of origin
- 2019
Other Objects (12)
Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten : e. Optimalitätskonzept u. seine Anwendung
Grundlagen der höheren Informatik, Bd. 1.. Induktives Vorgehen
Finite model checking and beyond
Das Dogma vom Kreuz : Beitrag zu einer staurozentrischen Theologie
Verification, model checking, and abstract interpretation : 5th international conference ; proceedings
Composition, decomposition and model checking of pushdown processes
Automatic synthesis of design plans in MetaFrame
Gemeinsamer Bericht über die Forschungsvorhaben Vollständige interprozedurale Programmoptimierung und Interprozedurale Datenflussanalysegeneratoren
Der Herr im Felde! : Soldatenbüchlein
Pushdown processes : parallel composition and model checking
Efficient and optimal bit vector data flow analyses : a uniform interprocedural framework
Advances in session-based and session-aware recommendation
Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten : e. Optimalitätskonzept u. seine Anwendung
Grundlagen der höheren Informatik, Bd. 1.. Induktives Vorgehen
Finite model checking and beyond
Das Dogma vom Kreuz : Beitrag zu einer staurozentrischen Theologie
Verification, model checking, and abstract interpretation : 5th international conference ; proceedings
Composition, decomposition and model checking of pushdown processes
Automatic synthesis of design plans in MetaFrame
Gemeinsamer Bericht über die Forschungsvorhaben Vollständige interprozedurale Programmoptimierung und Interprozedurale Datenflussanalysegeneratoren
Der Herr im Felde! : Soldatenbüchlein
Pushdown processes : parallel composition and model checking
Efficient and optimal bit vector data flow analyses : a uniform interprocedural framework
Advances in session-based and session-aware recommendation
Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten : e. Optimalitätskonzept u. seine Anwendung
Grundlagen der höheren Informatik, Bd. 1.. Induktives Vorgehen
Finite model checking and beyond
Das Dogma vom Kreuz : Beitrag zu einer staurozentrischen Theologie
Verification, model checking, and abstract interpretation : 5th international conference ; proceedings
Composition, decomposition and model checking of pushdown processes
Automatic synthesis of design plans in MetaFrame
Gemeinsamer Bericht über die Forschungsvorhaben Vollständige interprozedurale Programmoptimierung und Interprozedurale Datenflussanalysegeneratoren
Der Herr im Felde! : Soldatenbüchlein
Pushdown processes : parallel composition and model checking
Efficient and optimal bit vector data flow analyses : a uniform interprocedural framework