Resultados de búsqueda - Baum, Gabriel Alfredo
- Mostrando 1 - 20 Resultados de 104
- Ir a la Siguiente Página
-
1
Complejidad de los algoritmos por Baum, Gabriel Alfredo
Buenos Aires : Kapelusz, 1987Consultar en el Cátalogo
Libro Cargando… -
2
Programación Funcional. Curso 2009 por Baum, Gabriel Alfredo
[S.n.], 2009Consultar en el Cátalogo
Libro Cargando… -
3
-
4
Construcción y optimización de programas en Fork Álgebras por Baum, Gabriel Alfredo
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… -
5
A proof of the interpretability of P/PML in a relational setting por Baum, Gabriel Alfredo
Publicado en Congreso Argentino de Ciencias de la Computación (4º : 1998 : Neuquén) - Escuela Internacional de Informática CACIC (2ª : 1998 : Neuquén) - Ateneo de Profesores Universitarios de Computación (6º : 1998 : Neuquén) - Universidad Nacional del Comahue - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Workshop sobre Aspectos Teóricos de la Inteligencia Artificial (5º : 1998 : Neuquén) - CACIC [CD-ROM]Consultar en el Cátalogo
Capítulo de libro Cargando… -
6
Aplicación de álgebras Fork en la verificación automática de sistemas especificados en lógica modal por Baum, Gabriel Alfredo
Publicado en Congreso Argentino de Ciencias de la Computación (4º : 1998 : Neuquén) - Escuela Internacional de Informática CACIC (2ª : 1998 : Neuquén) - Ateneo de Profesores Universitarios de Computación (6º : 1998 : Neuquén) - Universidad Nacional del Comahue - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Workshop sobre Aspectos Teóricos de la Inteligencia Artificial (5º : 1998 : Neuquén) - CACIC [CD-ROM]Consultar en el Cátalogo
Capítulo de libro Cargando… -
7
Translating Fork specifications into logic programs por Baum, Gabriel Alfredo
Publicado en Congreso Argentino de Ciencias de la Computación (4º : 1998 : Neuquén) - Escuela Internacional de Informática CACIC (2ª : 1998 : Neuquén) - Ateneo de Profesores Universitarios de Computación (6º : 1998 : Neuquén) - Universidad Nacional del Comahue - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Workshop sobre Aspectos Teóricos de la Inteligencia Artificial (5º : 1998 : Neuquén) - CACIC [CD-ROM]Consultar en el Cátalogo
Capítulo de libro Cargando… -
8
Aportes para la verificación eficiente de sistemas utilizando el cálculo relacional por Baum, Gabriel Alfredo
Publicado en CACIC 2001 [CD-ROM]Consultar en el Cátalogo
Capítulo de libro Cargando… -
9
CCMini : A prototype of certifying compiler based on annotated abstract syntax trees por Baum, Gabriel Alfredo
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… -
10
Verificando diseños BON mediante Alloy por Baum, Gabriel Alfredo
Publicado en Congreso Argentino de Ciencias de la Computación (11er : 2005 : Concordia) - Encuentro de Tesistas de Posgrado (8º : 2005 : Concordia) - Escuela Internacional de Informática CACIC (9ª : 2005 : Concordia) - Universidad Nacional de Entre Ríos - Jornadas Internacionales de Administración e Informática (4ª : 2005 : Concordia) - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Ateneo de Profesores Universitarios de Computación (13er : 2005 : Concordia) - Workshop de Computación Gráfica Imágenes y Visualización (3er : 2005 : Concordia) - Workshop de Ingeniería de Software y Base de Datos (2º : 2005 : Concordia) - Workshop de Procesamiento Distribuido y Paralelo (6º : 2005 : Concordia) - Workshop de Agentes y Sistemas Inteligentes (6º : 2005 : Concordia) - Workshop de Tecnología Informática Aplicada en Educación (4º : 2005 : Concordia) - CACIC 2005 [CD-ROM]Consultar en el Cátalogo
Capítulo de libro Cargando… -
11
Propuesta de un modelo genérico para el modelo de negocio por Baum, Gabriel Alfredo
Publicado en Workshop de Investigadores en Ciencias de la Computación (7º : 2005 : Río Cuarto) - Red de Universidades Nacionales con Carreras en Informática (RedUNCI) - Universidad Nacional de Río Cuarto - WICC 2005 [CD-ROM]Consultar en el Cátalogo
Capítulo de libro Cargando… -
12
Programación Funcional por Baum, Gabriel Alfredo
2014Enlace del recurso / Disponible en línea
Programa de materia Cargando… -
13
Translating fork specifications into logic programs por Baum, Gabriel Alfredo
Capítulo de libro Cargando… -
14
Programación Funcional por Baum, Gabriel Alfredo
2015Enlace del recurso / Disponible en línea
Programa de materia Cargando… -
15
Programación Funcional por Baum, Gabriel Alfredo
2018Enlace del recurso / Disponible en línea
Programa de materia Cargando… -
16
Programación Funcional por Baum, Gabriel Alfredo
2019Enlace del recurso / Disponible en línea
Programa de materia Cargando… -
17
Complejidad de los algoritmos por Baum, Gabriel Alfredo
Buenos Aires : Kapelusz, 1987Consultar en el Cátalogo
Libro Cargando… -
18
Programación Funcional. Curso 2009 por Baum, Gabriel Alfredo
[S.n.], 2009Consultar en el Cátalogo
Libro Cargando… -
19
-
20
Construcción y optimización de programas en Fork Álgebras por Baum, Gabriel Alfredo
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…
Herramientas de búsqueda:
Materias Relacionadas
PROGRAMACIÓN FUNCIONAL
MÉTODOS FORMALES
PROCESO DE DESARROLLO DE SOFTWARE
ALGORITMOS
INGENIERÍA DE SOFTWARE
LENGUAJES FORMALES
REQUERIMIENTOS/ESPECIFICACIONES
VERIFICACIÓN DE PROGRAMAS
ANÁLISIS DE ALGORITMOS
COMPILADORES
COMPLEJIDAD COMPUTACIONAL
DESARROLLO DE SOFTWARE
INGENIERÍA DE SOFTWARE DIRIGIDA POR MODELOS - MDE
INGENIERÍA HUMANA
MODELADO DE SOFTWARE
PROGRAMACIÓN AUTOMÁTICA
ROBÓTICA
SEMÁNTICA
TRANSFORMACIÓN DE MODELOS
UML
ANÁLISIS SINTÁCTICO
APLICACIONES DE LAS COMPUTADORAS
APRENDIZAJE EN LÍNEA
CIENCIAS MÉDICAS Y DE LA VIDA
CODIFICACIÓN DE PROGRAMAS
CONSTRUCCIÓN DE PROGRAMAS
CONTROL DE ACCESO
CORRECCIÓN DE PROGRAMAS
CÁLCULO
DESARROLLO DE APLICACIONES