Juan José Moreno Navarro

• Artículos de revistas (4)
• Colaboraciones en obras colectivas (9)
• Libros (1)
• Tesis (1)
• Tesis dirigidas (3)
• Coordinación (2 publicaciones)

• Artículos de revistas

  • Seleccionado

    Una experiencia real de uso de Micro:bit para el pensamiento computacional en educación secundaria

    Juan José Moreno Navarro, Manish Raj Moriche

    Actas de las Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI), ISSN 2531-0607, Nº. 9 (Actas de las XXX Jornadas sobre Enseñanza Universitaria de la Informática (La Coruña, 19, 20 y 21 de), 2024, págs. 311-318

    • Resumen
    • Texto completo
    
  • Seleccionado

    Iniciativa basada en Kahoot para motivar a los alumnos de Arquitectura de Computadores

    Gloria Ortega Lopez , E.M. Garzón, Leocadio González Casado , Pilar Martínez Ortigosa , Vicente González Ruiz , Juan Francisco Sanjuan Estrada, J.L. Redondo, Juan José Moreno Navarro, Luis O. López, Nicolás Calvo Cruz, Miriam Ruiz Ferrández

    Actas de las Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI), ISSN 2531-0607, Nº. 6, 2021, págs. 299-302

    • Resumen
    • Texto completo
    
  • Seleccionado

    El papel de la I+D+i

    Juan José Moreno Navarro

    Economía exterior: estudios de la revista Política Exterior sobre la internacionalización de la economía española, ISSN 1137-4772, Nº. 74, 2015 (Ejemplar dedicado a: España 2016, ajustes), págs. 121-128

    • Resumen
    
  • Seleccionado

    Los problemas de la financiación de las Universidades españolas y su marco normativo

    Juan José Moreno Navarro

    Temas para el debate, ISSN 1134-6574, Nº. 239 (oct.), 2014 (Ejemplar dedicado a: La Universidad Española), págs. 36-39

    • Resumen
    

