|
2801 |
Efficient state space exploration of reactive object-oriented programs Lettrari, Marc, 2005
|
|
|
2802 |
Efficient state space exploration of reactive object-oriented programs Lettrari, Marc, 2005
|
|
|
2803 |
Efficient XML processing with tree automata Berlea, Alexandru, 2005
|
|
|
2804 |
Efficient XML processing with tree automata Berlea, Alexandru, 2005
|
|
|
2805 |
Efficient zero knowledge proofs of knowledge for homomorphisms Bangerter, Endre, 2005
|
|
|
2806 |
Effiziente Signaturerzeugung durch Server-Unterstützung und Vorberechnung Merkle, Johannes, [2005]
|
|
|
2807 |
Ein Beitrag zur Problematik der Integration virtueller Maschinen Kugel, Rudolf, 2005
|
|
|
2808 |
Ein Beitrag zur Problematik der Integration virtueller Maschinen Kugel, Rudolf, 2005
|
|
|
2809 |
Ein komponentenbasiertes Software-Architekturmodell zur Entwicklung betrieblicher Anwendungssysteme Robra, Christian, [2005]
|
|
|
2810 |
Ein nichtdeterministischer call-by-need Lambda-Kalkül mit erratic choice Kutzner, Arne, [2005]
|
|