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 123 bis 142 von 198 < zurück   nächste
ErscheinungsdatumTitelAutor(en)
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
2017Organisation schwach strukturierter TextdokumenteKopf, Benjamin
2020OSCAR: a textual and spatial exploratory search engine for OpenStreetMap dataBahrdt, Daniel
2022OSM Scotland YardWagner, Jimmy
2022OSM ticket to rideFriedsam, Wenzel
Anzeige der Treffer 123 bis 142 von 198 < zurück   nächste