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
Home
Repositories
Authors
Document types
Statistics
About
Query
Advanced Search
Simple Search
Title
Author
Subject
Year
Refine your Search
Repository
37
(25)
Show More
Show Less
Author
Riesco, Daniel Eduardo
(3)
Aguirre, Jorge
(2)
Arroyo, Marcelo
(2)
Baum, Gabriel Alfredo
(2)
Camarão, Carlos
(2)
Cechich, Alejandra
(2)
García, Alejandro Javier
(2)
Martínez, Diego C.
(2)
Montejano, Germán Antonio
(2)
Pons, Claudia
(2)
Show More
Show Less
Subject
Ciencias Informáticas
(25)
SOFTWARE ENGINEERING
(11)
Languages
(6)
ARTIFICIAL INTELLIGENCE
(5)
informática
(5)
Models
(4)
Theory of Computation
(4)
Distributed Systems
(3)
Métodos Formales
(2)
Patterns
(2)
Show More
Show Less
Year
2001
(25)
2012
(25)
1999
(4)
Show More
Show Less
Document Type
Sin Especificar
(25)
Show More
Show Less
Language
Español
(18)
Inglés
(7)
Show More
Show Less
Your search
Query:
FORMAL LANGUAGES
Repository:
37
Year:
2012
Year:
2001
Sort by
Score
Title
Year
-
1-10 from
25
results
(0.024 seconds)
Title:
Typing polymorphic recursion
Author:
Figueiredo, Lucília Camarão de
/
Camarão, Carlos
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Languages
/
informática
/
Polymorphism
/
Programming languages
/
Type inference
Acceder
Title:
Uma ferramenta para a construção de aplicações multilinguagens de programação
Author:
Freitas, Aparecido Valdemir de
/
Neto, João José
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
paradigma
/
multilinguagem
/
multiparadigma
/
ambiente
/
composição
/
Environments
/
SOFTWARE ENGINEERING
/
Multiparadigm languages
/
Languages
/
paradigm
/
multilanguage
/
multiparadigm
/
composition
Acceder
Title:
JEDI: An interactive interpreter for JAVA
Author:
Rodrigues, Hermann Oliveira
/
Camarão, Carlos
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Interactive Interpreter
/
JEDI
/
JAVA
/
PROGRAMMING LANGUAGES
/
sistema operativo
Acceder
Title:
Una integración de modelos estáticos UML y Eiffel
Author:
Favre, Liliana María
/
Martínez, C.
/
Pereira, C.
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
modelos estáticos
/
SOFTWARE ENGINEERING
/
UML
/
Languages
/
Eiffel
Acceder
Title:
JACC un entorno de generación de procesadores de lenguajes
Author:
Aguirre, Jorge
/
Arroyo, Marcelo
/
Felippa, J.
/
Gomez, Guillermo
/
Grinspan, Valentina
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Languages
/
gramáticas de atributos
/
informática
/
esquemas de traducción
/
compilador de compiladores
/
concurrencia
/
análisis sintáctico
/
análisis lexicográfico
/
Orientación a objetos
Acceder
Title:
Gramáticas de atributos NC(1) condicionales
Author:
Arroyo, Marcelo
/
Aguirre, Jorge
/
Florio, Nicolás
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
gramáticas de atributos condicionales
/
informática
/
Languages
/
compiladores
/
procesadores de lenguajes
/
planes de evaluación
Acceder
Title:
Arquitectura y modelado de un compilador de lenguaje para programas disyuntivos
Author:
Vecchietti, Aldo R.
/
Gil, Juan J.
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
informática
/
Programas Disyuntivos
/
Architectures
/
Models
/
Compilador de Lenguaje
/
Languages
Acceder
Title:
Utilizando contratos de reuso con alloy
Author:
Castro, Pablo Francisco
/
Baum, Gabriel Alfredo
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
SOFTWARE ENGINEERING
/
Ingeniería de Software
/
Formal methods
/
Métodos Formales
/
Teoría de la Computación
/
Theory of Computation
Acceder
Title:
Integración del modelo de procesos con el método RAISE
Author:
Montejano, Germán Antonio
/
Riesco, Daniel Eduardo
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Modelo de Procesos
/
Process models
/
método RAISE
/
SOFTWARE ENGINEERING
Acceder
Title:
Model evolution and system evolution
Author:
Pons, Claudia
/
Kutsche, Ralf-Detlef
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Models
/
SOFTWARE ENGINEERING
/
Model evolution
/
system evolution
Acceder
« Previous
1
2
3
Next »