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
Document Type:
Sin Especificar
Repository:
37
Sort by
Score
Title
Year
-
81-90 from
995
results
(0.016 seconds)
Title:
Formal specifications in component-based development
Author:
Estévez, Elsa Clara
/
Fillottrani, Pablo Rubén
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Software development
/
base de datos
/
CBD (Component-based development)
/
SOFTWARE ENGINEERING
/
framework
/
components
Acceder
Title:
Construyendo lazos sociales : Educación no formal para la inclusión social y laboral, el empoderamiento y la construcción de identidad
Author:
Facultad de Bellas Artes
Language:
Español
Repository:
37
Subject:
Educación
Acceder
Title:
Construyendo lazos sociales : Educación no formal en contextos vulnerables para la inclusión social y la construcción de identidad
Author:
Facultad de Bellas Artes
Language:
Español
Repository:
37
Subject:
Educación
/
Trabajo
/
Vulnerabilidad Social
/
inclusión educativa
Acceder
Title:
Construyendo lazos sociales : Educación no formal en contextos vulnerables para la inclusión social y la construcción de identidad
Author:
Mazzarini, María Nazarena
/
Allaltuni, Zaira Sabrina
/
Brunand, Lucía
/
Albo, Diego Nicolás
/
Avendaño, Corina
Language:
Español
Repository:
37
Subject:
Ciencias Sociales
/
extensión universitaria
/
arte
/
derechos humanos
/
contextos de encierro
/
vulneración social
/
transformación comunitaria
Acceder
Title:
Un acercamiento teórico y formal al concepto de "minorías" en
Loco Afán
: Crónicas de un Sidario de Pedro Lemebel
Author:
Tennina, Lucía
Language:
Español
Repository:
37
Subject:
Sociología
/
Minorías
/
Pedro Lemebel
/
Literatura
Acceder
Descargar
Title:
(Re)pensar la producción artística desde la educación no formal en talleres de extensión universitaria
Author:
Mazzarini, María Nazarena
/
Albo, Diego Nicolás
/
Allaltuni, Zaira Sabrina
/
Brunand, Lucía
Language:
Español
Repository:
37
Subject:
Bellas Artes
/
prácticas artísticas
/
Educación
/
Derechos Humanos
/
Vulnerabilidad Social
Acceder
Title:
Características estructurales de las redes sociales de mujeres con y sin vinculación al sistema formal de salud
Author:
Gonzalez Cowes, Valeria Laura
Language:
Español
Repository:
37
Subject:
Psicología
/
redes sociales
/
Mujeres
/
Sistemas de Salud
Acceder
Title:
Composta urbana, herramienta efectiva para combatir el cambio climático : Experiencias y resultados de un programa no formal de educación ambiental
Author:
Pérez Ruiz, C. L.
Language:
Español
Repository:
37
Subject:
Ecología
/
Cambio Climático
/
Educación ambiental
/
Compostaje
Acceder
Title:
Towards the verification of RAISE specifications through Model Checking
Author:
Perna, Juan Ignacio
/
George, Chris W.
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
SOFTWARE ENGINEERING
/
base de datos
/
model checking
/
RAISE
/
formal methods
/
verification techniques
Acceder
Title:
Model checking RAISE applicative specifications
Author:
Perna, Juan I.
/
George, Chris W.
Language:
Inglés
Repository:
37
Subject:
Ciencias Informáticas
/
Model checking
/
Formal methods
/
Verification
Acceder
« Previous
5
6
7
8
9
10
11
12
13
Next »