Topaicí Molta laistigh de do chuardach.
Topaicí Molta laistigh de do chuardach.
Cuardaigh malartuithe:
interactions constraints » interaction constraints, intersection constraints, international constraints
constraints programming » constraint programming, constrained programming, constraint programing
programming programmed » processing programmed
programmed array » programmable array, programmed manual, programmed graph
array via » arrays via, array a, array ara
interactions constraints » interaction constraints, intersection constraints, international constraints
constraints programming » constraint programming, constrained programming, constraint programing
programming programmed » processing programmed
programmed array » programmable array, programmed manual, programmed graph
array via » arrays via, array a, array ara
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