|
19641 |
Verifying concurrent systems with symbolic execution Balser, Michael, [2006]
|
|
|
19642 |
Verifying Concurrent Systems with Symbolic Execution Balser, Michael. - Aachen : Shaker, 2006, 1. Auflage
|
|
|
19643 |
Versuche zum Lernen artikulierter Objekte aus Bildsequenzen Schäfer, Achim. - Aachen : Shaker, 2006, 1. Auflage
|
|
|
19644 |
Verteilte Ausführung hybrider System-Modelle auf heterogenen Rechnerplattformen Dreier, Rico, 2006
|
|
|
19645 |
Verteilte kooperative Wissensräume Bopp, Thomas, 2006
|
|
|
19646 |
Virtual machine support for aspect-oriented programming languages Haupt, Michael, [2006]
|
|
|
19647 |
Virtuelle Maschinen mit VMware und Microsoft Ahnert, Sven. - München : Pearson Deutschland, 2006
|
|
|
19648 |
Visuelle Objekterkennung in dynamischen Umgebungen Mayer, Gerd, 2006, [Online-Ausg.]
|
|
|
19649 |
VPN - Virtuelle Private Netzwerke Lipp, Manfred. - München : Pearson Deutschland, 2006
|
|
|
19650 |
Walter Hilperts Rundfunkarbeit Hamburg : Verl. Hans-Bredow-Inst., 2006
|
|