|
20021 |
Unifying Themes in Complex Systems Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
|
|
|
20022 |
Unifying Themes in Complex Systems Berlin, Heidelberg : Springer Berlin Heidelberg, 2006
|
|
|
20023 |
Unsupervised duplicate detection using sample non-duplicates Lehti, Patrick, 2006
|
|
|
20024 |
Unterstützung des kooperativen Wissenserwerbs durch Hypervideo-Inhalte Finke, Matthias, [2006]
|
|
|
20025 |
Untersuchungen zur sprachübergreifenden, bilingualen Suche mit Hilfe der Konzeptnetz-Technologie der SENTRAX-Engine Suriya Na Nhongkai, 2006
|
|
|
20026 |
Usability challenges of PKI Straub, Tobias, 2006
|
|
|
20027 |
Variations on constants Berlin : Springer, 2006
|
|
|
20028 |
Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme Wißpeintner, Alexander Karl, 2006
|
|
|
20029 |
Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
|
|
|
20030 |
Verified proof carrying code Wildmoser, Martin, 2006
|
|