Producción científica
Buscar por:
Lista de capítulos de libros
| Publicación |
|
M.J. Hornos Barranco, M.D.M. Abad Grau, M.V. Hurtado Torres, M.I. López-Sánchez Huete, F. Molina-Ortiz, A. Muñoz-Ropa
and
J.J. Martínez-Parra,
"WEB-BASED LEARNING-SUPPORT SYSTEM FOR COMPUTER SCIENCE APPLIED TO BUSINESS", "LEARNING CONFERENCE 2005", 209-210, 2005
|
|
M.J. Hornos Barranco, R.A. Montes Soldado, M.V. Hurtado Torres
and
M.D.M. Abad Grau,
"E-LEARNING: NUEVAS TECNOLOGÍAS APLICADAS A LA FORMACIÓN EN LA EMPRESA", "FINANZAS, TECNOLOGIAS Y SISTEMAS DE INFORMACIÓN: LOS DESAFÍOS DEL SIGLO XXI", 615-633, 2004
|
|
A. Abelló-Gamazo, E. Rodríguez-Uoc, F. Saltor-Soler, M. Oliva-, C. Delgado Negrete, E. Garvi-Garcia
and
J. Samos Jimenez,
"ON OPERATIONS TO CONFORM OBJECT-ORIENTED SCHEMAS", "ENTERPRISE INFORMATION SYSTEMS V", 49-56, 2004
|
|
M. Gea-Megias, M.J. Rodriguez Fortiz, M.L. Rodriguez Almendros, P. Paderewski Rodriguez
and
R. López-Cózar-Delgado,
"SC@UT: PLATAFORMA PARA LA COMUNICACIÓN EN ENTORNOS UBICUOS ADAPTATIVOS APLICADOS A NIÑOS AUTISTAS", "INTERACCION 2004: V CONGRESO INTERACCIÓN PERSONA ORDENADOR", 40-47, 2004
|
|
M.M. Gallardo-Melgarejo, M.J. Hornos Barranco, J. Martinez-Cruz
and
P. Merino-Gomez,
"INTEGRATION OF INTERVAL LOGIC SPECIFICATIONS INTO THE MODEL CHECKER SPIN", "ACTAS DE LAS XII JORNADAS DE CONCURRENCIA Y SISTEMAS DISTRIBUIDOS", 317-322, 2004
|
|
J.L. Garrido Bullejos, M. Gea-Megias, M. Noguera García, M. Gonzalez-Laredo
and
J.A. Ibañez-Santorum,
"UNA PROPUESTA ARQUITECTÓNICA PARA EL DESARROLLO DE APLICACIONES COLABORATIOVAS", "INTERACCION 2004: V CONGRESO INTERACCIÓN PERSONA ORDENADOR", 164-171, 2004
|
|
E. Garvi-Garcia, J. Samos Jimenez
and
M. Torres-Gil,
"DEFINITION OF DERIVED CLASSES IN ODMG DATABASES", "DATABASE AND EXPERT SYSTEMS APPLICATIONS: 15TH INTERNATIONAL CONFERENCE, DEXA 2004, ZARAGOZA, SPAIN, AUGUST 30-SEPTEMBER 3, 2004", 644-653, 2004
|
|
M.J. Hornos Barranco
"TOWARDS A MORE INTUITIVE SPECIFICATION AND AUTOMATIC VERIFICATION OF SYSTEM PROPERTIES WITH FBT: A TOOL FOR TRANSLATING INTERVAL FORMULAS INTO BÜCHI AUTOMATA", "VERIFICATION AND VALIDATION OF ENTERPRISE INFORMATION SYSTEMS", 26-33, 2004
|
|
|
Última actualización del SICA: 10/01/2024
noviembre 2024
ANTERIOR