בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
interaction computational » interactions computational, interactive computational, interactive computationally
computational program » computational problem, compositional program, computational problems
program mathematics » program matematik, diagram mathematics, problem mathematics
mathematics arrays » mathematics arab, mathematics across, mathematics essays
arrays via » arrays a
interaction computational » interactions computational, interactive computational, interactive computationally
computational program » computational problem, compositional program, computational problems
program mathematics » program matematik, diagram mathematics, problem mathematics
mathematics arrays » mathematics arab, mathematics across, mathematics essays
arrays via » arrays a
1
יצא לאור 2014
תוכן הענינים:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2015
תוכן הענינים:
“... Generation Tools for the B-Method Using Tests: a Case Study -- Software Validation via Model Animation...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2007
תוכן הענינים:
“... on Fat Terrains -- Computing the Visibility Map of Fat Objects -- Session 6B -- Independent Sets...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2015
תוכן הענינים:
“... with Time-varying Delays -- Computer Vision -- Representative Video Action Discovery Using Interactive Non...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2007
תוכן הענינים:
“... in a Graph Using k-Means and Application to Protein Interactions Networks -- Species Clustering via...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני