Refine your Search
Subject
Year
Document Type
Language
Your search
1-10 from 26 results
(0.013 seconds)
-
Title: A machine assisted proof of the subject reduction property for small typed functional language. Master ThesisLanguage: InglésRepository: 65Subject: PROGRAMACION FUNCIONAL / ALF / TEORIA DE TIPOS / TYPE THEORY / FUNCTIONAL PROGRAMMING
-
Title: Typed windows : an implementation of a programming language for graphics design. Master ThesisLanguage: InglésRepository: 65Subject: DISENO GRAFICO / GRAPHICS DESIGN / TY WIN
-
Title: Enterprise Mashup Markup Language :Análisis de características y perspectivas de extensiónLanguage: EspañolRepository: 65Subject: Mashup / Data services / SOA / Data remix / EMML
-
Title: Interoperabilidad entre sistemas de workflow utilizando eXtensible markup languageLanguage: EspañolRepository: 65Subject: INTEROPERABILIDAD / WORKFLOW / XML
-
Title: UML 2.0 interactions with OCL/RT constraintsLanguage: InglésRepository: 65Subject: Behavioral specification / Real-time systems / Unified Modeling Language / UML
-
Title: Un algoritmo para la extracción de rasgos morfológicos a partir de descriptoresLanguage: EspañolRepository: 65Subject: MORFOLOGIA / TESAURO / DESCRIPTOR / PROCESAMIENT0 DE LENGUAJE NATURAL / NATURAL LANGUAGE
-
Title: A generic version of scanf programmed in C5Language: inRepository: 65Subject: Dynamic Typing / Dependent Pair Type / Generic Programming / Earley algorithm
SeDiCI Serivicio de Difusión de la Creación Intelectual
PrEBi Proyecto de Enlace de Bibliotecas
UNLP Universidad Nacional de La Plata
2003-2025 ©. Todos los derechos reservados conforme a la ley 11.723