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
65
(6)
Show More
Show Less
Author
Show More
Show Less
Subject
ARTESANO
(1)
ARTESANÍA
(1)
Behavioral refinement
(1)
Constructive Type Theory
(1)
Correctness
(1)
DISEÑO DE PROCEDIMIENTOS
(1)
DISTRIBUCION DE TRABAJO
(1)
EMPRESAS PUBLICAS
(1)
ESTRATEGIAS COMPETITIVAS
(1)
ESTRUCTURAS ORGANIZATIVAS
(1)
Show More
Show Less
Year
2010
(6)
2014
(5)
1015
(3)
1202
(2)
1122
(1)
2018
(1)
Show More
Show Less
Document Type
Sin Especificar
(6)
Show More
Show Less
Language
Español
(3)
in
(2)
Desconocido
(1)
Show More
Show Less
Your search
Query:
FORMAL LANGUAGES
Document Type:
Sin Especificar
Repository:
65
Year:
2010
Sort by
Score
Title
Year
-
1-6 from
6
results
(0.011 seconds)
Title:
Behavioral refinements of UML-statecharts
Language:
in
Repository:
65
Subject:
Statecharts
/
UML
/
Formal semantics
/
Software product lines
/
Variability
/
Behavioral refinement
Acceder
Title:
Convenio especifico Universidad de la República - Administración Nacional de Educación Pública - Instituto del Niño y del Adolescente del Uruguay - Ministerio de Educación y Cultura - Ministerio de Desarrollo Social
Language:
Desconocido
Repository:
65
Acceder
Title:
Representation of metamodels using inductive types in a type-theoretic framework for MDE
Language:
in
Repository:
65
Subject:
Model-Driven Engineering
/
Model Transformations
/
Correctness
/
Constructive Type Theory
Acceder
Title:
Estimación de los costos y aproximación a los beneficios derivados de la formalización de los clasificadores
Language:
Español
Repository:
65
Subject:
RESIDUOS URBANOS
Acceder
Title:
Mercado de artesanías en el Uruguay
Language:
Español
Repository:
65
Subject:
ARTESANÍA
/
ARTESANO
/
SECTOR ARTESANAL
/
ESTRATEGIAS COMPETITIVAS
Acceder
Title:
Vigencia de las Técnicas de Organización y Sistemas : los casos OSE, UTE, ANTEL Y BROU
Language:
Español
Repository:
65
Subject:
ESTRUCTURAS ORGANIZATIVAS
/
DISTRIBUCION DE TRABAJO
/
DISEÑO DE PROCEDIMIENTOS
/
SISTEMAS DE INFORMACION
/
MEDICION DEL TRABAJO
/
EMPRESAS PUBLICAS
Acceder
« Previous
1
Next »