Département
Sistemas Informáticos y Computación
Articles (6) Publications auxquelles un chercheur a participé
2010
-
A formal nethod (a networked formal method)
Innovations in Systems and Software Engineering, Vol. 6, Núm. 4, pp. 255-268
-
Adding remote computational capabilities to Dynamic Geometry Systems
Mathematics and Computers in Simulation, Vol. 80, Núm. 6, pp. 1177-1184
-
Algebraic simulations
Journal of Logic and Algebraic Programming, Vol. 79, Núm. 2, pp. 103-143
-
Applying RFD to construct optimal quality-investment trees
Journal of Universal Computer Science, Vol. 16, Núm. 14, pp. 1882-1901
-
Estrellas dobles: dobles nuevas sin telescopio
Astronomía, Núm. 130, pp. 64-65
-
Remote Symbolic Computation of Loci.
International Journal for Technology in Mathematics Education, Vol. 17, Núm. 3, pp. 135-140