|
3491 |
Über die Sicherheit und Effizienz kryptographischer Verfahren in algebraischen Zahlkörpern Meyer, Andreas Alfred, 2006
|
|
|
3492 |
Umgebungsmodellierung auf der Basis von Stereo-Kamerabildern für eine Telepräsenzanwendung Passig, Georg, 2006
|
|
|
3493 |
Unsupervised duplicate detection using sample non-duplicates Lehti, Patrick, 2006
|
|
|
3494 |
Unterstützung des kooperativen Wissenserwerbs durch Hypervideo-Inhalte Finke, Matthias, [2006]
|
|
|
3495 |
Untersuchungen zur sprachübergreifenden, bilingualen Suche mit Hilfe der Konzeptnetz-Technologie der SENTRAX-Engine Suriya Na Nhongkai, 2006
|
|
|
3496 |
Usability challenges of PKI Straub, Tobias, 2006
|
|
|
3497 |
Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme Wißpeintner, Alexander Karl, 2006
|
|
|
3498 |
Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
|
|
|
3499 |
Verified proof carrying code Wildmoser, Martin, 2006
|
|
|
3500 |
Verifying concurrent systems with symbolic execution Balser, Michael, [2006]
|
|