Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive computational » interactive computationally, interactive computation, integrative computational
computational programming » computation programming, computational program, computing programming
mathematics arrays » mathematics arab, mathematics across, mathematics essays
arrays via » arrays a
interactive computational » interactive computationally, interactive computation, integrative computational
computational programming » computation programming, computational program, computing programming
mathematics arrays » mathematics arab, mathematics across, mathematics essays
arrays via » arrays a
1
Published 2014
Table of Contents:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”View full text
Electronic
eBook
2
Published 2015
Table of Contents:
“... Generation Tools for the B-Method Using Tests: a Case Study -- Software Validation via Model Animation...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... on Fat Terrains -- Computing the Visibility Map of Fat Objects -- Session 6B -- Independent Sets...”View full text
Electronic
eBook
4
Published 2015
Table of Contents:
“... with Time-varying Delays -- Computer Vision -- Representative Video Action Discovery Using Interactive Non...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... in a Graph Using k-Means and Application to Protein Interactions Networks -- Species Clustering via...”View full text
Electronic
eBook