Hochschulschrift
Algorithms for the Efficient Verification and Planning of Information Technology Change Operations
- Weitere Titel
-
Algorithmen für die effiziente Planung und Verifikation von IT Änderungsoperationen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
München, Technische Universität München, Diss., 2013
- Ereignis
-
Veröffentlichung
- (wo)
-
München
- (wer)
-
Universitätsbibliothek der TU München
- (wann)
-
2013
- Urheber
- Beteiligte Personen und Organisationen
- URN
-
urn:nbn:de:bvb:91-diss-20130605-1128856-0-7
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:42 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
- Hochschulschrift
Beteiligte
- Hagen, Sebastian
- Kemper, Alfons
- Knapp, Alexander
- Gaspary, Luciano Paschoal
- Universitätsbibliothek der TU München
Entstanden
- 2013
Ähnliche Objekte (12)
Algorithms for the efficient verification and planning of information technology change operations
Efficient verification of quantum resources
Hybrid evolutionary algorithms for the efficient solution of planning problems under uncertainty
MIZAR verification of generic algebraic algorithms
Energy-efficient scheduling algorithms
Engineering route planning algorithms
Efficient production planning and scheduling : an integrated approach with genetic algorithms and simulation
Parallel algorithms for verification of large systems
Petri Net Based Verification of Distributed Algorithms
Lectures on proof verification and approximation algorithms
Efficient Graph Algorithms in Neo4j
Work efficient parallel scheduling algorithms
Algorithms for the efficient verification and planning of information technology change operations
Efficient verification of quantum resources
Hybrid evolutionary algorithms for the efficient solution of planning problems under uncertainty
MIZAR verification of generic algebraic algorithms
Energy-efficient scheduling algorithms
Engineering route planning algorithms
Efficient production planning and scheduling : an integrated approach with genetic algorithms and simulation
Parallel algorithms for verification of large systems
Petri Net Based Verification of Distributed Algorithms
Lectures on proof verification and approximation algorithms
Efficient Graph Algorithms in Neo4j
Work efficient parallel scheduling algorithms
Algorithms for the efficient verification and planning of information technology change operations
Efficient verification of quantum resources
Hybrid evolutionary algorithms for the efficient solution of planning problems under uncertainty
MIZAR verification of generic algebraic algorithms
Energy-efficient scheduling algorithms
Engineering route planning algorithms
Efficient production planning and scheduling : an integrated approach with genetic algorithms and simulation
Parallel algorithms for verification of large systems
Petri Net Based Verification of Distributed Algorithms
Lectures on proof verification and approximation algorithms
Efficient Graph Algorithms in Neo4j