|
991 |
A generator for type checkers Gast, Holger, 2005
|
|
|
992 |
A simultaneous execution scheme for database caching Jurk, Steffen, 2005
|
|
|
993 |
Adaptive Erkennung von Software-Entwurfsmängeln Kreimer, Jochen, 2005
|
|
|
994 |
Advanced concepts and applications of the UB-tree Widhopf-Fenk, Robert Josef, 2005
|
|
|
995 |
Aesthetics and automatic layout of UML class diagrams Eichelberger, Holger, 2005
|
|
|
996 |
An environment for compositional specification verification of complex embedded systems Wittke, Hartmut, 2005
|
|
|
997 |
Analysis and verification of systems with dynamically evolving structure König, Barbara, [2005]
|
|
|
998 |
Analysis of compositional conflicts in component based systems Leicher, Andreas, 2005
|
|
|
999 |
Arithmetik nicht-hyperelliptischer Kurven des Geschlechts 3 und ihre Anwendung in der Kryptographie Oyono, Roger, 2005
|
|
|
1000 |
Building group awareness in distributed software development projects Kobylinski, Rafal, 2005
|
|