Ciencias de la Computación y Matemática Computacional
Resultados: Listando 10 de 2050 en la página 183 de 205
Nombre
Título
Área
Documento
Facultad
Año
Proteum-RS/PN: a mutation-based tool for validating Petri nets
ProSA-RAT: A process for establishing reference architectures with software testing...
New incremental methods for bivel nondifferentiable convex optimization with applications...
Semantic aspects in the representation of texts for automatic classification
Identification of interesting association rules through objective and subjective...
Modeling by implicitly defined semi-spaces
Monte Carlo simulation methods to approximate hedging strategies
Analysis and implementation of non-Newtonian models in FreeFlow-2D system
Resultados: Listando 10 de 2050 en la página 183 de 205