|
3611 |
Efficient state space exploration of reactive object-oriented programs Lettrari, Marc, 2005
|
|
|
3612 |
Efficient XML processing with tree automata Berlea, Alexandru, 2005
|
|
|
3613 |
Efficient zero knowledge proofs of knowledge for homomorphisms Bangerter, Endre, 2005
|
|
|
3614 |
Effiziente Signaturerzeugung durch Server-Unterstützung und Vorberechnung Merkle, Johannes, [2005]
|
|
|
3615 |
Effizienter interaktiver Entwurf von Klassifikationssystemen Müller, Tim-Oliver, 2005
|
|
|
3616 |
Ein Beitrag zur Problematik der Integration virtueller Maschinen Kugel, Rudolf, 2005
|
|
|
3617 |
Ein komponentenbasiertes Software-Architekturmodell zur Entwicklung betrieblicher Anwendungssysteme Robra, Christian, [2005]
|
|
|
3618 |
Ein Modell zur Beschreibung und Implementierung von Bildanalysefunktionen Herrmann, Stephan, 2005
|
|
|
3619 |
Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic choice Kutzner, Arne, [2005]
|
|
|
3620 |
Eine axiomatische Charakterisierung räumlicher Granularität Schmidtke, Hedda R., [2005]
|
|