|
1171 |
Modulares Beweisen temporallogischer Eigenschaften paralleler Programme
Bäumler, Simon. - Augsburg : Universität Augsburg, 2012
|
|
|
|
1172 |
Monogenic Wavelet Frames for Image Analysis
Held, Stefan. - München : Universitätsbibliothek der TU München, 2012
|
|
|
|
1173 |
Multimodal Training of Maintenance and Assembly Skills Based on Augmented Reality
Webel, Sabine. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2012
|
|
|
|
1174 |
Neural Synchronization and Light-weight Cryptography in Embedded Systems
Reyes Torres, Oscar Mauricio. - Aachen : Shaker, 2012, 1. Aufl., neue Ausg.
|
|
|
|
1175 |
New Geometric Data Structures for Collision Detection
Weller, René. - Bremen : Staats- und Universitätsbibliothek Bremen, 2012
|
|
|
|
1176 |
New Solving Techniques for Property Checking of Arithmetic Data Paths
Pavlenko, Evgeny. - Kaiserslautern : Universitätsbibliothek Kaiserslautern, 2012
|
|
|
|
1177 |
On construction, performance, and diversification for structured queries on the semantic desktop
Minack, Enrico. - Hannover : Technische Informationsbibliothek und Universitätsbibliothek Hannover (TIB), 2012
|
|
|
|
1178 |
On the importance of time synchronization for context aware applications
Klein, Bernd Niklas. - Kassel : Kassel University Press, 2012
|
|
|
|
1179 |
On the projection problem in active knowledge bases with incomplete information
Belle, Vaishak. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2012
|
|
|
|
1180 |
On the use of language models and topic models in the web
Krestel, Ralf. - Hannover : Technische Informationsbibliothek und Universitätsbibliothek Hannover (TIB), 2012
|
|
Administration
