UGR
  |
> >
None
(Ref. TIC-230)
21
noviembre
2024
noviembre 2024
<- ->
L M X J V S D
1 2 3
4 5 6 7 8 9 10
11 12 13 14 15 16 17
18 19 20 21 22 23 24
25 26 27 28 29 30

Producción científica

Buscar por:



Lista de libros

Publicación
M.J. Hornos Barranco "DESDE ESPECIFICACIONES LÓGICAS DE INTERVALOS A AUTÓMATAS DE PROPIEDAD: UNA CONSTRUCCIÓN TABLEAU PARA SU APLICACIÓN EN COMPROBACIÓN DE MODELOS ON-THE-FLY", 2012
M.J. Hornos Barranco and M.V. Luzón Garcia,  "OFIMÁTICA: SUPUESTOS PRÁCTICOS", 2011
M.J. Hornos Barranco and M.V. Luzón Garcia,  "OFIMÁTICA: SUPUESTOS PRÁCTICOS", 2011
J.A. Aragon Correa , M. Bermudez Edo , E. Cordón Pozo , N.E. Hurtado Torres , M.V. Hurtado Torres and E.A. Rubio Lopez,  "DESARROLLO DE SISTEMAS VIRTUALES PARA LA GENERALIZACION DE COMPETENCIAS RELACIONADAS CON LA SOSTENIBILIDAD AMBIENTAL EN LOS ESTUDIOS DE ECONOMÍA E INGENIERÍA", 2010
M.J. Hornos Barranco , M.V. Luzón Garcia and N. Padilla Zea,  "OFIMÁTICA PRÁCTICA: EJERCICIOS PARA REALIZAR EN ORDENADOR", 2010
M.J. Hornos Barranco , M.V. Hurtado Torres , R.A. Carrasco Gonzaléz , M. Noguera García and M.I. López Sánchez Huete,  "CASOS PRÁCTICOS DE GESTIÓN TURÍSTICA PARA RESOLVER CON ORDENADOR", 2010
M.J. Hornos Barranco and M.V. Luzón Garcia,  "OFIMÁTICA PRÁCTICA: EJERCICIOS PARA REALIZAR EN ORDENADOR", 2010
J.L. Garrido Bullejos "NEW TRENDS ON HUMAN-COMPUTER INTERACTION: RESEARCH, DEVELOPMENT, NEW TOOLS AND METHODS", 2009

Última actualización del SICA: 10/01/2024

Desarrollado por: