Inhalt → Informatik, Informations- wissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Datenverarbeitung; Informatik

• Evaluation platform for micro aerial indoor swarm robotics Steup, Christoph ; Mostaghim, Sanaz ; Mai, Sebastian Magdeburg : Fakultät für Informatik, Otto-von-Guericke-Universität Magdeburg, 2016

• Fault-tolerant acceptors for solid codes Jürgensen, Helmut ; Staiger, Ludwig Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2014 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2014

• Feature-model interfaces for compositional analyses Magdeburg : Univ., Fak. für Informatik, 2015 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2015

• Finding the best design options for the parallel dynamic programming approach with skip vector arrays for join-order optimization Meister, Andreas ; Saake, Gunter Magdeburg : Fakultät für Informatik, Otto-von-Guericke-Universität Magdeburg, [2019]

• Flexible dynamic software updates of Java applications tool support and case study Magdeburg : Univ., Fak. für Informatik, 2011 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2011

• Going beyond turing with P automata: regular observer omega-languages and partial adult halting Freund, Rudolf ; Ivanov, Sergui ; Staiger, Ludwig Halle : Institute of Computer Science, Faculty of Natural Sciences III, Martin-Luther-University Halle-Wittenberg, January 2016

• GPU-accelerated dynamic programming for join-order optimization Meister, Andreas ; Saake, Gunter Magdeburg : Fakultät für Informatik, Otto-von-Guericke-Universität Magdeburg, 07.01.2020

• A hierarchical framework for provenance based on fragmentation and uncertainty Schäler, Martin ; Schulze, Sandro ; Saake, Gunter Magdeburg : Univ., Fak. für Informatik, 2012 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2012

• How to develop a graphical editor for discrete timed Net Condition/Event Systems using the Eclipse Petri Net Kernel Gerber, Christian Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2011 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2011

• Improving integration efficiency of enterprise architecture management and IT operations a qualitative requirements analysis Herden, Sebastian Magdeburg : Univ., Fak. für Informatik, 2012 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2012

• Internet der Dienste und Dinge und Erfüllung von Umweltstandards technischer Infrastrukturen - am Beispiel der Landeshauptstadt Schwerin und Umland Buhl, Oliver ; Gieschen, Jan-Hinrich ; Neumann, Kirsten ; Richter, Martin ; Rohner, Sandra ; Seidel, Uwe ; Blobel, Daniel ; Schritt, Hannes ; Stein, Ulf Dessau-Roßlau : Umweltbundesamt, Dezember 2018

• IWDE 2011: proceedings of the 2nd International Workshop on Digital Engineering 2011 Magdeburg : Univ., Fak. für Informatik, 2011 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2011

• Kennzahlen und Indikatoren für die Beurteilung der Ressourceneffizienz von Rechenzentren und Prüfung der praktischen Anwendbarkeit Abschlussbericht Schödwell, Björn ; Zarnekow, Rüdiger Dessau-Roßlau : Umweltbundesamt, Februar 2018

• Klassifikation von Enterprise-Architecture-Frameworks eine Literaturanalyse Herden, Sebastian ; Zenner, Ulrike Magdeburg : Univ., Fak. für Informatik, 2011 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2011

• KPI4DCE 2.0 Operationalisierung von Umwelt-, Energie- und Kosteneffizienz im Rechenzentrum durch Indikatoren an Beispielen aus der Praxis Stand: März 2019, Dessau-Roßlau : Umweltbundesamt, 2019

• KPI4DCE das ressourceneffiziente Rechenzentrum - Kennzahlen und Indikatoren Stand: November 2015, Dessau-Roßlau : Umweltbundesamt, [Dezember 2015]

• Liouville, computable, borel normal and Martin-Löf random numbers Calude, Cristian ; Staiger, Ludwig Halle (Saale) : Martin-Luther-Univ. Halle-Wittenberg, Institute of Computer Science, 2015 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2015

• Magdeburger Journal zur Sicherheitsforschung MJS Magdeburg : Magdeburger Inst. für Sicherheitsforschung ; Magdeburg : Meine, Jg. 1.2011,1=Ausg. 1 -, 2011-

• Manually annotated spelling error corpus for amharic Gezmu, Andargachew Mekonnen ; Seyoum, Binyam Ephrem ; Lema, Tirufat Tesifaye ; Nürnberger, Andreas Magdeburg : Fakultät für Informatik, Otto-von-Guericke-Universität Magdeburg, [2017]

• Mixtures of parsimonious markov models Gohr, André ; Posch, Stefan ; Grosse, Ivo Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2012 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2012