• Colaboraciones en obras colectivas

  • Seleccionado

    Sesgos (de género) en la inteligencia artificial y natural y algunas sugerencias para reducirlos

    Juan José Moreno Navarro

    Desafíos éticos, jurídicos y tecnológicos del avance digital / coord. por Alicia Rodríguez Sánchez, Pilar Talavera Cordero; José Luis Domínguez Álvarez (dir.), Daniel Terrón Santos (dir.), 2023, ISBN 9788498904529, págs. 57-73

    
  • Seleccionado

    Doughnut Computing in City Planning for Achieving Human and Planetary Rights

    Verónica Dahl , Juan José Moreno Navarro

    Bio-inspired Systems and Applications: from Robotics to Ambient Intelligence: 9th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2022, Puerto de la Cruz, Tenerife, Spain, May 31 – June 3, 2022, Proceedings, Part II / José Manuel Ferrández Vicente (dir. congr.) , José Ramón Álvarez Sánchez (dir. congr.) , Félix de la Paz López (dir. congr.) , Hojjat Adeli (aut.), 2022, ISBN 978-3-031-06527-9, págs. 562-572

    • Resumen
    
  • Seleccionado

    Simulación de un procesador ARM para la enseñanza de Estructura de Computadores

    Savins Puertas Martín, Juan José Moreno Navarro, Francisco J. Orts, Nicolás Calvo Cruz, Juana López Redondo , Ester Martín Garzón , Pilar Martínez Ortigosa

    Avances en Arquitectura y Tecnología de Computadores: Actas de Jornadas SARTECO, Cáceres, 18 a 20 de septiembre de 2019| / SARTECO (aut.), 2019, ISBN 9788409121274, págs. 235-240

    • Texto Completo Libro
    
  • Seleccionado

    De la Arquitectura Software al Urbanismo Software: Hacia Nuevas Formas de concebir los Sistemas de Software Intensivo

    Juan José Moreno Navarro

    Actas de las X Jornadas de Ingeniería del Software y Bases de Datos / José Ambrosio Toval Álvarez (aut.) , Juan Hernández Núñez (aut.) , 2005, ISBN 84-9732-434-X, págs. 179-186

    
  • Seleccionado

    La investigación en Ingeniería Lingüística en España

    Juan José Moreno Navarro

    Ciencia, tecnología y lengua española la terminología científica en español / coord. por Reyes Sequera, 2004, págs. 97-122

    • Texto Completo Libro
    
  • Seleccionado

    From Executable Specifications to Java

    Angel Herranz Nieva , Juan José Moreno Navarro, Noelia Maya

    III Jornadas de Programación y Lenguajes (PROLE'03): Actas, Alicante, del 12 al 14 de noviembre de 2003 / coord. por Juan José Moreno Navarro, Manuel Palomar Sanz , 2003, ISBN MU-2299-2003, pág. 33

    
  • Seleccionado

    Declarative Reflection and its Application as a Pattern Language

    Juan José Moreno Navarro, Angel Herranz Nieva

    Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001 / Fernando Orejas Valdés (ed. lit.) , Fernando Cuartero Gómez (ed. lit.) , Diego Cazorla López (ed. lit.) , 2001, págs. 179-198

    
  • Seleccionado

    Towards Automating the Iterative Rapid Prototyping Process with the SLAM System

    Angel Herranz Nieva , Juan José Moreno Navarro

    ACTAS DE LAS V JORNADAS DE INGENIERÍA DEL SOFTWARE Y BASES DE DATOS: JISBD 2000 / coord. por Carlos Delgado Kloos , Esperanza Marcos Martínez , José M. Marques, 2000, ISBN 84-8448-065-8, págs. 217-228

    
  • Seleccionado

    Programación lógica y programación funcional

    Juan José Moreno Navarro

    Estudios sobre programación lógica y sus aplicaciones / Verónica Dahl (ed. lit.) , Alejandro Sobrino (ed. lit.) , 1996, ISBN 84-8121-399-3, págs. 35-77

    

• Libros

  • Seleccionado

    Estructuras de datos: realización en PASCAL

    Manuel Collado, Juan José Moreno Navarro, Rafael Morales Fernández

    Díaz de Santos, 1987. ISBN 84-86251-70-2

    

• Tesis

  • Seleccionado

    Diseño, semántica e implementación de Babel: un lenguaje que integra la programación funcional y lógica

    Juan José Moreno Navarro

    Tesis doctoral dirigida por Mario Rodríguez Artalejo (dir. tes.) . Universidad Politécnica de Madrid (1989).

    • Resumen
    

• Tesis dirigidas

  • Seleccionado

    Operational aspects of full reduction in lambda calculi

    Alvaro Garcia Perez

    Tesis doctoral dirigida por Pablo Nogueira Iglesias (codir. tes.) , Juan José Moreno Navarro (codir. tes.). Universidad Politécnica de Madrid (2014).

    • Resumen
    • Tesis en acceso abierto en: Archivo Digital UPM
    
  • Seleccionado

    Un sistema de negación para prolog

    Susana Muñoz Hernández

    Tesis doctoral dirigida por Juan José Moreno Navarro (dir. tes.). Universidad Politécnica de Madrid (2003).

    • Resumen
    
  • Seleccionado

    Semántica y análisis de programas lógico funcionales

    Julio Mariño Carballo

    Tesis doctoral dirigida por Juan José Moreno Navarro (dir. tes.). Universidad Politécnica de Madrid (2002).

    • Resumen
    

• Coordinación

  • Obras Colectivas

    • Seleccionado

      III Jornadas de Programación y Lenguajes (PROLE'03): Actas, Alicante, del 12 al 14 de noviembre de 2003

      coord. por Juan José Moreno Navarro, Manuel Palomar Sanz

      Universidad de Alicante / Universitat d'Alacant, Servicio de Publicaciones, 2003. ISBN MU-2299-2003

      
    • Seleccionado

      VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002)

      coord. por Matilde Celma Giménez , Oscar Pastor Acosta , Natalia Juristo Juzgado , Juan José Moreno Navarro

      Universidad Politécnica de Madrid, 2002. ISBN 84-688-0206-9

      

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. 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.