|
781 |
Automatic Extraction and Assessment of Entities from the Web Urbansky, David. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012
|
|
|
782 |
Automatic Proofs and Refutations for Higher-Order Logic Blanchette, Jasmin. - München : Universitätsbibliothek der TU München, 2012
|
|
|
783 |
Automatic Segmentation and Clustering of Spectral Terahertz Data Stephani, Henrike. - Kaiserslautern : Technische Universität Kaiserslautern, 2012
|
|
|
784 |
Automatische Kompatibilitätsprüfung Framework-basierter Anwendungen Christ, Fabian. - Paderborn : Universitätsbibliothek, 2012
|
|
|
785 |
Automatische Optimierung und Evaluierung modellbasierter Testfälle für den Komponenten- und Integrationstest Pinte, Florin-Avram. - Erlangen : Universitätsbibliothek der Universität Erlangen-Nürnberg, 2012
|
|
|
786 |
Automatisierte Wahl von Kommunikationsprotokollen für das heutige und zukünftige Internet Völker, Lars. - Karlsruhe : KIT Scientific Publishing, 2012
|
|
|
787 |
Autonomous Localization Framework for Sensor and Actor Networks Eckert, Jürgen. - Erlangen : Universitätsbibliothek der Universität Erlangen-Nürnberg, 2012
|
|
|
788 |
Beschreibung, Verwaltung und Ausführung von Arbeitsabläufen im autonomen Datenbank-Tuning Rabinovitch, Gennadi. - Jena : Thüringer Universitäts- und Landesbibliothek Jena, 2012
|
|
|
789 |
Bilateral and Multilateral Negotiation for Agreement Discovery and Formation Klenk, Andreas. - München : Universitätsbibliothek der TU München, 2012
|
|
|
790 |
Bringing haptic general-purpose controls to interactive tabletops Weiß, Malte Hanno. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2012
|
|