Suche
Facetten hinzufügen:
Wenden Sie Filter/Facetten an, um Ihre Suche zu verfeinern.
Treffer 1-3 von 3 (Suchzeit: 0.008 Sekunden).
- Zurück
- 1
- Weiter
Treffer Dokumente:
Erscheinungsdatum | Titel | Autor(en) |
---|---|---|
29-Apr-2015 | Verknüpfung von formaler Verifikation und modellgetriebener Entwicklung | Ammann, Christian |
9-Okt-2015 | Paralleles konturbasiertes Connected-Component-Labeling für 2D-Bilddaten mit OpenCL und Cuda | Wenke, Henning |
28-Okt-2015 | Scheduling of flow shops with synchronous movement | Waldherr, Stefan |