Torthaí cuardaigh - "Lecture notes"
-
61
-
62
-
63
-
64
-
65
Model checking software 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings
Foilsithe / Cruthaithe 2011Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource -
66
-
67
-
68
-
69
Languages, methodologies, and development tools for multi-agent systems Third International Workshop, LADS 2010, Lyon, France, August 30 - September 1, 2010, Revised Selected Paper...
Foilsithe / Cruthaithe 2011Available for University of the Philippines Diliman via SpringerLink. Click here to access
Electronic Resource -
70


