Showing 1,581 - 1,600 results of 4,994 for search '"computer science"', query time: 0.30s Refine Results
  1. 1581
    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
  2. 1582
    A novel ubiquitous system to monitor medicinal cold chains in transportation
    Published in 2017
    Repositorio Repositorio UDEM
    Get full text
  3. 1583
    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
  4. 1584
    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
  5. 1585
    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
  6. 1586
    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
  7. 1587
    Part of book
    Proving Safety Properties of Rewrite Theories
    Por Rocha, Camilo; Meseguer, José
    Published in 2011
    Repositorio Repositorio Institucional ECI

    Get full text
  8. 1588
    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
  9. 1589
    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
  10. 1590
    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
  11. 1591
    Trabajo de grado de pregrado
    Desarrollo y presentación de material didáctico para la materia de presupuesto y contabilidad oficial
    Por Acero Palomino, Edgar Mauricio; Hernández Rodríguez, Sonia Milena; Olave Perez, Jairo Enrique
    Published in 1999
    Repositorio Repositorio UNAB

    Get full text
  12. 1592
    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. 1593
    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. 1594
    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. 1595
    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. 1596
    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. 1597
    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. 1598
    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. 1599
    Evolución y tendencias investigativas de la interactividad de los museos a través de las TIC
    Published in 2018
    Repositorio Repositorio Institucional U. Caldas
    Get full text
    Get full text
  20. 1600
    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