Auflistung D09 (2010) - Ausgezeichnete Informatikdissertationen nach Erscheinungsdatum - Digitale Bibliothek

Anzeige der Dokumente 1-20 von 36

Qualitätsorientierter Entwurfs- und Verifikationsablauf für digitale Systeme

Große, Daniel
121-130
Vom Suchen und Finden funktioneller Module in biologischen Netzwerken: Ein neuer Ansatz zur integrierten Netzwerkanalyse in der Systembiologie

Dittrich, Marcus
61-69
Informationsverarbeitung im Informationsmanagement: Modellierung von Aufgaben und verarbeiteten Informationen am Beispiel der Information Technology Infrastructure Library (ITIL)

Ißler, Lutz
161-170
Computing Crossing Numbers: Berechnen von Kreuzungszahlen

Chimani, Markus
41-50
Evaluation von Internetwahlsystemen

Volkamer, Melanie
301-309
Modellierung und Verifikation medizinischer Leitlinien

Schmitt, Jonathan
261-270
Generierung Relevanter Testdatenbanken

Binnig, Carsten
11-20
2D-3D Registrierung von Gefäßbildern – Ein Beitrag zur Realisierung von 3D-gestützten Katheterinterventionen

Groher, Martin
111-120
Synthese Verteilter Systeme

Schewe, Sven
251-260
Change Distilling: Software Evolutionsanalyse mit Hilfe von feingranularen Programmtext-Änderungen

Fluri, Beat
91-100
Semantic Component Retrieval in Software Engineering

Hummel, Oliver
151-160
An Efficient and Flexible Implementation of Aspect-Oriented Languages

Bockisch, Christoph
21-30
Semantik eines verzögert auswertenden Lambdakalküls mit McCarthy’s amb für Programmäquivalenz

Sabel, David
221-230
Wie funktioniert eigentlich Riechen? Computergestützte Analyse von biologischen Wahrnehmungsprozessen

Madany Mamlouk, Amir
171-180
Vorwort

Hölldobler, Steffen; et al.
3-4
Frontmatter

Hölldobler, Steffen; et al.
Differentielle dynamische Logiken: Automatisches Beweisen für hybride Systeme

Platzer, André
191-200
Extraktion topologischer Strukturen von 2D- und 3D-Vektorfeldern

Weinkauf, Tino
311-320
Routenplanung in Straßennetzen

Schultes, Dominik
271-280
Equivariante Kerne in der Mustererkennung

Reisert, Marco
211-220

Anzeige der Dokumente 1-20 von 36

Gesamter Bestand

Diese Sammlung

Auflistung D09 (2010) - Ausgezeichnete Informatikdissertationen nach Erscheinungsdatum