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