Showing 21 - 40 results of 475 for search '"University of Illinois"', query time: 0.18s Refine Results
  1. 21
    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
  2. 22
    Article of journal
    Cimentación ed. residencias el parque
    Por Figueredo, Arq. Martha Patricia
    Published in 2005
    Repositorio Universidad Nacional de Colombia

    Get full text
    Get full text
  3. 23
    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
  4. 24
    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
  5. 25
    article
    Conducting research about sensitive subjects: The case of homeless youth
    Published in 2011
    Repositorio Repositorio Universidad Javeriana
    Get full text
    Get full text
  6. 26
    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
  7. 27
    article
    Rede de apoio, eventos estressores e mau ajustamento na vida de crianças e adolescentes em situação de vulnerabilidade social
    Published in 2012
    Repositorio Repositorio Universidad Javeriana
    Get full text
    Get full text
  8. 28
    The promise of infrastructure
    Published in 2020
    Repositorio Repositorio Institucional U. Caldas
    Get full text
    Get full text
  9. 29
    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. 30
    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. 31
    Part of book
    Factores bióticos y abióticos relacionados con la población de mosca blanca (Paraleyrodes sp. pos. bondari. Hemíptera: Aleyrodidae) en el cultivo de aguacate en el norte del Tolima...
    Por Cruz Castiblanco, Ginna Natalia; Sierra Baquero, Paola Vanessa; Monje Andrade, Buenaventura; Varón Devia, Edgar Herney
    Published in 2016
    Repositorio Agrosavia

    Get full text
  12. 32
    Part of book
    Order-Sorted Equality Enrichments Modulo Axioms
    Por Gutiérrez, Raúl; Meseguer, José; Rocha, Camilo
    Published in 2012
    Repositorio Repositorio Institucional ECI

    Get full text
  13. 33
    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
  14. 34
    Part of book
    Proving Safety Properties of Rewrite Theories
    Por Rocha, Camilo; Meseguer, José
    Published in 2011
    Repositorio Repositorio Institucional ECI

    Get full text
  15. 35
    Part of book
    La utilidad de las competencias en la educación matemática
    Por Castañeda Tibaquirá, María Yolanda; Patiño Domínguez, Johana Lorena; Camacho, Carlos
    Published in 2018
    Repositorio Repositorio U. Sergio Arboleda

    Get full text
  16. 36
    Article of journal
    Impacto y evaluación del riesgo en la deuda pensional contingente de Colombia
    Por Páez-Méndez, Jaime Alberto; Mendoza-Tolosa, Henry Antonio; Laverde-Rojas, Henry; Castañeda-Díaz, Diana Marcela; Restrepo, Diego A.; Caicedo, Christian Eduardo; Ardila, Hugo Iván; Fuentes, Jhovany; Monroy, Miguel
    Published in 2007
    Repositorio RIUCaC - Repositorio U. Católica

    Get full text
  17. 37
    Aproximaciones éticas al problema del free rider: consecuencialismo, deontología y ética de la virtud
    Published in 2015
    Repositorio Repositorio Institucional U. Caldas
    Get full text
    Get full text
  18. 38
    The promise of infrastructure
    Published in 2020
    Repositorio Repositorio Institucional U. Caldas
    Get full text
  19. 39
    Design of a Bucket Elevator Testing Bench and Protocol
    Por Blevins, Erica; Hanon, Ariel; Güell, Germán; Ibarra, Ricardo; Long, Norman; López, Jose; Quezada, Joell; Rodríguez, Edgard
    Published in 2018
    Repositorio Repositorio Uninorte

    Get full text
  20. 40
    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
Search Tools: Get RSS Feed — Email this Search