InstitucionesPortal Institucional (Dialnet CRIS)Identificadores de autorPeriodo de publicación recogido
|
|
|
Learning the Basics of Cryptography with Practical Examples
Shab E. Noor, Ali Ahmad, Vanessa Martos Núñez, Miguel J. Hornos Barranco
ReiDoCrea: Revista electrónica de investigación y docencia creativa, ISSN-e 2254-5883, Vol. 11, 2022, págs. 274-281
Miguel J. Hornos Barranco, María Isabel López Sánchez-Huete, María Visitación Hurtado Torres, María del Mar Abad Grau, Fernando Molina Ortiz, Juan José Martínez Parra, Antonio Muñoz Ropa
Gerencia Tecnológica Informática, ISSN 1657-8236, Vol. 7, Nº. 19, 2008, págs. 11-27
Propuesta arquitectónica para el desarrollo de aplicaciones colaborativas de calidad
Mario Anzures García, Miguel J. Hornos Barranco, Patricia Paderewski Rodríguez
Gerencia Tecnológica Informática, ISSN 1657-8236, Vol. 5, Nº. 13, 2006, págs. 31-39
La gestión de la información como clave para adquirir ventaja competitiva: los MIS
María del Mar Abad Grau, Miguel J. Hornos Barranco, Francisco Araque Cuenca
Alta dirección, ISSN 0002-6549, Año nº 33, Nº 199, 1998, págs. 37-44
Miguel J. Hornos Barranco, María del Mar Abad Grau, María Visitación Hurtado Torres
Dirección y organización: Revista de dirección, organización y administración de empresas, ISSN 1132-175X, Nº 20, 1998, págs. 38-44
Hacia un nuevo modelo de uso de Moodle pra la comunidad universitaria
Rosana Montes Soldado, Ignacio Blanco Medina, Elías Melchor Ferrer, Natalia Padilla Zea, Patricia Paderewski Rodríguez, Miguel J. Hornos Barranco, Pedro Ureña Gómez-Moreno
Comunicación actual: redes sociales y lo 2.0 y 3.0 / coord. por Juan Enrique Gonzálvez Vallés, Mónica Valderrama Santomé, 2014, págs. 401-412
Arquitectura genérica basada en SOA para sistemas CSCW
Mario Anzures García, Patricia Paderewski Rodríguez, Miguel J. Hornos Barranco
Actas del II Congreso Iberoamericano sobre Computación Ubicua: CICU 06, Alcalá de Henares. Junio 7-9 de 2006 / José María Gutiérrez Martínez (ed. lit.), José Ramón Hilera González (ed. lit.), Roberto Barchino Plata (ed. lit.), José Antonio Gutiérrez de Mesa (ed. lit.), José Javier Martínez Herráiz (ed. lit.), Salvador Otón Tortosa (ed. lit.), Luis Bengochea Martínez (ed. lit.), 2006, ISBN 84-8138-703-7, págs. 209-216
SOA-based generic architecture for CSCW systems
Mario Anzures García, Patricia Paderewski Rodríguez, Miguel J. Hornos Barranco
Proceedings of I International Conference on Ubiquitous Computing: ICUC 06; Alcalá de Henares, Spain, june 7-9, 2006 / coord. por José Ramón Hilera González, Roberto Barchino Plata, José Antonio Gutiérrez de Mesa, José María Gutiérrez Martínez, José Javier Martínez Herráiz, Salvador Otón Tortosa, Luis Bengochea Martínez, 2006, ISBN 84-8138-704-5, págs. 117-124
FBT (FIL to Büchi automaton translator): herramienta para especificar y verificar sistemas concurrentes mediante fórmulas de intervalos
Manuel Capel Tuñón, Miguel J. Hornos Barranco
Concurrencia y sistemas distribuidos: actas de las XI Jornadas de Concurrencia / coord. por Miguel Pérez Francisco, Pablo Boronat Pérez, 2003, ISBN 84-8021-434-1, págs. 221-236
Manuel Capel Tuñón, Miguel J. Hornos Barranco
JISBD 2001. Jornadas de ingeniería del software y bases de datos: 21 y 23 de noviembre de 2001. Almagro (Ciudad Real) / Arantza Illarramendi Echave (ed. lit.), Óscar Díaz García (ed. lit.), Mario G. Piattini Velthuis (ed. lit.), 2001, ISBN 84-699-6275-2, págs. 375-389
Tecnologías de información y la comunicación en el ámbito de las Pymes
María del Mar Abad Grau, Miguel J. Hornos Barranco, María Visitación Hurtado Torres
La pequeña y mediana empresa en el umbral del siglo XXI / Emilio Pablo Díez de Castro (aut.), 2000, ISBN 8433827340, págs. 335-351
Implementación de una herramienta de especificación y validación para sistemas reactivos
Miguel J. Hornos Barranco, Manuel Capel Tuñón
III Jornadas de Informática. Actas: El Puerto de Santa María (Cádiz), 14 al 18 de julio 1.997 [sic] / Juan Carlos Torres Cantero (dir. congr.), 1997, ISBN 84-8498-463-X, págs. 21-30
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"
Miguel J. Hornos Barranco
[Granada] : Editorial de la Universidad de Granada, 2012. ISBN 978-84-694-9335-9
Actas del II Simposio en Desarrollo de Software: (SDS 2008)
Juan Antonio Holgado Terriza, Miguel J. Hornos Barranco, Ramón López-Cózar Delgado
Universidad de Granada, Departamento de Lenguajes y Sistemas Informáticos, 2008. ISBN 978-84-96856-71-4
Miguel J. Hornos Barranco
[Granada] : [Copicentro Granada], [2007]. ISBN 84-934971-6-9
Ofimática: cuaderno de prácticas
Miguel J. Hornos Barranco
[Granada] : [Copicentro Granada], [2007]. ISBN 84-96856-15-1
Buzón de quejas y sugerencias de la Universidad de Granada: manual de usuario
Miguel J. Hornos Barranco, María del Mar Fuentes Fuentes, Carlos A. Albacete Sáez
Copicentro Granada, 2006. ISBN 84-935058-9-7
Informática aplicada a la gestión de la empresa
Antonio Jesús Guevara Plaza, María del Mar Abad Grau, Andrés Luis Aguayo Maldonado, R. M. Ayala Palenzuela, José Luis Caro Herrero, Antonio Corral Liria, Manuel F. Bertoa, Miguel J. Hornos Barranco, María Visitación Hurtado Torres, Luis Martínez López, Rosana Montes Soldado, María Dolores Muñoz Vicente
Ediciones Pirámide. ISBN 978-84-368-1854-3
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
Miguel J. Hornos Barranco
Tesis doctoral dirigida por Manuel Capel Tuñón (dir. tes.). Universidad de Granada (2002).
Enfoque metodológico semántico basado en un modelo arquitectónico para el desarrollo de groupware
Tesis doctoral dirigida por Miguel J. Hornos Barranco (dir. tes.), Patricia Paderewski Rodríguez (dir. tes.). Universidad de Granada (2017).
Tesis doctoral dirigida por Ramón Carrasco (dir. tes.), Miguel J. Hornos Barranco (dir. tes.), Enrique Herrera Viedma (dir. tes.). Universidad de Granada (2016).
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados