1
Foilsithe 2015
Clár Ábhair: ... Generation Tools for the B-Method Using Tests: a Case Study -- Software Validation via Model Animation...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
2
Foilsithe 2014
Clár Ábhair: ... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
3
Foilsithe 2005
Clár Ábhair: ... -- Intensional Encapsulations of Database Subsets via Genetic Programming -- Preferred Skyline: A Hybrid Approach...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
4
Foilsithe 2010
Clár Ábhair: ... Texture and Shape -- Constraints on Haptic Short-Term Memory -- Virtual Reality -- Design and Development...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
5
Foilsithe 2010
Clár Ábhair: ...EvoCOMNET Contributions -- Detection of DDoS Attacks via an Artificial Immune System-Inspired...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
6
Foilsithe 2013
Clár Ábhair: ... Weighted and Spaced Circular Antenna Arrays with Reduced Side Lobe Level and First Null Beamwidth Using...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar