|
7501 |
A generator for type checkers Gast, Holger, 2005
|
|
|
7502 |
A lightweight formal method for the prediction of non-functional system properties Barner, Jörg. - Erlangen : Inst. für Informatik, 2005
|
|
|
7503 |
A model of visual motion perception Bayerl, Pierre, 2005
|
|
|
7504 |
A model of visual motion perception Bayerl, Pierre, 2005, [Online-Ausg.]
|
|
|
7505 |
A simultaneous execution scheme for database caching Jurk, Steffen, 2005
|
|
|
7506 |
A simultaneous execution scheme for database caching Jurk, Steffen, 2005
|
|
|
7507 |
A software toolkit and authoring tools for user interfaces in ubiquitous augmented reality Sandor, Christian, 2005
|
|
|
7508 |
A software toolkit and authoring tools for user interfaces in ubiquitous augmented reality Sandor, Christian, 2005
|
|
|
7509 |
Ad-hoc groups in mobile communities Groh, Georg, 2005
|
|
|
7510 |
Ad-hoc groups in mobile communities-detection, modeling and applications Groh, Georg, 2005
|
|