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 177 bis 196 von 198 < zurück   nächste
ErscheinungsdatumTitelAutor(en)
2011Temporal logic for properties with relative frequencyDecker, Normann
2022Trajektorenaufzeichnung mit Map-Matching auf Android-GerätenTrautwein, Lukas
2012Turn by Turn Navigation für Android MobilgeräteHaag, Christoph
2015Unified routing and map renderingSchnelle, Niklas
2020Das uniforme Wortproblem für Automatengruppen beschränkter AktivitätKotowsky, Maximilian
2012Untersuchung der Struktur großer StraßennetzwerkeHartmann, Frederik
2011Untersuchung von Eindeutigen Büchi AutomatenPflüger, Hermann
2011Über die Billaudsche VermutungWalter, Tobias
2013Übersicht und Evaluation am Markt erhältlicher Routenplaner auf Web- bzw. Android-PlattformHeidenwag, Jarkko; Niethammer, Philipp; Sanwald, Tim
2013Übersicht und Evalution am Markt erhältlicher Systeme zur graphischen Darstellung von KartenmaterialScheurich, Jonas; Scholz, Martin; Steinhart, David
2011Eine Variante der Burrows-Wheeler Transformation mit PermutationenRiegger, Philipp M.
2012Varianten des NTRU-KryptosystemsBächtle, Patrick
2013Verbotsmuster bei deterministischen endlichen Automaten in der Trotter-Weil-HierarchieRupp, Tobias
2023Verbotsmuster für Logik mit zwei Variablen über endlichen und unendlichen WörternHeindl, Amelie
2015Vereinfachung von polygonalen Ebenenunterteilungen unter TopologieeinschränkungenWiebe, Maria
2013Verkehrsabhängiges Routing basierend auf TMC-NachrichtenSanwald, Tim
2018Verwaltung und Indizierung von BewegungstrajektorienOwens, Niklas
2019Visualisierung großer Straßengraphen mittels VulkanBektas, Sabri
1998Workshop on Formal Languages, Automata and Petri Nets-
2014Das Wortproblem für Omega-Terme über ZweivariablenlogikWächter, Jan Philipp
Anzeige der Treffer 177 bis 196 von 198 < zurück   nächste