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