|
7531 |
A generator for type checkers Gast, Holger, 2005
|
|
|
7532 |
A lightweight formal method for the prediction of non-functional system properties Barner, Jörg. - Erlangen : Inst. für Informatik, 2005
|
|
|
7533 |
A model of visual motion perception Bayerl, Pierre, 2005
|
|
|
7534 |
A model of visual motion perception Bayerl, Pierre, 2005, [Online-Ausg.]
|
|
|
7535 |
A simultaneous execution scheme for database caching Jurk, Steffen, 2005
|
|
|
7536 |
A simultaneous execution scheme for database caching Jurk, Steffen, 2005
|
|
|
7537 |
A software toolkit and authoring tools for user interfaces in ubiquitous augmented reality Sandor, Christian, 2005
|
|
|
7538 |
A software toolkit and authoring tools for user interfaces in ubiquitous augmented reality Sandor, Christian, 2005
|
|
|
7539 |
Ad-hoc groups in mobile communities Groh, Georg, 2005
|
|
|
7540 |
Ad-hoc groups in mobile communities-detection, modeling and applications Groh, Georg, 2005
|
|