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