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
(5)
Show More
Show Less
Author
Show More
Show Less
Subject
Algoritmos Genéticos
(1)
Behavioral refinement
(1)
Capacitated Economic Lot-Sizing Problem
(1)
Constructive Type Theory
(1)
Correctness
(1)
Diameter Constraints
(1)
Factoring
(1)
Formal semantics
(1)
GoalBit
(1)
Inventory Control
(1)
Show More
Show Less
Year
1202
(5)
2010
(5)
2014
(5)
Show More
Show Less
Document Type
Sin Especificar
(5)
Show More
Show Less
Language
in
(5)
Show More
Show Less
Your search
Repository:
65
Language:
in
Year:
1202
Year:
2014
Year:
2010
Document Type:
Sin Especificar
Sort by
Score
Title
Year
-
1-5 from
5
results
(0.009 seconds)
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:
Polynomial-time topological reductions that preserve the diameter constrained reliability of a communication network :un ambiente para el desarrollo de experimentos científicos
Language:
in
Repository:
65
Subject:
Network Reliability
/
Diameter Constraints
/
Paths
/
Factoring
/
Topological Reductions
Acceder
Title:
An algorithm for the serial capacitated economic lot-sizing problem with non-speculative costs and stationary capacities
Language:
in
Repository:
65
Subject:
Capacitated Economic Lot-Sizing Problem
/
Inventory Control
Acceder
Title:
Optimización de P4P utilizando algoritmos genéticos para GoalBit
Language:
in
Repository:
65
Subject:
GoalBit
/
P2P
/
P4P
/
Algoritmos Genéticos
/
Problemas Multiobjetivo
Acceder
Title:
Behavioral refinements of UML-statecharts
Language:
in
Repository:
65
Subject:
Statecharts
/
UML
/
Formal semantics
/
Software product lines
/
Variability
/
Behavioral refinement
Acceder
« Previous
1
Next »