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...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני