Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
interaction computational » interactions computational, interactive computational, interactive computationally
computational programming » computation programming, computational program, computing programming
mathematics arrays » mathematics arab, mathematics across, mathematics essays
arrays via » arrays a
interaction computational » interactions computational, interactive computational, interactive computationally
computational programming » computation programming, computational program, computing programming
mathematics arrays » mathematics arab, mathematics across, mathematics essays
arrays via » arrays a
1
Veröffentlicht 2014
Inhaltsangabe:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”Volltext
Elektronisch
E-Book
2
Veröffentlicht 2015
Inhaltsangabe:
“... Generation Tools for the B-Method Using Tests: a Case Study -- Software Validation via Model Animation...”Volltext
Elektronisch
E-Book
3
Veröffentlicht 2007
Inhaltsangabe:
“... on Fat Terrains -- Computing the Visibility Map of Fat Objects -- Session 6B -- Independent Sets...”Volltext
Elektronisch
E-Book
4
Veröffentlicht 2015
Inhaltsangabe:
“... with Time-varying Delays -- Computer Vision -- Representative Video Action Discovery Using Interactive Non...”Volltext
Elektronisch
E-Book
5
Veröffentlicht 2007
Inhaltsangabe:
“... in a Graph Using k-Means and Application to Protein Interactions Networks -- Species Clustering via...”Volltext
Elektronisch
E-Book