|
1871 |
Verallgemeinertes Rahmenwerk zur constraintbasierten Testdatenerzeugung aus Programmflussgraphen Gerlich, Ralf, 2009
|
|
|
1872 |
Verbesserung, Lokalisierung und Entzerrung von Textdokumentaufnahmen Block-Berlitz, Marco. - Berlin : Freie Universität Berlin, 2009
|
|
|
1873 |
Verfahren und Werkzeuge zur Leistungsmessung, -analyse und -bewertung der Ein-, Ausgabeeinheiten von Rechensystemen Versick, Daniel. - [Rostock] : [Univ.-Bibliothek], 2009, [Online-Ausg.]
|
|
|
1874 |
Vergleich von Lehransätzen für die Ausbildung in IT-Sicherheit Mink, Martin, 2009, [Online-Ausg.]
|
|
|
1875 |
Verification of second-order functional programs Aderhold, Markus Axel, 2009
|
|
|
1876 |
Verification of temporal properties in embedded software Lettnin, Djones, 2009
|
|
|
1877 |
Video multicast in peer-to-peer networks Asís López Fuentes, Francisco de, 2009
|
|
|
1878 |
ViPER: visual perception based information extraction of structured web content Simon, Kai Florian, 2009
|
|
|
1879 |
Virtual environments for grid computing Wang, Lizhe. - Karlsruhe : KIT Scientific Publishing, 2009
|
|
|
1880 |
Virtualisierung von Mehrprozessorsystemen mit Echtzeitanwendungen Kaiser, Robert, 2009
|
|