Informatique et Mathématique Computationnelle
Résultats: Montrant 10 de 2067 à l'page 184 de 207
Nom
Titre
Domaine
Document
Unité
Année
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
Résultats: Montrant 10 de 2067 à l'page 184 de 207