|
981 |
Software Components and Formal Methods from a Computational Viewpoint
Lambertz, Christian. - Mannheim : Universitätsbibliothek Mannheim, 2012
|
|
|
|
982 |
Spectrum Sharing Methods in Coexisting Wireless Networks
Siddique, Mohammad Muttakin. - Bremen : Staats- und Universitätsbibliothek Bremen, 2012
|
|
|
|
983 |
Stadt – Frau – Amerika
Mongu, Blanka. - Berlin : Humboldt Universität zu Berlin, Philosophische Fakultät II, 2012
|
|
|
|
984 |
Statistical and Probabilistic Methods for Data Stream Mining
Tschumitschew, Katharina. - Braunschweig : Technische Universität Braunschweig, 2012
|
|
|
|
985 |
Stereotypen-Framing
Sielschott, Stephan. - Marburg : Philipps-Universität Marburg, 2012
|
|
|
|
986 |
Stochastic satisfiability modulo theories : a symbolic technique for the analysis of probabilistic hybrid systems
Teige, Tino. - Oldenburg : IBIT - Universitätsbibliothek, 2012
|
|
|
|
987 |
Strongly typed and efficient functional reactive programming
Jeltsch, Wolfgang. - Cottbus : Universitätsbibliothek der BTU Cottbus, 2012
|
|
|
|
988 |
Structural Graph-based Metamodel Matching
Voigt, Konrad. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012
|
|
|
|
989 |
Structural treatment of time-varying dynamical system networks in the light of hybrid symmetries
Hage-Packhäuser, Sebastian. - Paderborn : Universitätsbibliothek, 2012
|
|
|
|
990 |
Subspace clustering for complex data
Günnemann, Stephan. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2012
|
|
Administration
