|
2981 |
Trace analysis - gain insight through modelchecking and cycle reduction
Kemper, Volker. - Dortmund : Universitätsbibliothek Dortmund, 2006
|
|
|
|
2982 |
Transformation based component architectures
Klein, Markus, 2006
|
|
|
|
2983 |
Transformation knowledge in pattern analysis with kernel methods
Haasdonk, Bernard, [2006]
|
|
|
|
2984 |
Transformations of specifications and proofs to support an evolutionary formal software development
Schairer, Axel, 2006
|
|
|
|
2985 |
Ubiquitous user modeling
Heckmann, Dominikus, [2006]
|
|
|
|
2986 |
Über die Sicherheit und Effizienz kryptographischer Verfahren in algebraischen Zahlkörpern
Meyer, Andreas Alfred, 2006
|
|
|
|
2987 |
Umgebungsmodellierung auf der Basis von Stereo-Kamerabildern für eine Telepräsenzanwendung
Passig, Georg, 2006
|
|
|
|
2988 |
UML basierte Zeitmodellierung für eingebettete Echtzeitsysteme
Dimitrow, Wassil. - Chemnitz : Universitätsbibliothek Chemnitz, 2006
|
|
|
|
2989 |
Unsupervised duplicate detection using sample non-duplicates
Lehti, Patrick, 2006
|
|
|
|
2990 |
Unterstützung des kooperativen Wissenserwerbs durch Hypervideo-Inhalte
Finke, Matthias, [2006]
|
|
Administration
