|
19851 |
Biosignale der Pupille zur Steuerung intelligenter User-Interfaces Kerkau, Florian, 2005
|
|
|
19852 |
Bounded model checking of pointer programs Charatonik, Witold. - Saarbrücken : MPI Informatik, Bibliothek & Dokumentation, 2005
|
|
|
19853 |
Building group awareness in distributed software development projects Kobylinski, Rafal, 2005
|
|
|
19854 |
Challenges and applications of assembly level software model checking Mehler, Tilman, 2005
|
|
|
19855 |
C++ Schumann, Hans-Georg. - Osnabrück : KnowWare, 2005, 1. Ausg., 1. Aufl.
|
|
|
19856 |
Co-located interaction concepts for large screen displays Steinicke, Frank. - Münster : Univ., [2005]
|
|
|
19857 |
Compensating hyperarticulation for automatic speech recognition Soltau, Hagen, 2005
|
|
|
19858 |
Complete abtsract operational semantics for the web service business process execution language Fahland, Dirk. - Berlin : Professoren des Inst. für Informatik, 2005
|
|
|
19859 |
Complexity penalized segmentations in 2D Friedrich, Felix, 2005
|
|
|
19860 |
Compositional scheduling analysis using standard event models Richter, Kai Robert, 2005
|
|