Interactive Systems: Design, Specification, and Verification: 9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002

E-Learning and Games for Training, Education, Health and Sports: 7th International Conference, Edutainment 2012, and 3rd International Conference, GameDays 2012, Darmstadt, Germany, September 18-20, 2012, Proceedings

Transactions on Edutainment X