|
411 |
Data-Centric Security with Attribute-Based Encryption
Müller, Sascha. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2011
|
|
|
|
412 |
Deductive verification of object-oriented software
Weiß, Benjamin. - Karlsruhe : KIT Scientific Publishing, 2011
|
|
|
|
413 |
Deklarative Verarbeitung von Datenströmen in Sensornetzwerken
Klan, Daniel. - Ilmenau : Universitätsbibliothek Ilmenau, 2011
|
|
|
|
414 |
Der Artbegriff in der Genetischen Programmierung
Brucherseifer, Eva. - Aachen : Shaker, 2011, 1. Aufl., neue Ausg.
|
|
|
|
415 |
Design and Analysis of a Generic VLIW Processor for Multimedia Applications
Payá Vayá, Guillermo. - Aachen : Shaker, 2011, 1. Aufl., neue Ausg.
|
|
|
|
416 |
Design and Analysis of Opaque Signatures
Aimani, Laila El. - Bonn : Universitäts- und Landesbibliothek Bonn, 2011
|
|
|
|
417 |
Design and Operation of Efficient Self-Organizing Systems
Kasinger, Holger. - Augsburg : Universität Augsburg, 2011
|
|
|
|
418 |
Design Patterns of Parallel Control Systems
Stellwag, Philippe Antoine. - Erlangen : Universitätsbibliothek der Universität Erlangen-Nürnberg, 2011
|
|
|
|
419 |
Designing Round-Trip Systems by Change Propagation and Model Partitioning
Seifert, Mirko. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011
|
|
|
|
420 |
Designing Usable and Secure Authentication Mechanisms for Public Spaces
De Luca, Alexander. - München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2011
|
|
Administration
