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: Not available: Biblioteca de la Facultad de Informática: No corresponde (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: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		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: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		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: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		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: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		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: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		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: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		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: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).
		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: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).