Auflistung D22 (2021) - Ausgezeichnete Informatikdissertationen nach Erscheinungsdatum - Digitale Bibliothek

Anzeige der Dokumente 1-20 von 32

Bilderkennung und Wissenstransfer in verteilten Systemen

Roschke, Christian
231-240
Das Re-Engineering variantenreicher Systeme verstehen

Krüger, Jacob
141-150
Hochqualitativ Verifikation für VP-basierte Heterogene Systeme

Hassan, Muhammad
71-80
Berechnung effizienter Datenzusammenfassungen

Mair, Sebastian
191-200
Sicherheitsaspekte von Mikroarchitektur-Optimierungen

Lipp, Moritz
161-170
Sprachrepräsentationen für Rechnerische Argumentation

Lauscher, Anne
151-160
Verifikation von Markov Entscheidungsprozessen in diskreter Zeit

Meggendorfer, Tobias
201-210
Moderne Graphalgorithmen für die formale Verifikation

Svozil, Alexander
261-270
Die Bewertung der Anwendbarkeit von VR für Datenvisualisierung

Kraus, Matthias
131-140
Inkrementalisierung Statischer Analysen in Datalog

Szabo, Tamas
271-280
Ein holistischer Ansatz für Pool-basiertes Aktives Lernen

Kottke, Daniel
121-130
SMC und zeitlich begrenzte Erreichbarkeitsanalyse für HPnGs

Da Silva, Carina
11-20
Tiefe Netzwerke, die wissen, wenn sie etwas nicht wissen

Molina Ramirez, Alejandro
211-220
Arbeitsbelastung beim Software Prototyping

Suleri, Sarah
251-260
Quantitative konfigurierbare und rekonfigurierbare Systeme .

Dubslaff, Clemens
21-30
Verbesserung der Praxistauglichkeit der statischen Taint-Analyse

Luo, Linghui
181-190
Erkennung von Anomalien und Veränderung in Graphsequenzen

Zambon, Daniele
311-320
Skalierbare und vertraulichkeitswahrende Off-Chain Berechnungen

Eberhardt, Jacob
31-40
Stern-Topologie Entkoppelte Zustandsraumsuche

Gnad, Daniel
51-60

Anzeige der Dokumente 1-20 von 32

Gesamter Bestand

Diese Sammlung

Auflistung D22 (2021) - Ausgezeichnete Informatikdissertationen nach Erscheinungsdatum