Showing 1 - 20 results of 91 for search '"University of Illinois at Urbana-Champaign"', query time: 0.33s Refine Results
  1. 1
    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
  2. 2
    Trabajo de grado de pregrado
    Heurísticas de búsqueda de prueba automática en la herramienta de análisis invariante de maude
    Por Rocha, Camilo
    Published in 2013
    Repositorio Repositorio UNAB

    Get full text
  3. 3
    Trabajo de grado de pregrado
    La bioacústica : una herramienta investigativa para el conocimiento y conservación de especies de aves focales en las Cascadas de Sueva (Junín, Cundinamarca)
    Por Herrán Borja, Jaime Giovanni; Muñoz Pinilla, Jorge Humberto
    Published in 2013
    Repositorio Repositorio Institucional UPN

    Get full text
  4. 4
    "Inn-Cumbe": A model for socially responsible innovation management, proposed a study of case at the organizational level ["Inn-Cumbe": Un modelo para la gestión de la innovación s...
    Published in 2016
    Repositorio Repositorio UDEM
    Get full text
  5. 5
    Conferencia (Ponencia)
    Simulation and Verification of Synchronous Set Relations in Rewriting Logic
    Por Rocha, Camilo; Múñoz, César
    Published in 2011
    Repositorio Repositorio Institucional ECI

    Get full text
  6. 6
    Part of book
    Tool Interoperability in the Maude Formal Environment
    Por Durán, Francisco; Rocha, Camilo; Álvarez, José María
    Published in 2011
    Repositorio Repositorio Institucional ECI

    Get full text
  7. 7
    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
  8. 8
    article
    Eventos Estressores e Indicadores de Ajustamento entre Adolescentes em Situação de Vulnerabilidade Social no Brasil
    Published in 2010
    Repositorio Repositorio Universidad Javeriana
    Get full text
    Get full text
  9. 9
    Article of journal
    Rede de apoio, eventos estressores e mau ajustamento na vida de crianças e adolescentes em situação de vulnerabilidade social
    Por Araujo de Morais, Normanda; Universidade de Fortaleza - UNIFOR; Koller, Sílvia; Universidade Federal do Rio Grande do Sul; Raffaelli, Marcela; University of Illinois at Urbana Champaign
    Published in 2012
    Repositorio Repositorio Universidad Javeriana

    Get full text
    Get full text
  10. 10
    Article of journal
    Eventos Estressores e Indicadores de Ajustamento entre Adolescentes em Situação de Vulnerabilidade Social no Brasil
    Por Araujo de Morais, Normanda; Universidade Federal do Rio Grande do Sul; Koller, Silvia Helena; Universidade Federal do Rio Grande do Sul; Raffaelli, Marcela; University of Illinois at Urbana-Champaign
    Published in 2010
    Repositorio Repositorio Universidad Javeriana

    Get full text
    Get full text
  11. 11
    Article of journal
    Synchronous set relations in rewriting logic
    Por Muñoz, César; Rocha Niño, Hernán Camilo
    Published in 2014
    Repositorio Repositorio Institucional ECI

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

    Get full text
  13. 13
    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
  14. 14
    Part of book
    Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool
    Por Rocha, Camilo; Meseguer, José
    Published in 2014
    Repositorio Repositorio Institucional ECI

    Get full text
  15. 15
    Article of journal
    Análisis cualitativo desde la perspectiva de la gestión del conocimiento en la cadena de abastecimiento de alimentos Bogotá - Cundinamarca
    Por Herrera Ochoa, Óscar Javier
    Published in 2009
    Repositorio Repositorio UCC

    Get full text
  16. 16
    Trabajo de grado de pregrado
    Formación de prosumidores de multimedia educativa como respuesta a la imposibilidad del sentido holístico en el presente en la cultura occidental
    Por Crespo Alvarado, Miguel Francisco
    Published in 2015
    Repositorio Repositorio UNAB

    Get full text
  17. 17
    Article of journal
    Análisis de la influencia de las técnicas de compresión de voz en la detección de anomalías vocales
    Por Sepúlveda Cano, Lina María; Quiza Montealegre, Jhon Jair; Gómez García, Jorge Andrés
    Published in 2017
    Repositorio Repositorio UDEM

    Get full text
  18. 18
    Tesis
    Implementación de la granja escolar en el Colegio Campestre Gardner de Fusagasugá
    Por Tautiva Serna, Alba Ximena; Gutiérrez Páez, Leidy Andrea
    Published in 2020
    Repositorio Repositorio institucional UNIMINUTO

    Get full text
  19. 19
    Article of journal
    Estados anímicos musicales en el rap puertorriqueño.
    Por Luján Villar, Roberto Carlos; Luján Villar, Juan David
    Published in 2020
    Repositorio RIUCaC - Repositorio U. Católica

    Get full text
    Get full text
  20. 20
    Article of journal
    Impactos económicos inducidos por la demanda final en sectores estratégicos para el cambio de la estructura productiva del Ecuador.
    Por Flores Tapia, Carlos Ernesto; Flores Cevallos, Karla Lissette
    Published in 2017
    Repositorio Repositorio Universidad de Cartagena

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