Ingeniería Informática: Recent submissions
Now showing items 641-660 of 701
-
Verificación formal en ACL2 del algoritmo de Buchberger
(2003-01-01) -
VocVille - A Casual Social Game for Learning Vocabulary
(2012-03-05) -
Interfaz gráfica para MuBPEL
(2012-03-01) -
Dominous: simulador libre de dominó
(2011-12-02) -
Balloon Breakers
(2011-12-02)
