default search action
GI Ausgezeichnete Informatikdissertationen 2008
- Abraham Bernstein, Thomas Dreier, Steffen Hölldobler, Günter Hotz, Klaus-Peter Löhr, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Dietmar Saupe, Myra Spiliopoulou, Harald Störrle, Dorothea Wagner:
Ausgezeichnete Informatikdissertationen 2008. LNI D-9, GI 2010, ISBN 978-3-88579-413-4 - Carsten Binnig:
Generierung Relevanter Testdatenbanken [Generating Meaningful Test Databases]. Ausgezeichnete Informatikdissertationen 2008: 11-20 - Christoph Bockisch:
An Efficient and Flexible Implementation of Aspect-Oriented Languages. Ausgezeichnete Informatikdissertationen 2008: 21-30 - Manfred Bortenschlager:
CorA: Eine Koordinationsarchitektur für Kollaboration unter mobilen Benutzern [CorA: A Coordination Architecture for Collaboration in Pervasive Environments]. Ausgezeichnete Informatikdissertationen 2008: 31-40 - Markus Chimani:
Computing Crossing Numbers: Berechnen von Kreuzungszahlen. Ausgezeichnete Informatikdissertationen 2008: 41-50 - Thomas Deselaers:
Bildsuche, Objekterkennung und Diskriminative Modelle [Image Retrieval, Object Recognition, and Discriminative Models]. Ausgezeichnete Informatikdissertationen 2008: 51-60 - Marcus T. Dittrich:
Vom Suchen und Finden funktioneller Module in biologischen Netzwerken: Ein neuer Ansatz zur integrierten Netzwerkanalyse in der Systembiologie [Assembly of the Interactome, Characterization of Functional Modules and Novel Approaches to the Analysis of Signaling Networks in Human Platelets]. Ausgezeichnete Informatikdissertationen 2008: 61-69 - Sebastian Dörn:
Quantenalgorithmen für Graphen und Algebraprobleme [Quantum Complexity of Graph and Algebraic Problems]. Ausgezeichnete Informatikdissertationen 2008: 71-80 - Dominik Engel:
JPEG2000 Verschlüsselung mit schlüsselabhängigen Wavelet Packet Subband Strukturen [Media Encryption for Still Visual Data]. Ausgezeichnete Informatikdissertationen 2008: 81-90 - Beat Fluri:
Change Distilling: Software Evolutionsanalyse mit Hilfe von feingranularen Programmtext-Änderungen [Change Distilling: Enriching Software Evolution Analysis with Fine-Grained Source Code Change Histories]. Ausgezeichnete Informatikdissertationen 2008: 91-100 - Thomas Gottron:
Content Extraction: Bestimmung des Hauptinhaltes in HTML Dokumenten. Ausgezeichnete Informatikdissertationen 2008: 101-110 - Martin Groher:
2D-3D Registrierung von Gefäßbildern - Ein Beitrag zur Realisierung von 3D-gestützten Katheterinterventionen [2D-3D Registration of Vascular Images - Towards 3D-Guided Catheter Interventions]. Ausgezeichnete Informatikdissertationen 2008: 111-120 - Daniel Große:
Qualitätsorientierter Entwurfs- und Verifikationsablauf für digitale Systeme [Quality-Driven Design and Verification Flow for Digital Systems]. Ausgezeichnete Informatikdissertationen 2008: 121-130 - Jens Heidrich:
Zielgerichtete Kontrolle von Software-Entwicklungsprojekten [Goal-oriented Quantitative Software Project Control]. Ausgezeichnete Informatikdissertationen 2008: 131-140 - Andreas Henschel:
Strukturbasiertes Klassifizieren von Protein-Proteininteraktionen [A Structural Classification of Protein-Protein Interactions for Detection of Convergently Evolved Motifs and for the Predictions of Protein Binding Sites on Sequence Level]. Ausgezeichnete Informatikdissertationen 2008: 141-150 - Oliver Hummel:
Semantic Component Retrieval in Software Engineering. Ausgezeichnete Informatikdissertationen 2008: 151-160 - Lutz Ißler:
Informationsverarbeitung im Informationsmanagement: Modellierung von Aufgaben und verarbeiteten Informationen am Beispiel der Information Technology Infrastructure Library (ITIL). Ausgezeichnete Informatikdissertationen 2008: 161-170 - Amir Madany Mamlouk:
Wie funktioniert eigentlich Riechen? Computergestützte Analyse von biologischen Wahrnehmungsprozessen. Ausgezeichnete Informatikdissertationen 2008: 171-180 - Ilias Michalarias:
Multidimensionales Datenmanagement in mobilen Umgebungen [Multidimensional Data Management in Mobile Environments]. Ausgezeichnete Informatikdissertationen 2008: 181-190 - André Platzer:
Differentielle dynamische Logiken: Automatisches Beweisen für hybride Systeme [Differential Dynamic Logic: Automated Theorem Proving for Hybrid Systems]. Ausgezeichnete Informatikdissertationen 2008: 191-200 - Florian Rabe:
Repräsentation von Logiken und Logik-Übersetzungen [Representing Logics and Logic Translations]. Ausgezeichnete Informatikdissertationen 2008: 201-210 - Marco Reisert:
Equivariante Kerne in der Mustererkennung [Group Integration Techniques in Pattern Analysis - A Kernel View]. Ausgezeichnete Informatikdissertationen 2008: 211-220 - David Sabel:
Semantik eines verzögert auswertenden Lambdakalküls mit McCarthy's amb für Programmäquivalenz [Semantics of a Call-by-Need Lambda Calculus with McCarthy's Amb for Program Equivalence]. Ausgezeichnete Informatikdissertationen 2008: 221-230 - Felix Salfner:
Ereignisgesteuerte Ausfallvorhersage: Ein Mustererkennungs-Ansatz [Event-based Failure Prediction: An Extended Hidden Markov Model Approach]. Ausgezeichnete Informatikdissertationen 2008: 231-240 - Thomas Sauerwald:
Randomisierte Protokolle für die Verteilung von Information [Randomized Protocols for Information Dissemination]. Ausgezeichnete Informatikdissertationen 2008: 241-250 - Sven Schewe:
Synthese Verteilter Systeme [Synthesis of Distributed Systems]. Ausgezeichnete Informatikdissertationen 2008: 251-260 - Jonathan Schmitt:
Modellierung und Verifikation medizinischer Leitlinien. Ausgezeichnete Informatikdissertationen 2008: 261-270 - Dominik Schultes:
Routenplanung in Straßennetzen [Route Planning in Road Networks]. Ausgezeichnete Informatikdissertationen 2008: 271-280 - Sören Sonnenburg:
Maschinelles Lernen zur Genom-Sequenzanalyse [Machine Learning for Genomic Sequence Analysis]. Ausgezeichnete Informatikdissertationen 2008: 281-290 - Ulrike Thomas:
Automatisierte Programmierung von Robotern für Montageaufgaben. Ausgezeichnete Informatikdissertationen 2008: 291-300 - Melanie Volkamer:
Evaluation von Internetwahlsystemen. Ausgezeichnete Informatikdissertationen 2008: 301-309 - Tino Weinkauf:
Extraktion topologischer Strukturen von 2D- und 3D-Vektorfeldern [Extraction of Topological Structures in 2D and 3D Vector Fields]. Ausgezeichnete Informatikdissertationen 2008: 311-320 - Franz Weitl:
Dokumentverifikation mit Temporaler Beschreibungslogik [Document Verification with Temporal Description Logics]. Ausgezeichnete Informatikdissertationen 2008: 321-330 - Arno Zinke:
Photo-Realistic Rendering of Fiber Assemblies. Ausgezeichnete Informatikdissertationen 2008: 331-337
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-02 18:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: