1
Publicat 2015
Taula de continguts: ... Generation Tools for the B-Method Using Tests: a Case Study -- Software Validation via Model Animation...
Obtenir text complet
Electrònic eBook
2
Publicat 2014
Taula de continguts: ... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...
Obtenir text complet
Electrònic eBook
3
Publicat 2005
Taula de continguts: ... -- Intensional Encapsulations of Database Subsets via Genetic Programming -- Preferred Skyline: A Hybrid Approach...
Obtenir text complet
Electrònic eBook
4
Publicat 2010
Taula de continguts: ... Texture and Shape -- Constraints on Haptic Short-Term Memory -- Virtual Reality -- Design and Development...
Obtenir text complet
Electrònic eBook
5
Publicat 2010
Taula de continguts: ...EvoCOMNET Contributions -- Detection of DDoS Attacks via an Artificial Immune System-Inspired...
Obtenir text complet
Electrònic eBook
6
Publicat 2013
Taula de continguts: ... Weighted and Spaced Circular Antenna Arrays with Reduced Side Lobe Level and First Null Beamwidth Using...
Obtenir text complet
Electrònic eBook