(1 - 6 von 6
)
FMSPLE 2013: Formal Methods in Software Product Line Engineering
www.isf.cs.tu-bs.de
FMSPLE'13 @ TU Braunschweig
Nachwuchs-Teams freuen sich über neue TrikotsWohnstätte Krefeld
www.wohnstaette-krefeld.de
... die C2-Fußballer des TSV Bockum (Trainer: Maurice Beek), die F1-Kicker vom VfR Fischeln (Trainer: Serkan Yanar), die Handball-F-Jugend vom Hülser SV ...
Andrea Jürgens: Alle Bücher und Publikation zum Thema
buchfindr.de
... ( ) einer der beliebtesten und erfolgreichsten Sängerinnen im Deutschen Schlager. ..weiterlesen. Aktualisiert: Autor: Maurice Beek. › themen › andrea-juergens
LICS Newsletter 157
lics.siglog.org
Each submission must not exceed 8 pages in the LNCS/Springer proceeding WORKSHOP CO-CHAIRS Maurice ter Beek ISTI-CNR, Pisa, Italy Antonio ...
25th International Conference on Formal Methods for ...
ercim-news.ercim.eu
Oct 6, — The conference was chaired by Maurice ter Beek (ISTI-CNR, ... Following a tradition, Springer provided an award for the best FMICS paper. › joint-ercim-actions
FMICS : Formal Methods for Industrial Critical Systems
www.wikicfp.com
The conference proceedings will be published by Springer in the LNCS series. Contributions of the journal-first category ... Maurice ter Beek (ISTI-CNR, IT) › cfp › servlet › event.showcfp
sortiert nach Relevanz / Datum