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 53 bis 72 von 198 < zurück   nächste
ErscheinungsdatumTitelAutor(en)
2006Efficient algorithms for alternating pushdown systems : application to certificate chain discovery with threshold subjectsSuwimonteerabuth, Dejvuth; Schwoon, Stefan; Esparza, Javier
2015Effiziente Algorithmen für das Separierbarkeitsproblem der alternierungsfreien Logik über unendlichen WörternGöggelmann, Manuel
2012Effiziente Darstellung von Kartendaten auf MobilgerätenGroß, Zeno-Oliver
2011Effiziente Textsuche in OpenStreetMap-Daten auf mobilen GerätenBahrdt, Daniel
2012Effiziente Verarbeitung von Anfragen nach Polygon-Enthaltensein im Kontext von OSM-DatenMeusel, Sascha
1998Endbericht der Projektgruppe FahrgemeinschaftenHeid, Herbert; Nicklas, Daniela; Porrmann, Alexander; Schäffer, Thomas; Scholz, Volker
1998Endbericht der Projektgruppe TransportoptimierungFleischmann, Jörg; Hermes, Lars; Spribille, Tobias
2024Entwicklung eines Frameworks für die Lehre in der Theoretischen InformatikDoderer, Marc
2000Erfahrungen mit dem System TROSS beim DRKBuchholz, Friedhelm; Wagner, Frank
2023Erkennung von Gruppen mit CC0 SchaltkreisenBienias, Joel
2013EV hitting sets in road networksNusser, André
2020Evaluation von Strategien für die Konstruktion von Contraction HierarchiesAhmed, Aimn
2001Existential and positive theories of equations in graph productsDiekert, Volker; Lohrey, Markus
2016Experimental analysis of randomized calculations of average rankingsZeiß, Tim
2020Experimental study of the AKS sorting networkFischer, Alexander
2019Experimentelle Bestimmung vergleichsoptimaler SortieralgorithmenObst, Julian
2015Exploring maps using Leap MotionScholz, Martin
2006The expressive power of simple logical fragments over tracesHorsch, Martin; Kufleitner, Manfred
2014Externe komprimierte GraphdarstellungenBagg, Tobias
2005First order and counting theories of omega-automatic structuresKuske, Dietrich; Lohrey, Markus
Anzeige der Treffer 53 bis 72 von 198 < zurück   nächste