Ciencias de la Computación y Matemática Computacional
Resultados: Listando 10 de 2051 en la página 183 de 206
Nombre
Título
Área
Documento
Facultad
Año
The application of mutation testing in the context of testing and validation of coloured...
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 2051 en la página 183 de 206