|
771 |
Architectural Refinement in HETS
Codescu, Mihai. - Bremen : Staats- und Universitätsbibliothek Bremen, 2012
|
|
|
|
772 |
Assessment of the feasibility of distributed shared memory and data consistency for wireless sensor networks
Piotrowski, Krzysztof. - Cottbus : Universitätsbibliothek der BTU Cottbus, 2012
|
|
|
|
773 |
Attacking and Defending Code-based Cryptosystems
Niebuhr, Robert. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2012
|
|
|
|
774 |
Authentifizierung von Audiodaten mittels inhalts-fragiler Wasserzeichen
Gulbis, Michael. - Rostock : Universität Rostock, 2012
|
|
|
|
775 |
Authormagic
Weiler, Henning. - Erlangen : Universitätsbibliothek der Universität Erlangen-Nürnberg, 2012
|
|
|
|
776 |
Automatic Extraction and Assessment of Entities from the Web
Urbansky, David. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012
|
|
|
|
777 |
Automatic Proofs and Refutations for Higher-Order Logic
Blanchette, Jasmin. - München : Universitätsbibliothek der TU München, 2012
|
|
|
|
778 |
Automatic Segmentation and Clustering of Spectral Terahertz Data
Stephani, Henrike. - Kaiserslautern : Technische Universität Kaiserslautern, 2012
|
|
|
|
779 |
Automatische Kompatibilitätsprüfung Framework-basierter Anwendungen
Christ, Fabian. - Paderborn : Universitätsbibliothek, 2012
|
|
|
|
780 |
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
|
|
Administration
