MPG.eBooks - Search Results - "Probabilities"

Cover Image

1

Formal Methods for Multicore Programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy,...

Published 2015

Springer International Publishing

Subjects: “...Probability and Statistics in Computer Science...”

Cover Image

2

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software...

Published 2016

Springer International Publishing

Subjects: “...Probability and Statistics in Computer Science...”