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