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 119 bis 138 von 198 < zurück   nächste
ErscheinungsdatumTitelAutor(en)
2020Natürlichsprachliche Anfragen an OSCARKopf, Benjamin
2014Neue Bedienkonzepte für mobile RoutenplanerBahle, Stefanie
2011Normalformenberechnung in Graph-Gruppen und Coxeter-GruppenKausch, Jonathan
2004A note on on-the-fly verification algorithmsSchwoon, Stefan; Esparza, Javier
2019Offline navigation for pedestrians on Android devicesZinnatov, Maksym
2014Offline-Reiseplaner für BahnverbindungenSchäfer, Patrik
2014Offline-Speicherung und Darstellung von Geodaten auf MobilgerätenKrumpe, Filip
2023On hierarchical search and preference-based routing in transportation networksProissl, Claudius
2009On smoothed analysis of quicksort and hoare's findFouz, Mahmoud; Kufleitner, Manfred; Manthey, Bodo; Zeini Jahromi, Nima
2020On the average case of MergeInsertionStober, Florian; Weiß, Armin
2015On the complexity of conjugacy in amalgamated products and HNN extensionsWeiß, Armin
2010On the iterated hairpin completionKopecki, Steffen
2020On the number of Delaunay Triangles occurring in all contiguous subsequencesWeitbrecht, Felix
2013Onboard-Routenplanung auf dem SmartphoneBühler, Stefan
2021OpenStreetMap risk mapsLindemann, Patrick
2024Optimal routing in public transportation networks using PHASTBruns, David
2023Optimierte Platzierung von Ladevorrichtungen für E-FahrzeugeWaldschmidt, Helmut
2014Optimierung von SchulstundenplänenKeck, Philipp
2022Optimized multi-agent resource extractionKubica, Manuel
2019Das Ordnungsproblem für Automatengruppen und verwandte FragestellungenBühler, Andreas
Anzeige der Treffer 119 bis 138 von 198 < zurück   nächste