1. OPUS

Auflistung nach Institut Institut für Formale Methoden der Informatik

Gehe zu: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
oder geben Sie die Anfangszeichen ein:  
Anzeige der Treffer 79 bis 98 von 199 < zurück   nächste
ErscheinungsdatumTitelAutor(en)
2002Gegenseitige Simulation von DatenstrukturenPetersen, Holger
2015The Generalized Minimum Manhattan Network ProblemSchnizler, Michael
2022Generierung und Abdeckung repräsentativer Pfadmengen in StraßennetzwerkenBerner, Lukas
2024Generierung von Minecraft Welten aus OpenStreetMap-DatenDürr, Friedrich
2019Generierung von virtuellen Welten aus OSM-DatenBlumenröther, Julian
2013Das Geographiespiel in der Theorie und seine Realisierung als AppSteinhart, David
2013Gestensteuerung von Routenplanern mittels KinectScholz, Martin
2014Gewisse Eigenschaften deterministischer Automaten und ihre KomplexitätRathgeber, Moritz
2000Gleichungen mit regulären Randbedingungen über freien GruppenHagenah, Christian
2018Grafisches Clustering von OSCAR-SuchresultatenMakolli, Sokol
2006Halbordnungs- und Reduktionstechniken für die automatische Verifikation von verteilten SystemenSchröter, Claus
2000Hierarchische Graphen zur WegesucheBuchholz, Friedhelm
2014Hierarchisierung und Darstellung von GeodatenKrumpe, Filip
2012Die Holonomie-Zerlegung von AutomatenSeybold, Martin P.
2022Hospital emergency room workload prediction using artifical neural networksPaule, Sebastian Patrick
2020Improved algorithms for map rendering and route planningMendel, Thomas
2016Improved approximation schemes for the restricted shortest path problemHolzmüller, David
2016Incremental weak Fréchet map-matchingTangermann, Jonas
2006Infinite state model checking of propositional dynamic logicsGöller, Stefan; Lohrey, Markus
2012Information extraction from social media for route planningMegally, Mirna
Anzeige der Treffer 79 bis 98 von 199 < zurück   nächste