Resultados de búsqueda - Baum, Gabriel Alfredo

Limitar resultados
  1. 1

    Complejidad de los algoritmos por Baum, Gabriel Alfredo

    Buenos Aires : Kapelusz, 1987
    Consultar en el Cátalogo
    Libro
  2. 2

    Programación Funcional. Curso 2009 por Baum, Gabriel Alfredo

    [S.n.], 2009
    Consultar en el Cátalogo
    Libro
  3. 3

    Actualizando la enseñanza de informática en las escuelas secundarias técnicas de la provincia de Buenos Aires por Baum, Gabriel Alfredo

    Consultar en el Cátalogo
    Capítulo de libro
  4. 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 97
    Consultar en el Cátalogo
    Capítulo de libro
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 12

    Programación Funcional por Baum, Gabriel Alfredo

    2014
    Enlace del recurso / Disponible en línea
    Programa de materia
  13. 13

    Translating fork specifications into logic programs por Baum, Gabriel Alfredo

    Enlace del recurso / Disponible en línea
    Capítulo de libro
  14. 14

    Programación Funcional por Baum, Gabriel Alfredo

    2015
    Enlace del recurso / Disponible en línea
    Programa de materia
  15. 15

    Programación Funcional por Baum, Gabriel Alfredo

    2018
    Enlace del recurso / Disponible en línea
    Programa de materia
  16. 16

    Programación Funcional por Baum, Gabriel Alfredo

    2019
    Enlace del recurso / Disponible en línea
    Programa de materia
  17. 17

    Complejidad de los algoritmos por Baum, Gabriel Alfredo

    Buenos Aires : Kapelusz, 1987
    Consultar en el Cátalogo
    Libro
  18. 18

    Programación Funcional. Curso 2009 por Baum, Gabriel Alfredo

    [S.n.], 2009
    Consultar en el Cátalogo
    Libro
  19. 19

    Actualizando la enseñanza de informática en las escuelas secundarias técnicas de la provincia de Buenos Aires por Baum, Gabriel Alfredo

    Consultar en el Cátalogo
    Capítulo de libro
  20. 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 97
    Consultar en el Cátalogo
    Capítulo de libro

Herramientas de búsqueda: