MPG.eBooks - Author Search Results

Cover Image

1

Models of Computation

by Bruni, Roberto, Montanari, Ugo
Published 2017

Springer International Publishing

Cover Image

2

Web Services and Formal Methods : 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings

Published 2009

Springer Berlin Heidelberg

Other Authors: “...Bruni, Roberto...”

Cover Image

3

Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Isla...

Published 2011

Springer Berlin Heidelberg

Other Authors: “...Bruni, Roberto...”

Cover Image

4

Trustworthy Global Computing : 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers

Published 2012

Springer Berlin Heidelberg

Other Authors: “...Bruni, Roberto...”

Cover Image

5

Trustworthy Global Computing : Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

Published 2007

Springer Berlin Heidelberg

Other Authors: “...Bruni, Roberto...”