|
3061 |
Efficient state space exploration of reactive object-oriented programs Lettrari, Marc, 2005
|
|
|
3062 |
Efficient XML processing with tree automata Berlea, Alexandru, 2005
|
|
|
3063 |
Efficient zero knowledge proofs of knowledge for homomorphisms Bangerter, Endre, 2005
|
|
|
3064 |
Effiziente Signaturerzeugung durch Server-Unterstützung und Vorberechnung Merkle, Johannes, [2005]
|
|
|
3065 |
Effizienter interaktiver Entwurf von Klassifikationssystemen Müller, Tim-Oliver, 2005
|
|
|
3066 |
Ein Beitrag zur Problematik der Integration virtueller Maschinen Kugel, Rudolf, 2005
|
|
|
3067 |
Ein erweiterbares System für die Spezifikation und Generierung interaktiver Selbsttestaufgaben Widera, Manfred. - Hagen : FernUniversität in Hagen, 2005
|
|
|
3068 |
Ein komponentenbasiertes Software-Architekturmodell zur Entwicklung betrieblicher Anwendungssysteme Robra, Christian, [2005]
|
|
|
3069 |
Ein Modell zur Beschreibung und Implementierung von Bildanalysefunktionen Herrmann, Stephan, 2005
|
|
|
3070 |
Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic choice Kutzner, Arne, [2005]
|
|