Media type: E-Book; Thesis Title: Algorithms for the Efficient Verification and Planning of Information Technology Change Operations Other titles: Algorithmen für die effiziente Planung und Verifikation von IT Änderungsoperationen Contributor: Hagen, Sebastian [Author]; Kemper, Alfons [Degree supervisor]; Knapp, Alexander [Degree supervisor]; Gaspary, Luciano Paschoal [Degree supervisor] Published: München: Universitätsbibliothek der TU München, 2013 Extent: Online-Ressource Language: English Identifier: Keywords: DAT Datenverarbeitung, Informatik ; Hochschulschrift Origination: University thesis: München, Technische Universität München, Diss., 2013 Footnote: Access State: Open Access