|
1241 |
Skalierbare Ausführung von Prozessanwendungen in dienstorientierten Umgebungen
Preißler, Steffen. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012
|
|
|
|
1242 |
Slicing and reduction techniques for model checking Petri nets
Rakow, Astrid. - Oldenburg : IBIT - Universitätsbibliothek, 2012
|
|
|
|
1243 |
SmartMem
Llorente Sancho, Daniel. - München : Universitätsbibliothek der TU München, 2012
|
|
|
|
1244 |
Soft features for statistical machine translation of spoken and signed languages
Stein, Daniel. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2012
|
|
|
|
1245 |
Software Components and Formal Methods from a Computational Viewpoint
Lambertz, Christian. - Mannheim : Universitätsbibliothek Mannheim, 2012
|
|
|
|
1246 |
Spectrum Sharing Methods in Coexisting Wireless Networks
Siddique, Mohammad Muttakin. - Bremen : Staats- und Universitätsbibliothek Bremen, 2012
|
|
|
|
1247 |
Spekulative Optimierungen in interpretativen virtuellen Maschinen
Adler, Philipp. - München : Verlag Dr. Hut, 2012
|
|
|
|
1248 |
Stadt – Frau – Amerika
Mongu, Blanka. - Berlin : Humboldt Universität zu Berlin, Philosophische Fakultät II, 2012
|
|
|
|
1249 |
Static Analysis of Run-time Modes in Kahn Process Networks
Beyer, Michael. - Aachen : Shaker, 2012, 1. Aufl., neue Ausg.
|
|
|
|
1250 |
Statistical and Probabilistic Methods for Data Stream Mining
Tschumitschew, Katharina. - Braunschweig : Technische Universität Braunschweig, 2012
|
|
Administration
