|
2301 |
User interface specification for interactive software systems Memmel, Thomas, 2009
|
|
|
2302 |
Variational correlation and decomposition methods for particle image velocimetry Becker, Florian, 2009
|
|
|
2303 |
Verallgemeinertes Rahmenwerk zur constraintbasierten Testdatenerzeugung aus Programmflussgraphen Gerlich, Ralf, 2009
|
|
|
2304 |
Verbesserung, Lokalisierung und Entzerrung von Textdokumentaufnahmen Block-Berlitz, Marco. - Berlin : Freie Universität Berlin, 2009
|
|
|
2305 |
Verfahren und Werkzeuge zur Leistungsmessung, -analyse und -bewertung der Ein-, Ausgabeeinheiten von Rechensystemen Versick, Daniel. - [Rostock] : [Univ.-Bibliothek], 2009, [Online-Ausg.]
|
|
|
2306 |
Vergleich von Lehransätzen für die Ausbildung in IT-Sicherheit Mink, Martin, 2009, [Online-Ausg.]
|
|
|
2307 |
Verification of second-order functional programs Aderhold, Markus Axel, 2009
|
|
|
2308 |
Verification of temporal properties in embedded software Lettnin, Djones, 2009
|
|
|
2309 |
Video multicast in peer-to-peer networks Asís López Fuentes, Francisco de, 2009
|
|
|
2310 |
ViPER: visual perception based information extraction of structured web content Simon, Kai Florian, 2009
|
|