Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interaction constraints » information constraints, informational constraints, contestations constraints
constraints programming » constraint programming, constrained programming, constraint programing
programming programming » programming programmed, programming program
programming array » programming coarrays, programming aaron, programming arm
array via » arrays via, array a, array ara
interaction constraints » information constraints, informational constraints, contestations constraints
constraints programming » constraint programming, constrained programming, constraint programing
programming programming » programming programmed, programming program
programming array » programming coarrays, programming aaron, programming arm
array via » arrays via, array a, array ara
1
Publicado 2014
Table of Contents:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2015
Table of Contents:
“... Generation Tools for the B-Method Using Tests: a Case Study -- Software Validation via Model Animation...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2005
Table of Contents:
“... -- Intensional Encapsulations of Database Subsets via Genetic Programming -- Preferred Skyline: A Hybrid Approach...”Ligazón do recurso
Electrónico
eBook
4
Publicado 2010
Table of Contents:
“... Texture and Shape -- Constraints on Haptic Short-Term Memory -- Virtual Reality -- Design and Development...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2010
Table of Contents:
“...EvoCOMNET Contributions -- Detection of DDoS Attacks via an Artificial Immune System-Inspired...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2013
Table of Contents:
“... Weighted and Spaced Circular Antenna Arrays with Reduced Side Lobe Level and First Null Beamwidth Using...”Ligazón do recurso
Electrónico
eBook