|
2491 |
Formal specification of a simple operating system Bogan, Sebastian, 2008, [Online-Ausg.]
|
|
|
2492 |
Formal verification of recursive predicates Bubel, Richard, [2008]
|
|
|
2493 |
Formale Analyse- und Verifikationsparadigmen für ausgewählte verteilte Splicing-Systeme Hofmann, Christian, 2008
|
|
|
2494 |
Formalsprachliche Aspekte von XML Wendlandt, Matthias, 2008
|
|
|
2495 |
Format independence provision of audio and video data in multimedia database management systems Suchomski, Maciej, 2008
|
|
|
2496 |
Fundamental models and algorithms for a distributed reputation system Engler, Michael, [2008]
|
|
|
2497 |
Funktionale Langzeitarchivierung digitaler Objekte Welte, Randolph, 2008, [Online-Ausg.]
|
|
|
2498 |
Fuzzy operator trees for modeling utility functions Yu Yi, 2008
|
|
|
2499 |
Generating meaningful test databases Binnig, Carsten, 2008
|
|
|
2500 |
Generierung aufgabenbasierter dialogorientierter Benutzerschnittstellen von Web-Anwendungen Betermieux, Stefan, 2008
|
|