|
1041 |
Alignment Incoherence in Ontology Matching
Meilicke, Christian. - Mannheim : Universitätsbibliothek Mannheim, 2011
|
|
|
|
1042 |
An execution trace verification method on linearizability
Dragičević, Kristijan, 2011
|
|
|
|
1043 |
An valuation methodology and framework for semantic web services technology
Küster, Ulrich, 2011
|
|
|
|
1044 |
Analyzing the user's state in HCI: from crisp emotions to conversational dispositions
Scherer, Stefan. - Ulm : Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2011
|
|
|
|
1045 |
Anytime algorithms for stream data mining
Kranen, Philipp. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2011
|
|
|
|
1046 |
Atomic basic blocks
Scheler, Fabian, 2011
|
|
|
|
1047 |
Automatische Ableitung und Anwendung von Regeln für die Rekonstruktion von Fassaden aus heterogenen Sensordaten
Becker, Susanne. - [Stuttgart] : [Univ.-Bibliothek], 2011, [Online-Ausg.]
|
|
|
|
1048 |
Automatische Gewinnung enzymbezogener Informationen aus der wissenschaftlichen Primärliteratur
Söhngen, Carola. - Braunschweig : Technische Universität Braunschweig, 2011
|
|
|
|
1049 |
Automatische Testfallgenerierung aus kontrolliert natürlichsprachlichen Anforderungsspezifikationen für reaktive Echtzeitsysteme
Schnelte, Matthias, 2011
|
|
|
|
1050 |
Bayes risk decoding and its application to system combination
Hoffmeister, Björn. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2011
|
|
Administration
