|
371 |
Minimal-invasive Neuübersetzung von Typen in lang laufenden Systemen
Schmidt, Patrick, 2011
|
|
|
|
372 |
Mixed reality in the loop
Stöcklein, Jörg. - Paderborn : Universitätsbibliothek, 2011
|
|
|
|
373 |
Model-based mutation testing for test generation and adequacy analysis
Hollmann, Axel. - Paderborn : Universitätsbibliothek, 2011
|
|
|
|
374 |
Modellbasierte Generierung von Benutzungsoberflächen
Wolff, Andreas. - Rostock : Universität Rostock, 2011
|
|
|
|
375 |
Modellierung und Techniken zur Optimierung von Multiagentensystemen in Zellularen Automaten
Ediger, Patrick. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2011
|
|
|
|
376 |
Modellierung und Verifikation von verteilten/parallelen Informationssystemen
Ali, Khaoula al-. - Ilmenau : Universitätsbibliothek Ilmenau, 2011
|
|
|
|
377 |
Multilaterally Secure Pervasive Cooperation
Weber, Stefan Georg. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2011
|
|
|
|
378 |
Multioperator Weighted Monadic Datalog
Stüber, Torsten. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011
|
|
|
|
379 |
Musterbasiertes Filtern von Schadprogrammen und Spam
Trinius, Philipp. - Mannheim : Universitätsbibliothek Mannheim, 2011
|
|
|
|
380 |
On Normalization and Type Checking for Tree Transducers
Friese, Sylvia. - München : Universitätsbibliothek der TU München, 2011
|
|
Administration
