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 1 bis 20 von 198  nächste
ErscheinungsdatumTitelAutor(en)
19977-bit meta-transliterations for 8-bit romanizationsLagally, Klaus
2015Abdeckung von Verschnittresten unter KonnektivitätsbedingungenHildinger, Markus
1997Abschlußbericht der Projektgruppe Evolutionäre AlgorithmenGroßmann, Matthias; Leonhardi, Alexander; Schmidt, Thomas
2006Abstraction refinement with craig interpolation and symbolic pushdown systemsEsparza, Javier; Kiefer, Stefan; Schwoon, Stefan
2013Algebraische Charakterisierungen von positiver Quantorenalternierung bei Zwei-Variablen-LogikFleischer, Lukas
2013Eine algebraische Konstruktion für den Kleene-Stern regulärer SprachenBühler, Andreas
2018Algorithm engineering in geometric network planning and data miningSeybold, Martin P.
2014Algorithmen zur Optimierung von geometrischen PackungsproblemenGeringer, Sergej
2014Algorithmen zur Optimierung von PackungsproblemenHildinger, Markus
2019Algorithms and complexity results for finite semigroupsFleischer, Lukas
2012Algorithms for vehicle navigationStorandt, Sabine
2012Der Algorithmus von Howgrave-Graham und Joux zur Lösung von RucksackproblemenLudwig, Michael
2005Ambiguity functions of context-free grammars and languagesWich, Klaus
2014Analyse von Algorithmen zur BahnverbindungssucheWang, Mingyuan
2022Analyse von Pivotwahlstrategien bei QuicksortFrech, Maximilian
2023Analysing timing behavior of component-based software systemsHilbig, Aaron
2004Analysis and verification of systems with dynamically evolving structureKönig, Barbara
2022Android-Offline-Routenplaner mit Contraction HierarchiesHübl, Tobias
2020Anwendung der Well-Separated Pair Decomposition auf SichtbarkeitsgraphenOwens, Niklas
1993ArabTeX : a system for typesetting Arabic; user manual version 3.00Lagally, Klaus
Anzeige der Treffer 1 bis 20 von 198  nächste