Showing 1,541 - 1,560 results of 4,239 for search '"computer science"', query time: 0.24s Refine Results
  1. 1541
    Part of book
    Automatic proof-search heuristics in the Maude invariant analyzer tool
    Por Rocha, Camilo
    Published in 2013
    Repositorio Repositorio Institucional ECI

    Get full text
  2. 1542
    Article of journal
    A formal library of set relations and its application to synchronous languages
    Por Rocha, Camilo; Muñoz, César; Dowek, Gilles
    Published in 2011
    Repositorio Repositorio Institucional ECI

    Get full text
  3. 1543
    Article of journal
    Estabilidad de correlaciones de la actividad eléctrica no-lineal del cerebro en reposo con ojos cerrados
    Por Maureira Cid, Fernando; Díaz-Muñoz , Hernán; Hadweh-Briceño, Marcelo; Flores-Ferro, Elizabeth; Silva-Salse , Ángela
    Published in 2020
    Repositorio Repositorio EIA .

    Get full text
    Get full text
  4. 1544
    Diseño de un juego de mesa como herramienta de apoyo para la enseñanza del pensamiento computacional a estudiantes de educación superior de la Universidad San Buenaventura de Cali...
    Por Riveros Vásquez, Aldemar; Salguero Dorado, María Fernanda
    Published in 2018
    Repositorio Repositorio USB

    Get full text
  5. 1545
    SETMAT (Software engineering teaching method and theory): A theory of software engineering teaching [SETMAT (Software Engineering Teaching Method and Theory): Una teoría para la en...
    Published in 2019
    Repositorio Repositorio UDEM
    Get full text
  6. 1546
    Part of book
    Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories
    Por Rocha, Camilo; Meseguer, José
    Published in 2010
    Repositorio Repositorio Institucional ECI

    Get full text
  7. 1547
    Propuesta para desarrollar habilidades de pensamiento computacional en estudiantes de décimo grado del Colegio Facundo Navas Mantilla
    Por Rondón Barragán, Gabriel Andrés
    Published in 2020
    Repositorio Repositorio UNAB

    Get full text
  8. 1548
    Tópicos Avanzados de Simulación
    Por Corporación Universidad de la Costa
    Published in 2020
    Repositorio REDICUC - Repositorio CUC

    Get full text
    Get full text
  9. 1549
    Trabajo de grado de pregrado
    A summer introductory programming course with diversity awareness
    Por Ortiz Jaramillo, Isabela
    Published in 2023
    Repositorio Séneca: repositorio Uniandes

    Get full text
  10. 1550
    Metodología para la enseñanza inicial de macroinstrucciones y procesos lógico-matemáticos a niños de grado quinto en instituciones oficiales de educación básica primaria
    Por Palma Suarez, Carlos Andrés
    Published in 2014
    Repositorio Repositorio UNAB

    Get full text
  11. 1551
    Investigación de operaciones II
    Por Corporación Universidad de la Costa
    Published in 2020
    Repositorio REDICUC - Repositorio CUC

    Get full text
    Get full text
  12. 1552
    Diseño de Experimentos
    Por Corporación Universidad de la Costa
    Published in 2020
    Repositorio REDICUC - Repositorio CUC

    Get full text
    Get full text
  13. 1553
    Article of journal
    Fostering Motivation and Improving Student Performance in an introductory programming course: An Integrated Teaching Approach
    Por Solarte Pabón, Oswaldo; Machuca Villegas, Liliana
    Published in 2019
    Repositorio Repositorio EIA .

    “...This paper expands a teaching proposal presented at the Innovation and Technology in Computer...”
    Get full text
    Get full text
  14. 1554
    Article of investigation
    Análisis de bases de datos de expresiones faciales para la identificación automática de emociones centradas en el aprendizaje
    Por González Meneses, Yesenia Nohemí; Guerrero García, Josefina
    Published in 2021
    Repositorio Repositorio UNAB

    Get full text
    Get full text
  15. 1555
    Article of journal
    Recommendation of collaborative filtering for a technological surveillance model using Multi-Dimension Tensor Factorization
    Por amelec, viloria; Pineda Lezama, Omar Bonerge; Reniz, Javier
    Published in 2019
    Repositorio REDICUC - Repositorio CUC

    Get full text
    Get full text
  16. 1556
    Article of journal
    An intelligent approach for the design and development of a personalized system of knowledge representation
    Por Amelec, Viloria; Pineda Lezama, Omar Bonerge
    Published in 2019
    Repositorio REDICUC - Repositorio CUC

    Get full text
    Get full text
  17. 1557
    Trabajo de grado de pregrado
    Meta-análisis de vulnerabilidades y gestión del riesgo en arquitecturas Cloud
    Por Pérez-Cuestas, Javier Alexander
    Published in 2020
    Repositorio RIUCaC - Repositorio U. Católica

    Get full text
  18. 1558
    Article of journal
    An elementary and unified approach to program correctness
    Por Bohórquez, Jaime
    Published in 2009
    Repositorio Repositorio Institucional ECI

    Get full text
  19. 1559
    Evaluación del uso de software libre, en la enseñanza de la programación de computadores
    Por Galindo Parra, Omaira Isabel
    Published in 2015
    Repositorio Repositorio UNAB

    Get full text
  20. 1560
    Electiva de economía de la calidad
    Por Corporación Universidad de la Costa
    Published in 2020
    Repositorio REDICUC - Repositorio CUC

    Get full text
    Get full text
Search Tools: Get RSS Feed — Email this Search