Capítulos de Libro (4) Publicaciones en las que ha participado algún/a investigador/a

2006

  1. 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

  2. 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

  3. 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

  4. 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