|
19591 |
Verifying Concurrent Systems with Symbolic Execution Balser, Michael. - Aachen : Shaker, 2006, 1. Auflage
|
|
|
19592 |
Versuche zum Lernen artikulierter Objekte aus Bildsequenzen Schäfer, Achim. - Aachen : Shaker, 2006, 1. Auflage
|
|
|
19593 |
Verteilte Ausführung hybrider System-Modelle auf heterogenen Rechnerplattformen Dreier, Rico, 2006
|
|
|
19594 |
Verteilte kooperative Wissensräume Bopp, Thomas, 2006
|
|
|
19595 |
Virtual machine support for aspect-oriented programming languages Haupt, Michael, [2006]
|
|
|
19596 |
Virtuelle Maschinen mit VMware und Microsoft Ahnert, Sven. - München : Pearson Deutschland, 2006
|
|
|
19597 |
Visuelle Objekterkennung in dynamischen Umgebungen Mayer, Gerd, 2006, [Online-Ausg.]
|
|
|
19598 |
VPN - Virtuelle Private Netzwerke Lipp, Manfred. - München : Pearson Deutschland, 2006
|
|
|
19599 |
Walter Hilperts Rundfunkarbeit Hamburg : Verl. Hans-Bredow-Inst., 2006
|
|
|
19600 |
Web and wireless geographical information systems Berlin : Springer, 2006
|
|