|
461 |
Modellierung und Techniken zur Optimierung von Multiagentensystemen in Zellularen Automaten
Ediger, Patrick. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2011
|
|
|
|
462 |
Modellierung und Verifikation von verteilten/parallelen Informationssystemen
Ali, Khaoula al-. - Ilmenau : Universitätsbibliothek Ilmenau, 2011
|
|
|
|
463 |
Multilaterally Secure Pervasive Cooperation
Weber, Stefan Georg. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2011
|
|
|
|
464 |
Multioperator Weighted Monadic Datalog
Stüber, Torsten. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011
|
|
|
|
465 |
Musterbasiertes Filtern von Schadprogrammen und Spam
Trinius, Philipp. - Mannheim : Universitätsbibliothek Mannheim, 2011
|
|
|
|
466 |
On Normalization and Type Checking for Tree Transducers
Friese, Sylvia. - München : Universitätsbibliothek der TU München, 2011
|
|
|
|
467 |
Operation-based Model Evolution
Kögel, Maximilian. - München : Verlag Dr. Hut, 2011
|
|
|
|
468 |
Payment Processes for Identity Federations: The SAML-based Payment Approach
Lutz, David J.. - Aachen : Shaker, 2011, 1. Auflage
|
|
|
|
469 |
Peer-to-peer based parallel web computing
Gehweiler, Joachim. - Paderborn : Universitätsbibliothek, 2011
|
|
|
|
470 |
Performance modeling and analysis in high-performance reconfigurable computing
Schumacher, Tobias. - Paderborn : Universitätsbibliothek, 2011
|
|
Administration
