Resultados de búsqueda - Luna, Carlos Daniel

  • Mostrando 1 - 20 Resultados de 20
Limitar resultados
  1. 1

    Optimización del orden de evaluación de programas recursivos por Luna, Carlos Daniel

    Publicado en Congreso Argentino de Ciencias de la Computación (3er : 1997 : La Plata) - Conferencia Latinoamericana de Programación Funcional (2ª : 1997 : La Plata) - Workshop de Aspectos Teóricos de Inteligencia Artificial (4º : 1997 : La Plata) - Encuentro de Investigadores del Consorcio Iberoamericano para Educación en Ciencia y Tecnología (ISTEC) (1er : 1997 : La Plata) - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Escuela Internacional de Informática CACIC (1ª : 1997 : La Plata) - Jornadas de la Red Universitaria Argentina (3ª : 1997 : La Plata) - Universidad Nacional de La Plata - Ateneo de Profesores Universitarios de Computación (5º : 1997 : La Plata) - CACIC 97
    Consultar en el Cátalogo
    Capítulo de libro
  2. 2

    Taller de especificación, construcción y verificación formales de programas por Luna, Carlos Daniel

    Publicado en Congreso Argentino de Ciencias de la Computación (9º : 2003 : La Plata) - Jornada de Vinculación Universidad-Empresa para la Industria del Software (1ª : 2003 : La Plata) - Ateneo de Profesores Universitarios de Computación (11º : 2003 : La Plata) - Encuentro de Tesistas de Posgrado (6º : 2003 : La Plata) - Escuela Internacional de Informática CACIC (7ª : 2003 : La Plata) - Workshop de Computación Gráfica Imágenes y Visualización (1er : 2003 : La Plata) - Workshop de Tecnología Informática Aplicada en Educación (2º : 2003 : La Plata) - Jornadas sobre Software Libre (1ª : 2003 : La Plata) - Workshop de Agentes y Sistemas Inteligentes (4º : 2003 : La Plata) - Jornadas de E-Government (1ª : 2003 : La Plata) - Encuentro de Aplicaciones de Internet2 (3er : 2003 : La Plata) - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Universidad Nacional de La Plata - Workshop de Procesamiento Distribuido y Paralelo (4º : 2003 : La Plata) - CACIC 2003 [CD-ROM]
    Consultar en el Cátalogo
    Capítulo de libro
  3. 3

    Análisis de sistemas críticos en teoría de tipos por Luna, Carlos Daniel

    Publicado en Congreso Argentino de Ciencias de la Computación (10º : 2004 : La Matanza) - Ateneo de Profesores Universitarios de Computación (12º : 2004 : La Matanza) - Encuentro de Tesistas de Posgrado (7º : 2004 : La Matanza) - Workshop de Computación Gráfica Imágenes y Visualización (2º : 2004 : La Matanza) - Workshop de Agentes y Sistemas Inteligentes (5º : 2004 : La Matanza) - Encuentro de Aplicaciones de Internet2 (4º : 2004 : La Matanza) - Workshop de Ingeniería de Software y Base de Datos (1er : 2004 : La Matanza) - Jornada de Prospectiva Tecnológica (2004 : La Matanza) - Workshop de Tecnología Informática Aplicada en Educación (3er : 2004 : La Matanza) - Workshop de Procesamiento Distribuido y Paralelo (5º : 2004 : La Matanza) - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Escuela Internacional de Informática CACIC (8ª : 2004 : La Matanza) - Jornada Vinculación Universidad-Empresa para la Industria del Software (2ª : 2004 : La Matanza) - Universidad Nacional de La Matanza - CACIC 2004 [CD-ROM]
    Consultar en el Cátalogo
    Capítulo de libro
  4. 4

    Combinando "Model Checking" y "Proof Checking" en el análisis de sistemas de tiempo real por Luna, Carlos Daniel

    Publicado en Workshop de Investigadores en Ciencias de la Computación (6º : 2004 : Neuquén) - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Universidad Nacional del Comahue - WICC 2004 [CD-ROM]
    Consultar en el Cátalogo
    Capítulo de libro
  5. 5

    Enseñando Métodos Formales con Coq. por Luna, Carlos Daniel

    Publicado en Workshop de Investigadores en Ciencias de la Computación (3er : 2001 : San Luis) - Universidad Nacional de San Luis - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - WICC 2001 San Luis [CD-ROM]
    Consultar en el Cátalogo
    Capítulo de libro
  6. 6

    Organización para un Curso de Programación en un Contexto de Masividad. Una Experiencia. por Luna, Carlos Daniel

    Publicado en Workshop de Investigadores en Ciencias de la Computación (3er : 2001 : San Luis) - Universidad Nacional de San Luis - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - WICC 2001 San Luis [CD-ROM]
    Consultar en el Cátalogo
    Capítulo de libro
  7. 7
  8. 8

    Optimización del orden de evaluación de programas recursivos por Luna, Carlos Daniel

    Publicado en Congreso Argentino de Ciencias de la Computación (3er : 1997 : La Plata) - Conferencia Latinoamericana de Programación Funcional (2ª : 1997 : La Plata) - Workshop de Aspectos Teóricos de Inteligencia Artificial (4º : 1997 : La Plata) - Encuentro de Investigadores del Consorcio Iberoamericano para Educación en Ciencia y Tecnología (ISTEC) (1er : 1997 : La Plata) - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Escuela Internacional de Informática CACIC (1ª : 1997 : La Plata) - Jornadas de la Red Universitaria Argentina (3ª : 1997 : La Plata) - Universidad Nacional de La Plata - Ateneo de Profesores Universitarios de Computación (5º : 1997 : La Plata) - CACIC 97
    Consultar en el Cátalogo
    Capítulo de libro
  9. 9

    Taller de especificación, construcción y verificación formales de programas por Luna, Carlos Daniel

    Publicado en Congreso Argentino de Ciencias de la Computación (9º : 2003 : La Plata) - Jornada de Vinculación Universidad-Empresa para la Industria del Software (1ª : 2003 : La Plata) - Ateneo de Profesores Universitarios de Computación (11º : 2003 : La Plata) - Encuentro de Tesistas de Posgrado (6º : 2003 : La Plata) - Escuela Internacional de Informática CACIC (7ª : 2003 : La Plata) - Workshop de Computación Gráfica Imágenes y Visualización (1er : 2003 : La Plata) - Workshop de Tecnología Informática Aplicada en Educación (2º : 2003 : La Plata) - Jornadas sobre Software Libre (1ª : 2003 : La Plata) - Workshop de Agentes y Sistemas Inteligentes (4º : 2003 : La Plata) - Jornadas de E-Government (1ª : 2003 : La Plata) - Encuentro de Aplicaciones de Internet2 (3er : 2003 : La Plata) - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Universidad Nacional de La Plata - Workshop de Procesamiento Distribuido y Paralelo (4º : 2003 : La Plata) - CACIC 2003 [CD-ROM]
    Consultar en el Cátalogo
    Capítulo de libro
  10. 10

    Análisis de sistemas críticos en teoría de tipos por Luna, Carlos Daniel

    Publicado en Congreso Argentino de Ciencias de la Computación (10º : 2004 : La Matanza) - Ateneo de Profesores Universitarios de Computación (12º : 2004 : La Matanza) - Encuentro de Tesistas de Posgrado (7º : 2004 : La Matanza) - Workshop de Computación Gráfica Imágenes y Visualización (2º : 2004 : La Matanza) - Workshop de Agentes y Sistemas Inteligentes (5º : 2004 : La Matanza) - Encuentro de Aplicaciones de Internet2 (4º : 2004 : La Matanza) - Workshop de Ingeniería de Software y Base de Datos (1er : 2004 : La Matanza) - Jornada de Prospectiva Tecnológica (2004 : La Matanza) - Workshop de Tecnología Informática Aplicada en Educación (3er : 2004 : La Matanza) - Workshop de Procesamiento Distribuido y Paralelo (5º : 2004 : La Matanza) - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Escuela Internacional de Informática CACIC (8ª : 2004 : La Matanza) - Jornada Vinculación Universidad-Empresa para la Industria del Software (2ª : 2004 : La Matanza) - Universidad Nacional de La Matanza - CACIC 2004 [CD-ROM]
    Consultar en el Cátalogo
    Capítulo de libro
  11. 11

    Combinando "Model Checking" y "Proof Checking" en el análisis de sistemas de tiempo real por Luna, Carlos Daniel

    Publicado en Workshop de Investigadores en Ciencias de la Computación (6º : 2004 : Neuquén) - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Universidad Nacional del Comahue - WICC 2004 [CD-ROM]
    Consultar en el Cátalogo
    Capítulo de libro
  12. 12

    Enseñando Métodos Formales con Coq. por Luna, Carlos Daniel

    Publicado en Workshop de Investigadores en Ciencias de la Computación (3er : 2001 : San Luis) - Universidad Nacional de San Luis - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - WICC 2001 San Luis [CD-ROM]
    Consultar en el Cátalogo
    Capítulo de libro
  13. 13

    Organización para un Curso de Programación en un Contexto de Masividad. Una Experiencia. por Luna, Carlos Daniel

    Publicado en Workshop de Investigadores en Ciencias de la Computación (3er : 2001 : San Luis) - Universidad Nacional de San Luis - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - WICC 2001 San Luis [CD-ROM]
    Consultar en el Cátalogo
    Capítulo de libro
  14. 14
  15. 15
  16. 16
  17. 17
  18. 18
  19. 19
  20. 20