OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Query: PROGRAM" Subject: Algoritmo -- Programacion Author: Baum, Gabriel Alfredo

Sort by Score Title Year -

1-3 from 3 results (0.027 seconds)

Title: CCMini: a prototype of certifying compiler based on annotated abstract syntax trees
Author: Bavera, Francisco / Nordio, Martín / Medel, Ricardo / Aguirre, Jorge / Baum, Gabriel Alfredo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Verification / Lenguajes de Programación / Compilers / Security

Acceder
Title: Translating fork specifications into logic programs
Author: Baum, Gabriel Alfredo / Aguirre, Nazareno Matías / Arroyo, Marcelo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Programación lógica

AccederDescargar
Title: Sistema de votación web dirigido a la automatización de las votaciones de estudiantes, profesores y egresados al comité de Unidad Académica de la Universidad Libre - Seccional Bogotá Sede Bosque Popular.
Author: Duncan Cantillo, Luis Gabriel / Cano Acevedo, Blanca Patricia
Language: Español
Repository: 60
Subject: Web / Automatización de las votaciones / Elecciones / MySQL / PHP / TESIS - FACULTAD DE INGENIERÍA / INGENIERÍA DE SISTEMAS / UNIVERSIDADES / TECNOLOGÍA / SISTEMAS EN LÍNEA / SISTEMAS - DISEÑO

Acceder

« Previous 1 Next »