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
(1773)
Show More
Show Less
Author
Simari, Guillermo Ricardo
(28)
Montejano, Germán Antonio
(27)
Riesco, Daniel Eduardo
(25)
García, Alejandro Javier
(21)
Baum, Gabriel Alfredo
(19)
Pons, Claudia
(18)
Aguirre, Jorge
(17)
Fillottrani, Pablo Rubén
(17)
Arroyo, Marcelo
(16)
Chesñevar, Carlos Iván
(14)
Show More
Show Less
Subject
Ciencias Informáticas
(620)
Educación
(218)
Humanidades
(146)
Languages
(145)
Letras
(127)
SOFTWARE ENGINEERING
(91)
Bellas Artes
(84)
Sociología
(77)
Ciencias Naturales
(60)
Argentina
(57)
Show More
Show Less
Year
2012
(506)
2020
(351)
2019
(231)
2014
(209)
2016
(198)
2018
(187)
2015
(182)
2017
(174)
2013
(149)
2010
(119)
Show More
Show Less
Document Type
Sin Especificar
(995)
Artículo
(591)
Tesis
(165)
Libro
(22)
Show More
Show Less
Language
Español
(1467)
Inglés
(254)
Portugués
(48)
Francés
(3)
Italiano
(1)
Show More
Show Less
Your search
Repository:
37
Query:
FORMAL LANGUAGES
Sort by
Score
Title
Year
-
461-470 from
1773
results
(0.019 seconds)
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:
La interactividad en la educación a distancia
Author:
Fainholc, Beatriz
Language:
Español
Repository:
37
Subject:
Ciencias de la Educación
/
Educación
/
métodos de enseñanza
/
programa de enseñanza
/
Enseñanza
/
enseñanza a distancia
/
educación no formal
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
43
44
45
46
47
48
49
50
51
Next »