|
7541 |
Adaptive Erkennung von Software-Entwurfsmängeln Kreimer, Jochen, 2005
|
|
|
7542 |
Advanced concepts and applications of the UB-tree Widhopf-Fenk, Robert Josef, 2005
|
|
|
7543 |
Advances in Information Systems Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
|
|
|
7544 |
Aesthetics and automatic layout of UML class diagrams Eichelberger, Holger, 2005
|
|
|
7545 |
An environment for compositional specification verification of complex embedded systems Wittke, Hartmut, 2005
|
|
|
7546 |
Analysis and verification of systems with dynamically evolving structure König, Barbara, [2005]
|
|
|
7547 |
Analysis of compositional conflicts in component based systems Leicher, Andreas, 2005
|
|
|
7548 |
Applications of Declarative Programming and Knowledge Management Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
|
|
|
7549 |
Arithmetik nicht-hyperelliptischer Kurven des Geschlechts 3 und ihre Anwendung in der Kryptographie Oyono, Roger, 2005
|
|
|
7550 |
Building group awareness in distributed software development projects Kobylinski, Rafal, 2005
|
|