Auflistung D20 (2019) - Ausgezeichnete Informatikdissertationen nach Titel - Digitale Bibliothek

Anzeige der Dokumente 1-20 von 26

Algorithmen für graphbasierte dynamische Probleme

Goranci, Gramoz
99-108
Arbeitsgewohnheiten und Expertise von Softwareentwicklern

Baltes, Sebastian
19-28
Around-Body Interaction

Müller, Florian
179-188
Ausgezeichnete Informatikdissertationen 2019 - Komplettband

Hölldobler, Steffen
Auslesekarte zur schnellen Verarbeitung von Detektordaten

Engel, Heiko
69-78
Automatisierte Analyse virtueller Prototypen auf der ESL

Goli, Mehran
89-98
Entwurfsautomatisierung für Quantencomputer

Zulehner, Alwin
249-258
Erkennung mobiler Schadsoftware mit maschinellen Lernverfahren

Arp, Daniel
9-18
Erweiterte Veriﬁkationskalküle für Probabilistische Programme

Kaminski, Benjamin
129-138
Erweiterte Visuelle Benutzerschnittstellen für Big-Data-Analysen

Bornschlegl, Marco
49-58
Hierarchisches Planen durch Propositionale Logik

Behnke, Gregor
39-48
Intelligentes, spielorientiertes Crowdsourcing für Audioverarbeitung

Hantke, Simone
119-128
Kryptographische Uhren und Anwendungen

Malavolta, Giulio
149-158
Lernen mit Graphen: Kern- und neuronale Methoden

Morris, Christopher
169-178
Lösbarkeit von Consensus unter Nachrichtengegnern

Winkler, Kyrill
239-248
Methoden zum Monitoring des zirkadianen Rhythmus im Alltag

Wahl, Florian
219-228
Neue Graphen-Algorithmen mittels polyedrischer Methoden

Tarnawski, Jakub
209-218
Parallele Parametrisierte Algorithmen

Bannach, Max
29-38
Personenwiedererkennung mittels maschineller Lernverfahren für öffentliche Einsatzumgebungen

Eisenbach, Markus
59-68
Schlussfolgern in Defeasible Beschreibungslogiken

Pensel, Maximilian
189-198

Anzeige der Dokumente 1-20 von 26

Gesamter Bestand

Diese Sammlung

Auflistung D20 (2019) - Ausgezeichnete Informatikdissertationen nach Titel