|
37041 |
Towards a mobile temporal logic of actions Zappe, Júlia, 2005
|
|
|
37042 |
Towards a mobile temporal logic of actions Zappe, Júlia, 2005
|
|
|
37043 |
Towards decentralized recommender systems Ziegler, Cai-Nicolas, 2005
|
|
|
37044 |
Towards real-time novel view synthesis using visual hulls Li, Ming, 2005
|
|
|
37045 |
Trace based debugging and visualisation of concurrent Java programs with UML Mehner-Heindl, Katharina, 2005
|
|
|
37046 |
Trace based debugging and visualisation of concurrent Java programs with UML Mehner-Heindl, Katharina, 2005
|
|
|
37047 |
Typed Lambda Calculi and Applications Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
|
|
|
37048 |
Typsysteme für die Dienstvermittlung in offenen verteilten Systemen Puder, Arno, [2005]
|
|
|
37049 |
Über die Sicherheit und Effizienz kryptographischer Verfahren in algebraischen Zahlkörpern Meyer, Andreas Alfred, 2005
|
|
|
37050 |
Umgebungsmodellierung auf der Basis von Stereo-Kamerabildern für eine Telepräsenzanwendung Passig, Georg, 2005
|
|