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
(995)
Show More
Show Less
Author
Simari, Guillermo Ricardo
(28)
Montejano, Germán Antonio
(26)
Riesco, Daniel Eduardo
(24)
García, Alejandro Javier
(21)
Aguirre, Jorge
(17)
Arroyo, Marcelo
(16)
Baum, Gabriel Alfredo
(16)
Chesñevar, Carlos Iván
(14)
Fillottrani, Pablo Rubén
(14)
Pons, Claudia
(12)
Show More
Show Less
Subject
Ciencias Informáticas
(509)
Educación
(127)
Languages
(124)
SOFTWARE ENGINEERING
(86)
Humanidades
(77)
Sociología
(66)
Letras
(44)
Bellas Artes
(43)
ARTIFICIAL INTELLIGENCE
(39)
Psicología
(35)
Show More
Show Less
Year
2012
(458)
2020
(132)
2014
(124)
2016
(119)
2015
(97)
2017
(93)
2019
(88)
2018
(85)
2013
(70)
2010
(68)
Show More
Show Less
Document Type
Sin Especificar
(995)
Show More
Show Less
Language
Español
(792)
Inglés
(163)
Portugués
(40)
Show More
Show Less
Your search
Query:
FORMAL LANGUAGES
Repository:
37
Document Type:
Sin Especificar
Sort by
Score
Title
Year
-
341-350 from
995
results
(0.017 seconds)
Title:
“Formador de formadores en Agroecología”: una estrategia de intervención hacia la transición agroecológica
Author:
Gómez, Camila
/
Goites, Enrique
/
Mediavilla, M. Clara
/
De Luca, Laura
/
Pérez, Maximiliano
/
Wainer, Ezequiel
/
Ciocchini, Florencia Indira
Language:
Español
Repository:
37
Subject:
Ciencias Agrarias
/
agroecología
/
educación no formal
/
horticultura
/
parcelas comunitarias
Acceder
Descargar
Title:
An experimental tool for checking probabilistic program refinement
Author:
Gonzalía, Carlos José
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Formal methods
/
SOFTWARE ENGINEERING
/
probabilistic programs
/
computer verification
/
refinement checking
/
trace generation
/
linear satisfiability checking
Acceder
Title:
Métricas, técnicas y semántica para la visualización de datos
Author:
Castro, Silvia Mabel
/
Larrea, Martín Leonardo
/
Urribarri, Dana K.
/
Ganuza, María Luján
/
Escarza, Sebastián
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
ontología
/
representación formal
/
visualización basada en semántica
/
visualización
Acceder
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:
Consumo problemático y la LCT
Author:
Chindamo, Lucas
Language:
Español
Repository:
37
Subject:
Trabajo Social
/
empleo formal
/
Consumidores de Drogas
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
« Previous
31
32
33
34
35
36
37
38
39
Next »