Resultados de búsqueda - Luna, Carlos Daniel
- Mostrando 1 - 20 Resultados de 20
-
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 97Consultar en el Cátalogo
Capítulo de libro Cargando… -
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 Cargando… -
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 Cargando… -
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 Cargando… -
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 Cargando… -
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 Cargando… -
7
Enseñando Métodos Formales con Coq por Luna, Carlos Daniel
Capítulo de libro Cargando… -
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 97Consultar en el Cátalogo
Capítulo de libro Cargando… -
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 Cargando… -
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 Cargando… -
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 Cargando… -
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 Cargando… -
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 Cargando… -
14
Enseñando Métodos Formales con Coq por Luna, Carlos Daniel
Capítulo de libro Cargando… -
15
Ingeniería dirigida por modelos aplicada al control automático del almacenamiento en silos bolsa por Calegari, Daniel
Enlace del recurso / Disponible en línea
Capítulo de libro Cargando… -
16
Ingeniería dirigida por modelos aplicada al control automático del almacenamiento en silos bolsa por Calegari, Daniel
Enlace del recurso / Disponible en línea
Capítulo de libro Cargando… -
17
Aprendizaje automático : aplicaciones en visión por computadora por Lanzarini, Laura Cristina
Capítulo de libro Cargando… -
18
Aprendizaje automático : aplicaciones en visión por computadora por Lanzarini, Laura Cristina
Capítulo de libro Cargando… -
19
Minería de datos y big data : aplicaciones en señales y textos por Lanzarini, Laura Cristina
Capítulo de libro Cargando… -
20
Minería de datos y big data : aplicaciones en señales y textos por Lanzarini, Laura Cristina
Capítulo de libro Cargando…