Auflistung nach:
Auflistung D18 (2017) - Ausgezeichnete Informatikdissertationen nach Erscheinungsdatum
1 - 10 von 29
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragImproved Algorithms and Conditional Lower Bounds for Problems in Formal Verification and Reactive Synthesis(Ausgezeichnete Informatikdissertationen 2017, 2018) Loitzenbauer, Veronika
- KonferenzbeitragTreewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs(Ausgezeichnete Informatikdissertationen 2017, 2018) Bliem, Bernhard
- KonferenzbeitragImproving goodput and reliability of ultra-high-speed wireless communication at data link layer level(Ausgezeichnete Informatikdissertationen 2017, 2018) Lopacinski, Lukasz
- KonferenzbeitragStrategien zur effizienten Nutzung und Erweiterung des Messfeldes in Magnetic Particle Imaging(Ausgezeichnete Informatikdissertationen 2017, 2018) Kaethner, Christian
- KonferenzbeitragOn-The-Fly Safety Checking - Customizing Program Certification and Program Restructuring(Ausgezeichnete Informatikdissertationen 2017, 2018) Jakobs, Marie-Christine
- KonferenzbeitragMulti-modal 3D mapping Combining 3D point clouds with thermal and color information(Ausgezeichnete Informatikdissertationen 2017, 2018) Borrmann, Dorit
- KonferenzbeitragOn Algorithms for Large-Scale Graph and Clustering Problems(Ausgezeichnete Informatikdissertationen 2017, 2018) Schwiegelshohn, Chris
- KonferenzbeitragEine Datenspezifikationsarchitektur. Methoden zur Datenflussüberwachung in sicherheitsgerichteten Echtzeitsystemen.(Ausgezeichnete Informatikdissertationen 2017, 2018) Widmann, Stefan
- KonferenzbeitragSoftware-basierte Mikroarchitekturangriffe(Ausgezeichnete Informatikdissertationen 2017, 2018) Gruss, Daniel
- KonferenzbeitragCausal Loops: Logically Consistent Correlations, Time Travel, and Computation(Ausgezeichnete Informatikdissertationen 2017, 2018) Baumeler, Ämin
- «
- 1 (current)
- 2
- 3
- »