|
1241 |
Signal Processing Methods for Music Synchronization, Audio Matching, and Source Separation
Ewert, Sebastian. - Bonn : Universitäts- und Landesbibliothek Bonn, 2012
|
|
|
|
1242 |
Similarity processing in multi-observation data
Bernecker, Thomas. - München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2012
|
|
|
|
1243 |
Simulation inkompressibler deformierbarer Körper
Diziol, Raphael. - Karlsruhe : KIT Scientific Publishing, 2012
|
|
|
|
1244 |
Skalierbare Ausführung von Prozessanwendungen in dienstorientierten Umgebungen
Preißler, Steffen. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012
|
|
|
|
1245 |
Slicing and reduction techniques for model checking Petri nets
Rakow, Astrid. - Oldenburg : IBIT - Universitätsbibliothek, 2012
|
|
|
|
1246 |
SmartMem
Llorente Sancho, Daniel. - München : Universitätsbibliothek der TU München, 2012
|
|
|
|
1247 |
Soft features for statistical machine translation of spoken and signed languages
Stein, Daniel. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2012
|
|
|
|
1248 |
Software Components and Formal Methods from a Computational Viewpoint
Lambertz, Christian. - Mannheim : Universitätsbibliothek Mannheim, 2012
|
|
|
|
1249 |
Spectrum Sharing Methods in Coexisting Wireless Networks
Siddique, Mohammad Muttakin. - Bremen : Staats- und Universitätsbibliothek Bremen, 2012
|
|
|
|
1250 |
Spekulative Optimierungen in interpretativen virtuellen Maschinen
Adler, Philipp. - München : Verlag Dr. Hut, 2012
|
|
Administration
