|
441 |
Informationskonsistenz im föderativen Identitätsmanagement: Modellierung und Mechanismen Höllrigl, Thorsten. - Karlsruhe : KIT Scientific Publishing, 2011
|
|
|
442 |
Interprocedural Analysis of Low-Level Code Flexeder, Andrea. - München : Universitätsbibliothek der TU München, 2011
|
|
|
443 |
Interprocedural Polynomial Invariants Petter, Michael. - München : Verlag Dr. Hut, 2011
|
|
|
444 |
Join point designation diagrams Stein, Dominik, 2011
|
|
|
445 |
Just-in-time processor customization on the feasibility and limitations of FPGA-based dynamically reconfigurable instruction set architectures Grad, Mariusz. - Paderborn : Universitätsbibliothek, 2011
|
|
|
446 |
Justified test foci definition an empirical approach Illes-Seifert, Timea. - Heidelberg : Universitätsbibliothek Heidelberg, 2011
|
|
|
447 |
Kohärenzprüfung von Verhaltensspezifikationen gegen spezifische Eigenschaften des operationellen Kontexts Weyer, Thorsten. - Duisburg : Universitätsbibliothek Duisburg-Essen, 2011
|
|
|
448 |
Kompositionale Entwicklung domänenspezifischer Sprachen Völkel, Steven. - Aachen : Shaker, 2011, 1. Aufl., neue Ausg.
|
|
|
449 |
Konzepte der internetbasierten Gerätesteuerung Hoffmann, Gunnar. - Freiberg : Technische Universitaet Bergakademie Freiberg Universitaetsbibliothek "Georgius Agricola", 2011
|
|
|
450 |
Kooperative Angriffserkennung in drahtlosen Ad-hoc- und Infrastrukturnetzen Groß, Stephan. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011
|
|