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
Query:
FORMAL LANGUAGES
Repository:
37
Sort by
Score
Title
Year
-
471-480 from
1773
results
(0.015 seconds)
Title:
Calculation of Invariants Assertions
Author:
Flaviani, Federico
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Cálculos
/
invariant assertions
/
formal program verification
/
GCL
/
induction
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:
Investigación en educación: los procesos de sistematización de experiencias educativas
Author:
Navarro, Alexandra Ximena Carolina
/
Roche, Ana María
Language:
Español
Repository:
37
Subject:
Periodismo
/
Comunicación
/
sistematización
/
experiencias
/
educación formal
/
teoría
/
práctica
Acceder
Acceder
Title:
Tramitación de la AUH en la ANSES de la ciudad de La Plata : Las prácticas de vinculación de los sectores populares con el Estado desde la experiencia situada
Author:
D'Amico, Victoria
Language:
Español
Repository:
37
Subject:
Sociología
/
Asignación Universal por Hijo (AUH)
/
Economía
/
Administración Nacional de la Seguridad Social (ANSES)
/
pactos de ciudadanía
/
igualdad formal
/
desigualdad sustancial
Acceder
Descargar
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
Title:
Las prácticas pre-profesionales en ámbitos no formales en el PUEF
Author:
Baioni, Gabriela
/
Di Forti, Nicolás
/
Granado, Roxana
/
Pascual, Gustavo
/
Portillo, Victor
/
Zelaya, Sergio
Language:
Español
Repository:
37
Subject:
Educación Física
/
Identidades profesionales
/
Práctica docente
/
Práctica no formal
/
Práctica social
/
Trayectorias formativas
Acceder
Acceder
Title:
Language history : A tale of two countries
Author:
Davey, Bill
/
Parker, Kevin R.
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Educación
/
Universidades
/
Lenguajes de Programación
Acceder
Title:
Lenguajes de transformación de modelos : Un análisis comparativo
Author:
Correa, Natalia
/
Giandini, Roxana Silvia
Language:
Español
Repository:
37
Subject:
Ciencias Informáticas
/
Informática
/
model driven architecture
/
model transformation
/
SOFTWARE ENGINEERING
/
System architectures
/
Modeling of computer architecture
/
arquitectura dirigida por modelos
Acceder
« Previous
44
45
46
47
48
49
50
51
52
Next »