OPAC

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

Your search

Document Type: Sin Especificar Year: 2010 Year: 1202 Language: in

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 »