Leveraging Applications of Formal Methods, Verification and Validation. Rigorous
65,78 €
Rigorous Engineering of Collective Adaptive Systems. - Optimality-preserving Reduction of Chemical Reaction Networks. - Exploring Consensus Robustness in Swarms with Disruptive Individuals. - The EM-BDD algorithm for learning hidden Markov models.
Jetzt bei Ebay:
