Departament
Sistemas Informáticos y Computación
Capítols de llibre (4) Publicacions en què ha participat algun/a investigador/a
2006
-
A Formal Framework to Reduce Communications in Communication Systems
Innovative Internet Community Systems. 4th InternationalWorkshop, IICS 2004 Guadalajara, Mexico, June 21-23, 2004. Revised Papers (Verlag Berlin Heidelberg: SpringeR, 2006), pp. 69-80
-
A tool for interactive learning of data structures and algorithms
8th International Symposium on Computers in Education: proceedings : october 24-26th, León, Spain (Universidad de León), pp. 141-148
-
On using OpenMath for representing dynamic geometry constructions: extended abstract
Automated deduction in geometry: extended abstracts ([Vigo : Universidade de Vigo], D.L.), pp. 26-30
-
Sobre la accesibilidad del campus virtual UCM
8th International Symposium on Computers in Education: proceedings : october 24-26th, León, Spain (Universidad de León), pp. 27-35