1
Foilsithe 2007
Clár Ábhair: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
2
Foilsithe 2006
Clár Ábhair: ... Tutoring Systems -- Diagnostic of Programs for Programming Learning Tools -- Intelligent Learning Objects...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar
3
Foilsithe 2010
Clár Ábhair: ... Definitions of DDL to Support Occlusions and Conditional Post-conditions -- Preservative Translations between...
Faigh an téacs iomlán
Leictreonach ríomhLeabhar