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
(506)
Show More
Show Less
Author
Simari, Guillermo Ricardo
(27)
Montejano, Germán Antonio
(22)
García, Alejandro Javier
(21)
Riesco, Daniel Eduardo
(21)
Aguirre, Jorge
(17)
Baum, Gabriel Alfredo
(16)
Arroyo, Marcelo
(15)
Chesñevar, Carlos Iván
(14)
Fillottrani, Pablo Rubén
(12)
Pons, Claudia
(12)
Show More
Show Less
Subject
Ciencias Informáticas
(405)
Languages
(114)
SOFTWARE ENGINEERING
(86)
Educación
(42)
ARTIFICIAL INTELLIGENCE
(39)
base de datos
(32)
Letras
(31)
Informática
(30)
Humanidades
(27)
educación
(27)
Show More
Show Less
Year
2012
(506)
2006
(54)
2005
(36)
2002
(31)
2014
(31)
2003
(28)
2000
(26)
2013
(26)
2001
(25)
2004
(23)
Show More
Show Less
Document Type
Sin Especificar
(458)
Artículo
(40)
Tesis
(8)
Show More
Show Less
Language
Español
(343)
Inglés
(136)
Portugués
(27)
Show More
Show Less
Your search
Query:
FORMAL LANGUAGES
Repository:
37
Year:
2012
Sort by
Score
Title
Year
-
241-250 from
506
results
(0.017 seconds)
Title:
Cayó la yuta
: basta de contrabando en la pasiva
Author:
Muñoz Pérez, Carlos
Language:
Español
Repository:
37
Subject:
Humanidades
/
Letras
/
lingüística formal
/
gramática
/
lingüística
/
gramática generativa
/
morfosintaxis
/
descripción lingüística
Acceder
Acceder
Title:
E-Machines
Author:
Castro, Pablo Francisco
/
Baum, Gabriel Alfredo
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Diseños Reusables
/
SOFTWARE ENGINEERING
/
Ingeniería de Software
/
Formal methods
/
Design
/
Métodos Formales
/
Evolución de Diseño
Acceder
Title:
Aportes para al verificación eficiente de sistemas utilizando el cálculo relacional
Author:
Baum, Gabriel Alfredo
/
Medel, Ricardo
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Ingeniería de software
/
SOFTWARE ENGINEERING
/
Métodos formales
/
Formal methods
/
calculo relacional
/
Algebras Fork
Acceder
Title:
Administración de versiones de modelos en una herramienta de soporte para análisis y diseño orientado a objetos
Author:
Gonnet, Silvio M.
/
Holzer, R.
/
Melgrati, Iván Ariel
/
Leone, Horacio P.
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Informática
/
metamodelo
/
Software development
/
Formal models
/
paradigma de objetos
/
Object representation
/
desarrollo de software
Acceder
Title:
Las partículas exceptivas y su naturaleza categorial
Author:
Ferrari, Laura D.
Language:
Español
Repository:
37
Subject:
Humanidades
/
Letras
/
lingüística formal
/
categorización gramatical
/
morfosintaxis
/
descripción lingüística
Acceder
Acceder
Title:
Inversión de sujeto en las construcciones inacusativas: análisis en los diferentes niveles sintagmáticos
Author:
Durán, José
Language:
Español
Repository:
37
Subject:
Humanidades
/
Letras
/
lingüística formal
/
gramática generativa
/
sintaxis
/
semántica
/
construcción inacusativa
Acceder
Acceder
Title:
Modelos formales del razonamiento científico
Author:
Delrieux, Claudio
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
formalismos
/
Formal models
/
ARTIFICIAL INTELLIGENCE
/
teoría científica
/
inferencias
/
deducción
Acceder
Title:
A UML profile to model classifier refinements
Author:
Correa, Natalia
/
Giandini, Roxana Silvia
/
Pons, Claudia
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
software engineering
/
Formal methods
Acceder
Title:
Hacia la composición paralela de programas en DynAlloy
Author:
Aguirre, Nazareno Matías
/
Novaira, Maria Marta
/
Permigiani, Sonia
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Lenguajes de Programación
/
Formal methods
/
lenguaje de especificaciones
/
Verification
/
validación de propiedades
/
operador para composición paralela
/
Validation
Acceder
Title:
Modelos de datos espaciales
Author:
Vitturini, Mercedes
/
Castro, Silvia Mabel
/
Martig, Sergio R.
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Formal models
/
Modelos
/
datos espaciales
Acceder
« Previous
21
22
23
24
25
26
27
28
29
Next »