Chủ đề được đề xuất trong tìm kiếm của bạn.
Chủ đề được đề xuất trong tìm kiếm của bạn.
Tìm kiếm thay thế:
interactive computation » interactive computing, interactive simulation, interactive communications
computation programming » communication programming, computation programmatic, computing programming
mathematics arrays » mathematics arab, mathematics across, mathematics essays
arrays via » arrays a
interactive computation » interactive computing, interactive simulation, interactive communications
computation programming » communication programming, computation programmatic, computing programming
mathematics arrays » mathematics arab, mathematics across, mathematics essays
arrays via » arrays a
1
Được phát hành 2014
Mục lục:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”lấy văn bản
Điện tử
eBook
2
Được phát hành 2015
Mục lục:
“... Generation Tools for the B-Method Using Tests: a Case Study -- Software Validation via Model Animation...”lấy văn bản
Điện tử
eBook
3
Được phát hành 2007
Mục lục:
“... on Fat Terrains -- Computing the Visibility Map of Fat Objects -- Session 6B -- Independent Sets...”lấy văn bản
Điện tử
eBook
4
Được phát hành 2015
Mục lục:
“... with Time-varying Delays -- Computer Vision -- Representative Video Action Discovery Using Interactive Non...”lấy văn bản
Điện tử
eBook
5
Được phát hành 2007
Mục lục:
“... in a Graph Using k-Means and Application to Protein Interactions Networks -- Species Clustering via...”lấy văn bản
Điện tử
eBook