Showing 1,561 - 1,580 results of 4,239 for search '"computer science"', query time: 0.17s Refine Results
  1. 1561
    Doctoral thesis
    A Question answering model for requirements elicitation in the context of software development
    Por Calle Gallego, Johnathan Mauricio
    Published in 2022
    Repositorio Universidad Nacional de Colombia

    Get full text
    Get full text
  2. 1562
    Meaningful experiences in virtual courses of programming fundamentals for engineers [Experiencias significativas en cursos virtuales de programación para ingenieros]
    Published in 2017
    Repositorio Repositorio UDEM
    Get full text
  3. 1563
    A novel ubiquitous system to monitor medicinal cold chains in transportation
    Published in 2017
    Repositorio Repositorio UDEM
    Get full text
  4. 1564
    Trabajo de grado de pregrado
    Prototipo de tutor inteligente para el aprendizaje de la programación de computadores
    Por Quiroga-Saavedra, Luisa Fernanda
    Published in 2016
    Repositorio RIUCaC - Repositorio U. Católica

    Get full text
  5. 1565
    Article of journal
    Recovery of scientific data using Intelligent Distributed Data Warehouse
    Por Viloria, Amelec; Neira Rodado, Dionicio; Pineda Lezama, Omar Bonerge
    Published in 2019
    Repositorio REDICUC - Repositorio CUC

    Get full text
    Get full text
  6. 1566
    Part of book
    A Formal Interactive Verification Environment for the Plan Execution Interchange Language
    Por Cadavid Rengifo, Hector Fabio; Rocha, Camilo; Muñoz, Cesar
    Published in 2012
    Repositorio Repositorio Institucional ECI

    Get full text
  7. 1567
    http://purl.org/coar/resource_type/c_f744
    Theorem Proving Modulo Based on Boolean Equational Procedures
    Por Rocha, Camilo; Meseguer, José
    Published in 2008
    Repositorio Repositorio Institucional ECI

    Get full text
  8. 1568
    Article of journal
    University Course Scheduling and Classroom Assignment
    Por Torres-Ovalle, Camilo; Montoya-Torres, Jairo R.; Quintero-Araújo, Carlos L.; Sarmiento-Lepesqueur, Angélica; Castilla-Luna, Mónica
    Published in 2014
    Repositorio Repositorio Institucional ECI

    Get full text
  9. 1569
    Part of book
    Proving Safety Properties of Rewrite Theories
    Por Rocha, Camilo; Meseguer, José
    Published in 2011
    Repositorio Repositorio Institucional ECI

    Get full text
  10. 1570
    Article of journal
    Parasite-Guest Infection Modeling: Social Science Applications
    Por Vargas-García, Cesar; Lis-Gutiérrez, Jenny Paola; Gaitán-Angulo, Mercedes; Lis-Gutiérrez, Melissa
    Published in 2020
    Repositorio REDICUC - Repositorio CUC

    Get full text
    Get full text
    Get full text
  11. 1571
    Evaluación del impacto en la motivación en el aprendizaje de los estudiantes de programación de computadores mediante el uso de una herramienta de evaluación automática
    Por Lozano Rojas, Hernan Dario
    Published in 2022
    Repositorio Universidad Nacional de Colombia

    Get full text
    Get full text
  12. 1572
    Ingeniería de la calidad
    Por Corporación Universidad de la Costa
    Published in 2020
    Repositorio REDICUC - Repositorio CUC

    Get full text
    Get full text
  13. 1573
    Article of journal
    Intuitionistic Logic according to Dijkstra’s Calculus of Equational Deduction
    Por Bohórquez, Jaime
    Published in 2008
    Repositorio Repositorio Institucional ECI

    Get full text
  14. 1574
    Trabajo de grado de pregrado
    Aplicando técnicas de Minería de Datos en el desarrollo de un sitio web adaptativo
    Por Bermúdez Sandoval, Jairo Edinson; Rojas Goyeneche, Roger Eduardo
    Published in 2004
    Repositorio Repositorio UNAB

    Get full text
  15. 1575
    ERNEAD: Training of Artificial Neural Networks Based on a Genetic Algorithm and Finite Automata Theory
    Por Ruiz-Rangel, Jonathan; Ardila Hernandez, Carlos Julio; Maradei Gonzalez, Luis; Jabba Molinares, Daladier
    Published in 2018
    Repositorio Repositorio Digital USB

    Get full text
  16. 1576
    Trabajo de grado de pregrado
    Herramienta para la transformación de modelos orientados a agentes, a modelos orientados a síntesis de redes de procesos
    Por Fajardo Fajardo, Oscar Andrés
    Published in 2011
    Repositorio Repositorio UNAB

    Get full text
  17. 1577
    Diseño y validación interna de un instrumento de autoinforme para caracterizar las estrategias de aprendizaje de programación de computadores
    Por Torres Jiménez, Stephanie
    Published in 2021
    Repositorio Universidad Nacional de Colombia

    Get full text
    Get full text
  18. 1578
    Prototipo de herramienta computacional para el aprendizaje colaborativo de programación de computadores
    Por Mendez Lara, Jhon Alexis
    Published in 2021
    Repositorio Universidad Nacional de Colombia

    Get full text
    Get full text
  19. 1579
    Article of journal
    Method for estimating height in people using multivariable statistics
    Por amelec, viloria; Pineda Lezama, Omar Bonerge; Varela Izquierdo, Noel
    Published in 2019
    Repositorio REDICUC - Repositorio CUC

    Get full text
    Get full text
  20. 1580
    Part of book
    A Formal Interactive Verification Environment for the Plan Execution Interchange Language
    Por Rocha, Camilo; Cadavid, Héctor; Siminiceanu, Radu
    Published in 2012
    Repositorio Repositorio Institucional ECI

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