Leveraging Applications of Formal Methods, Verification and Validation. Rigorous
64,98 €
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:
