|
4361 |
Ubiquitous user modeling Heckmann, Dominikus. - Berlin : Aka, 2006
|
|
|
4362 |
Understanding ad hoc networks O'Dell, Regina. - Konstanz : Hartung-Gorre, 2006, 1. ed.
|
|
|
4363 |
Unsupervised duplicate detection using sample non-duplicates Lehti, Patrick, 2006
|
|
|
4364 |
Usability challenges of PKI Straub, Tobias, 2006
|
|
|
4365 |
Variational fluid motion estimation with physical priors Ruhnau, Paul, 2006
|
|
|
4366 |
Verbesserte prozedurale Programmiersprachen Heinlein, Christian, 2006
|
|
|
4367 |
Vereinheitlichte Spezifikation von Komponenten Overhage, Sven, 2006
|
|
|
4368 |
Verhaltensinvariante Transformation von Entwurfsmodellen reaktiver Systeme Wißpeintner, Alexander Karl, 2006
|
|
|
4369 |
Verification of sequential imperative programs in Isabelle-HOL Schirmer, Norbert, 2006
|
|
|
4370 |
Verified proof carrying code Wildmoser, Martin, 2006
|
|