Önerilen Konular
Önerilen Konular
Şunu mu demek istediniz:
interaction computation » interaction computational, intersection computation, interactive computation
computation programming » communication programming, computation programmatic, computing programming
mathematics arrays » mathematics arab, mathematics across, mathematics essays
arrays via » arrays a
interaction computation » interaction computational, intersection computation, interactive computation
computation programming » communication programming, computation programmatic, computing programming
mathematics arrays » mathematics arab, mathematics across, mathematics essays
arrays via » arrays a
1
Baskı/Yayın Bilgisi 2014
İçindekiler:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”Tam Metin Erişim
Elektronik
Ekitap
2
Baskı/Yayın Bilgisi 2015
İçindekiler:
“... Generation Tools for the B-Method Using Tests: a Case Study -- Software Validation via Model Animation...”Tam Metin Erişim
Elektronik
Ekitap
3
Baskı/Yayın Bilgisi 2007
İçindekiler:
“... on Fat Terrains -- Computing the Visibility Map of Fat Objects -- Session 6B -- Independent Sets...”Tam Metin Erişim
Elektronik
Ekitap
4
Baskı/Yayın Bilgisi 2015
İçindekiler:
“... with Time-varying Delays -- Computer Vision -- Representative Video Action Discovery Using Interactive Non...”Tam Metin Erişim
Elektronik
Ekitap
5
Baskı/Yayın Bilgisi 2007
İçindekiler:
“... in a Graph Using k-Means and Application to Protein Interactions Networks -- Species Clustering via...”Tam Metin Erişim
Elektronik
Ekitap