Your search returned 10 results.

Results
		Optimización del orden de evaluación de programas recursivos by Luna, Carlos Daniel Material type: Article; Literary form: Not fiction In: 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 Availability: Items available for reference: Biblioteca de la Facultad de Informática: Recurso en Línea (1)Call number: A.0.2 CAC97 v.1 .
		Taller de especificación, construcción y verificación formales de programas by Luna, Carlos Daniel Material type: Article; Literary form: Not fiction In: 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] Availability: Items available for reference: Biblioteca de la Facultad de Informática: Recurso en Línea (1)Call number: CD 233 .
		Análisis de sistemas críticos en teoría de tipos by Luna, Carlos Daniel Material type: Article; Literary form: Not fiction In: 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] Availability: Items available for reference: Biblioteca de la Facultad de Informática: Recurso en Línea (1)Call number: CD 234 .
		Combinando "Model Checking" y "Proof Checking" en el análisis de sistemas de tiempo real by Luna, Carlos Daniel Material type: Article; Literary form: Not fiction In: 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] Availability: Items available for reference: Biblioteca de la Facultad de Informática: Recurso en Línea (1)Call number: CD 240 .
		Enseñando Métodos Formales con Coq. by Luna, Carlos Daniel Material type: Article; Literary form: Not fiction In: 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] Availability: Items available for reference: Biblioteca de la Facultad de Informática: Recurso en Línea (1)Call number: CD 237 .
		Organización para un Curso de Programación en un Contexto de Masividad. Una Experiencia. by Luna, Carlos Daniel Material type: Article; Literary form: Not fiction In: 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] Availability: Items available for reference: Biblioteca de la Facultad de Informática: Recurso en Línea (1)Call number: CD 237 .
		Enseñando Métodos Formales con Coq by Luna, Carlos Daniel Material type: Article; Literary form: Not fiction Online access: Click here to access online Availability: No items available.
		Aprendizaje automático : aplicaciones en visión por computadora by Lanzarini, Laura Cristina Estrebou, César Armando Ronchetti, Franco Quiroga, Facundo Manuel Luna, Carlos Daniel Antonio, Ramiro La Frazia, Luciano Iván Rosete, A Material type: Article; Literary form: Not fiction Availability: Items available for reference: Biblioteca de la Facultad de Informática: Recurso en Línea (1)Call number: A0952 .
		Ingeniería dirigida por modelos aplicada al control automático del almacenamiento en silos bolsa by Calegari, Daniel Luna, Carlos Daniel Canabé, Mauro Szasz, Nora Sierra, Federico Pons, Claudia Fabiana Material type: Article; Literary form: Not fiction Online access: Click here to access online Availability: Items available for reference: Biblioteca de la Facultad de Informática: Recurso en Línea (1)Call number: A0491.
		Minería de datos y big data : aplicaciones en señales y textos by Lanzarini, Laura Cristina Hasperué, Waldo Estrebou, César Armando Ronchetti, Franco Villa Monte, Augusto Aquino, Germán Quiroga, Facundo Manuel Basgall, María José Rojas, Luis Corvi, Javier Omar Luna, Carlos Daniel Jimbo Santana, Patricia Fernández, A Puente, C Olivas Varela, José Angel Rosete, A Material type: Article; Literary form: Not fiction Availability: Items available for reference: Biblioteca de la Facultad de Informática: Recurso en Línea (1)Call number: A0999.