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